1,1,3455
            Wall clock TIME (seconds)      = 0.067
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 4
1,1,12
            Wall clock TIME (seconds)      = 0.170
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 6
1,1,45
            Wall clock TIME (seconds)      = 0.100
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 5
1,1,78
            Wall clock TIME (seconds)      = 0.047
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
1,1,8546
            Wall clock TIME (seconds)      = 0.185
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
1,1,474
            Wall clock TIME (seconds)      = 0.232
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 6
1,1,188
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
1,1,7899
            Wall clock TIME (seconds)      = 0.178
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 6
1,1,9
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.020
    total makespan           = 1
1,1,774
            Wall clock TIME (seconds)      = 0.084
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
2,1,3455
            Wall clock TIME (seconds)      = 0.213
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 6
2,1,12
            Wall clock TIME (seconds)      = 0.176
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
2,1,45
            Wall clock TIME (seconds)      = 0.159
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 6
2,1,78
            Wall clock TIME (seconds)      = 0.453
            CPU/machine TIME (seconds)     = 0.490
    total makespan           = 7
2,1,8546
            Wall clock TIME (seconds)      = 0.108
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
2,1,474
            Wall clock TIME (seconds)      = 0.343
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 6
2,1,188
            Wall clock TIME (seconds)      = 0.031
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
2,1,7899
            Wall clock TIME (seconds)      = 0.280
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 6
2,1,9
            Wall clock TIME (seconds)      = 0.028
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
2,1,774
            Wall clock TIME (seconds)      = 0.066
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,1,3455
            Wall clock TIME (seconds)      = 0.314
            CPU/machine TIME (seconds)     = 0.340
    total makespan           = 7
3,1,12
            Wall clock TIME (seconds)      = 0.240
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 5
3,1,45
            Wall clock TIME (seconds)      = 0.640
            CPU/machine TIME (seconds)     = 0.670
    total makespan           = 9
3,1,78
            Wall clock TIME (seconds)      = 0.064
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
3,1,8546
            Wall clock TIME (seconds)      = 0.522
            CPU/machine TIME (seconds)     = 0.540
    total makespan           = 7
3,1,474
            Wall clock TIME (seconds)      = 1.040
            CPU/machine TIME (seconds)     = 1.070
    total makespan           = 8
3,1,188
            Wall clock TIME (seconds)      = 0.352
            CPU/machine TIME (seconds)     = 0.360
    total makespan           = 6
3,1,7899
            Wall clock TIME (seconds)      = 0.186
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
3,1,9
            Wall clock TIME (seconds)      = 0.255
            CPU/machine TIME (seconds)     = 0.280
    total makespan           = 6
3,1,774
            Wall clock TIME (seconds)      = 0.128
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
4,1,3455
            Wall clock TIME (seconds)      = 0.435
            CPU/machine TIME (seconds)     = 0.470
    total makespan           = 7
4,1,12
            Wall clock TIME (seconds)      = 0.873
            CPU/machine TIME (seconds)     = 0.900
    total makespan           = 7
4,1,45
            Wall clock TIME (seconds)      = 0.332
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 6
4,1,78
            Wall clock TIME (seconds)      = 0.398
            CPU/machine TIME (seconds)     = 0.420
    total makespan           = 6
4,1,8546
            Wall clock TIME (seconds)      = 0.692
            CPU/machine TIME (seconds)     = 0.720
    total makespan           = 7
4,1,474
            Wall clock TIME (seconds)      = 0.985
            CPU/machine TIME (seconds)     = 1.000
    total makespan           = 7
4,1,188
            Wall clock TIME (seconds)      = 0.248
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 5
4,1,7899
            Wall clock TIME (seconds)      = 0.796
            CPU/machine TIME (seconds)     = 0.810
    total makespan           = 7
4,1,9
            Wall clock TIME (seconds)      = 0.519
            CPU/machine TIME (seconds)     = 0.540
    total makespan           = 7
4,1,774
            Wall clock TIME (seconds)      = 0.285
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 5
5,1,3455
            Wall clock TIME (seconds)      = 0.969
            CPU/machine TIME (seconds)     = 0.990
    total makespan           = 8
5,1,12
            Wall clock TIME (seconds)      = 0.538
            CPU/machine TIME (seconds)     = 0.560
    total makespan           = 6
5,1,45
            Wall clock TIME (seconds)      = 0.420
            CPU/machine TIME (seconds)     = 0.460
    total makespan           = 6
5,1,78
            Wall clock TIME (seconds)      = 1.079
            CPU/machine TIME (seconds)     = 1.110
    total makespan           = 8
5,1,8546
            Wall clock TIME (seconds)      = 0.419
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 6
5,1,474
            Wall clock TIME (seconds)      = 6.349
            CPU/machine TIME (seconds)     = 6.410
    total makespan           = 10
5,1,188
            Wall clock TIME (seconds)      = 0.567
            CPU/machine TIME (seconds)     = 0.580
    total makespan           = 6
5,1,7899
            Wall clock TIME (seconds)      = 1.243
            CPU/machine TIME (seconds)     = 1.280
    total makespan           = 7
5,1,9
            Wall clock TIME (seconds)      = 0.509
            CPU/machine TIME (seconds)     = 0.530
    total makespan           = 7
5,1,774
            Wall clock TIME (seconds)      = 1.291
            CPU/machine TIME (seconds)     = 1.320
    total makespan           = 7
6,1,3455
            Wall clock TIME (seconds)      = 2.399
            CPU/machine TIME (seconds)     = 2.410
    total makespan           = 9
6,1,12
            Wall clock TIME (seconds)      = 0.622
            CPU/machine TIME (seconds)     = 0.640
    total makespan           = 6
6,1,45
            Wall clock TIME (seconds)      = 1.504
            CPU/machine TIME (seconds)     = 1.540
    total makespan           = 8
6,1,78
            Wall clock TIME (seconds)      = 1.723
            CPU/machine TIME (seconds)     = 1.750
    total makespan           = 8
6,1,8546
            Wall clock TIME (seconds)      = 2.816
            CPU/machine TIME (seconds)     = 2.850
    total makespan           = 9
6,1,474
            Wall clock TIME (seconds)      = 1.139
            CPU/machine TIME (seconds)     = 1.240
    total makespan           = 7
6,1,188
            Wall clock TIME (seconds)      = 1.657
            CPU/machine TIME (seconds)     = 1.780
    total makespan           = 8
6,1,7899
            Wall clock TIME (seconds)      = 3.840
            CPU/machine TIME (seconds)     = 3.960
    total makespan           = 9
6,1,9
            Wall clock TIME (seconds)      = 0.864
            CPU/machine TIME (seconds)     = 0.950
    total makespan           = 7
6,1,774
            Wall clock TIME (seconds)      = 2.875
            CPU/machine TIME (seconds)     = 2.970
    total makespan           = 9
7,1,3455
            Wall clock TIME (seconds)      = 7.052
            CPU/machine TIME (seconds)     = 7.180
    total makespan           = 10
7,1,12
            Wall clock TIME (seconds)      = 0.756
            CPU/machine TIME (seconds)     = 0.780
    total makespan           = 6
7,1,45
            Wall clock TIME (seconds)      = 1.407
            CPU/machine TIME (seconds)     = 1.440
    total makespan           = 7
7,1,78
            Wall clock TIME (seconds)      = 1.103
            CPU/machine TIME (seconds)     = 1.130
    total makespan           = 7
7,1,8546
            Wall clock TIME (seconds)      = 1.663
            CPU/machine TIME (seconds)     = 1.700
    total makespan           = 8
7,1,474
            Wall clock TIME (seconds)      = 0.470
            CPU/machine TIME (seconds)     = 0.520
    total makespan           = 5
7,1,188
            Wall clock TIME (seconds)      = 2.179
            CPU/machine TIME (seconds)     = 2.270
    total makespan           = 8
7,1,7899
            Wall clock TIME (seconds)      = 2.330
            CPU/machine TIME (seconds)     = 2.430
    total makespan           = 8
7,1,9
            Wall clock TIME (seconds)      = 10.340
            CPU/machine TIME (seconds)     = 10.410
    total makespan           = 10
7,1,774
            Wall clock TIME (seconds)      = 2.603
            CPU/machine TIME (seconds)     = 2.660
    total makespan           = 9
8,1,3455
            Wall clock TIME (seconds)      = 38.042
            CPU/machine TIME (seconds)     = 38.120
    total makespan           = 11
8,1,12
            Wall clock TIME (seconds)      = 4.292
            CPU/machine TIME (seconds)     = 4.340
    total makespan           = 8
8,1,45
            Wall clock TIME (seconds)      = 4.295
            CPU/machine TIME (seconds)     = 4.350
    total makespan           = 10
8,1,78
            Wall clock TIME (seconds)      = 6.572
            CPU/machine TIME (seconds)     = 6.600
    total makespan           = 9
8,1,8546
            Wall clock TIME (seconds)      = 7.388
            CPU/machine TIME (seconds)     = 7.440
    total makespan           = 10
8,1,474
            Wall clock TIME (seconds)      = 4.093
            CPU/machine TIME (seconds)     = 4.130
    total makespan           = 8
8,1,188
            Wall clock TIME (seconds)      = 4.764
            CPU/machine TIME (seconds)     = 4.790
    total makespan           = 8
8,1,7899
            Wall clock TIME (seconds)      = 9.484
            CPU/machine TIME (seconds)     = 9.520
    total makespan           = 9
8,1,9
            Wall clock TIME (seconds)      = 16.377
            CPU/machine TIME (seconds)     = 16.520
    total makespan           = 10
8,1,774
            Wall clock TIME (seconds)      = 1.480
            CPU/machine TIME (seconds)     = 1.570
    total makespan           = 7
9,1,3455
            Wall clock TIME (seconds)      = 1.486
            CPU/machine TIME (seconds)     = 1.520
    total makespan           = 8
9,1,12
            Wall clock TIME (seconds)      = 3.116
            CPU/machine TIME (seconds)     = 3.140
    total makespan           = 8
9,1,45
            Wall clock TIME (seconds)      = 74.182
            CPU/machine TIME (seconds)     = 74.210
    total makespan           = 10
9,1,78
            Wall clock TIME (seconds)      = 12.337
            CPU/machine TIME (seconds)     = 12.370
    total makespan           = 8
9,1,8546
            Wall clock TIME (seconds)      = 2.696
            CPU/machine TIME (seconds)     = 2.740
    total makespan           = 7
9,1,474
            Wall clock TIME (seconds)      = 4.826
            CPU/machine TIME (seconds)     = 4.870
    total makespan           = 7
9,1,188
            Wall clock TIME (seconds)      = 2.794
            CPU/machine TIME (seconds)     = 2.820
    total makespan           = 8
9,1,7899
            Wall clock TIME (seconds)      = 2.657
            CPU/machine TIME (seconds)     = 2.690
    total makespan           = 6
9,1,9
            Wall clock TIME (seconds)      = 23.821
            CPU/machine TIME (seconds)     = 23.900
    total makespan           = 11
9,1,774
10,1,3455
10,1,12
10,1,45
10,1,78
10,1,8546
10,1,474
10,1,188
10,1,7899
10,1,9
10,1,774
11,1,3455
11,1,12
11,1,45
11,1,78
11,1,8546
11,1,474
11,1,188
11,1,7899
11,1,9
11,1,774
12,1,3455
12,1,12
12,1,45
12,1,78
12,1,8546
12,1,474
12,1,188
12,1,7899
12,1,9
12,1,774
13,1,3455
13,1,12
13,1,45
13,1,78
13,1,8546
13,1,474
13,1,188
13,1,7899
13,1,9
13,1,774
14,1,3455
14,1,12
14,1,45
14,1,78
14,1,8546
14,1,474
14,1,188
14,1,7899
14,1,9
14,1,774
15,1,3455
15,1,12
15,1,45
15,1,78
15,1,8546
15,1,474
15,1,188
15,1,7899
15,1,9
15,1,774
1,2,3455
            Wall clock TIME (seconds)      = 0.070
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
1,2,12
            Wall clock TIME (seconds)      = 0.011
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 0
1,2,45
            Wall clock TIME (seconds)      = 0.039
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
1,2,78
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
1,2,8546
            Wall clock TIME (seconds)      = 0.087
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
1,2,474
            Wall clock TIME (seconds)      = 0.030
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
1,2,188
            Wall clock TIME (seconds)      = 0.026
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
1,2,7899
            Wall clock TIME (seconds)      = 0.213
            CPU/machine TIME (seconds)     = 0.290
    total makespan           = 6
1,2,9
            Wall clock TIME (seconds)      = 0.024
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
1,2,774
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
2,2,3455
            Wall clock TIME (seconds)      = 0.496
            CPU/machine TIME (seconds)     = 0.590
    total makespan           = 8
2,2,12
            Wall clock TIME (seconds)      = 0.294
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 6
2,2,45
            Wall clock TIME (seconds)      = 0.265
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 7
2,2,78
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
2,2,8546
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
2,2,474
            Wall clock TIME (seconds)      = 0.076
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 3
2,2,188
            Wall clock TIME (seconds)      = 0.656
            CPU/machine TIME (seconds)     = 0.770
    total makespan           = 8
2,2,7899
            Wall clock TIME (seconds)      = 0.327
            CPU/machine TIME (seconds)     = 0.410
    total makespan           = 6
2,2,9
            Wall clock TIME (seconds)      = 0.156
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 5
2,2,774
            Wall clock TIME (seconds)      = 0.126
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 4
3,2,3455
            Wall clock TIME (seconds)      = 0.202
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 6
3,2,12
            Wall clock TIME (seconds)      = 0.104
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,2,45
            Wall clock TIME (seconds)      = 0.528
            CPU/machine TIME (seconds)     = 0.560
    total makespan           = 8
3,2,78
            Wall clock TIME (seconds)      = 0.368
            CPU/machine TIME (seconds)     = 0.400
    total makespan           = 6
3,2,8546
            Wall clock TIME (seconds)      = 0.067
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
3,2,474
            Wall clock TIME (seconds)      = 0.228
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
3,2,188
            Wall clock TIME (seconds)      = 0.207
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
3,2,7899
            Wall clock TIME (seconds)      = 1.250
            CPU/machine TIME (seconds)     = 1.280
    total makespan           = 9
3,2,9
            Wall clock TIME (seconds)      = 0.518
            CPU/machine TIME (seconds)     = 0.550
    total makespan           = 7
3,2,774
            Wall clock TIME (seconds)      = 0.035
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
4,2,3455
            Wall clock TIME (seconds)      = 0.070
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
4,2,12
            Wall clock TIME (seconds)      = 0.161
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 4
4,2,45
            Wall clock TIME (seconds)      = 0.285
            CPU/machine TIME (seconds)     = 0.310
    total makespan           = 6
4,2,78
            Wall clock TIME (seconds)      = 0.612
            CPU/machine TIME (seconds)     = 0.620
    total makespan           = 7
4,2,8546
            Wall clock TIME (seconds)      = 0.416
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 6
4,2,474
            Wall clock TIME (seconds)      = 0.377
            CPU/machine TIME (seconds)     = 0.390
    total makespan           = 5
4,2,188
            Wall clock TIME (seconds)      = 0.498
            CPU/machine TIME (seconds)     = 0.520
    total makespan           = 6
4,2,7899
            Wall clock TIME (seconds)      = 0.831
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 7
4,2,9
            Wall clock TIME (seconds)      = 0.553
            CPU/machine TIME (seconds)     = 0.570
    total makespan           = 6
4,2,774
            Wall clock TIME (seconds)      = 0.404
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 6
5,2,3455
            Wall clock TIME (seconds)      = 1.441
            CPU/machine TIME (seconds)     = 1.490
    total makespan           = 9
5,2,12
            Wall clock TIME (seconds)      = 0.204
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 4
5,2,45
            Wall clock TIME (seconds)      = 185.797
            CPU/machine TIME (seconds)     = 185.990
    total makespan           = 0
5,2,78
            Wall clock TIME (seconds)      = 0.803
            CPU/machine TIME (seconds)     = 0.890
    total makespan           = 7
5,2,8546
            Wall clock TIME (seconds)      = 0.199
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 4
5,2,474
            Wall clock TIME (seconds)      = 0.408
            CPU/machine TIME (seconds)     = 0.470
    total makespan           = 5
5,2,188
            Wall clock TIME (seconds)      = 0.575
            CPU/machine TIME (seconds)     = 0.660
    total makespan           = 6
5,2,7899
            Wall clock TIME (seconds)      = 1.788
            CPU/machine TIME (seconds)     = 1.900
    total makespan           = 8
5,2,9
            Wall clock TIME (seconds)      = 2.094
            CPU/machine TIME (seconds)     = 2.200
    total makespan           = 9
5,2,774
            Wall clock TIME (seconds)      = 1.516
            CPU/machine TIME (seconds)     = 1.620
    total makespan           = 8
6,2,3455
            Wall clock TIME (seconds)      = 1.857
            CPU/machine TIME (seconds)     = 1.960
    total makespan           = 8
6,2,12
            Wall clock TIME (seconds)      = 0.681
            CPU/machine TIME (seconds)     = 0.770
    total makespan           = 6
6,2,45
            Wall clock TIME (seconds)      = 110.756
            CPU/machine TIME (seconds)     = 110.870
    total makespan           = 0
6,2,78
            Wall clock TIME (seconds)      = 1.745
            CPU/machine TIME (seconds)     = 1.780
    total makespan           = 8
6,2,8546
            Wall clock TIME (seconds)      = 0.193
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 4
6,2,474
            Wall clock TIME (seconds)      = 112.835
            CPU/machine TIME (seconds)     = 112.910
    total makespan           = 0
6,2,188
            Wall clock TIME (seconds)      = 0.333
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 5
6,2,7899
            Wall clock TIME (seconds)      = 1.158
            CPU/machine TIME (seconds)     = 1.190
    total makespan           = 7
6,2,9
            Wall clock TIME (seconds)      = 0.562
            CPU/machine TIME (seconds)     = 0.590
    total makespan           = 6
6,2,774
            Wall clock TIME (seconds)      = 5.548
            CPU/machine TIME (seconds)     = 5.600
    total makespan           = 9
7,2,3455
            Wall clock TIME (seconds)      = 2.868
            CPU/machine TIME (seconds)     = 2.900
    total makespan           = 8
7,2,12
            Wall clock TIME (seconds)      = 0.279
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
7,2,45
            Wall clock TIME (seconds)      = 112.398
            CPU/machine TIME (seconds)     = 112.460
    total makespan           = 0
7,2,78
            Wall clock TIME (seconds)      = 2.868
            CPU/machine TIME (seconds)     = 2.950
    total makespan           = 7
7,2,8546
            Wall clock TIME (seconds)      = 1.446
            CPU/machine TIME (seconds)     = 1.510
    total makespan           = 6
7,2,474
            Wall clock TIME (seconds)      = 93.925
            CPU/machine TIME (seconds)     = 94.000
    total makespan           = 0
7,2,188
            Wall clock TIME (seconds)      = 102.956
            CPU/machine TIME (seconds)     = 103.070
    total makespan           = 0
7,2,7899
            Wall clock TIME (seconds)      = 1.448
            CPU/machine TIME (seconds)     = 1.480
    total makespan           = 6
7,2,9
            Wall clock TIME (seconds)      = 14.604
            CPU/machine TIME (seconds)     = 14.640
    total makespan           = 10
7,2,774
            Wall clock TIME (seconds)      = 88.790
            CPU/machine TIME (seconds)     = 88.870
    total makespan           = 0
8,2,3455
            Wall clock TIME (seconds)      = 0.310
            CPU/machine TIME (seconds)     = 0.380
    total makespan           = 5
8,2,12
            Wall clock TIME (seconds)      = 0.280
            CPU/machine TIME (seconds)     = 0.330
    total makespan           = 4
8,2,45
            Wall clock TIME (seconds)      = 126.126
            CPU/machine TIME (seconds)     = 126.240
    total makespan           = 0
8,2,78
            Wall clock TIME (seconds)      = 67.747
            CPU/machine TIME (seconds)     = 67.850
    total makespan           = 0
8,2,8546
            Wall clock TIME (seconds)      = 1.885
            CPU/machine TIME (seconds)     = 1.960
    total makespan           = 6
8,2,474
            Wall clock TIME (seconds)      = 64.568
            CPU/machine TIME (seconds)     = 64.630
    total makespan           = 0
8,2,188
            Wall clock TIME (seconds)      = 65.202
            CPU/machine TIME (seconds)     = 65.300
    total makespan           = 0
8,2,7899
            Wall clock TIME (seconds)      = 65.158
            CPU/machine TIME (seconds)     = 65.200
    total makespan           = 0
8,2,9
            Wall clock TIME (seconds)      = 12.719
            CPU/machine TIME (seconds)     = 12.780
    total makespan           = 10
8,2,774
            Wall clock TIME (seconds)      = 15.207
            CPU/machine TIME (seconds)     = 15.270
    total makespan           = 9
9,2,3455
            Wall clock TIME (seconds)      = 14.093
            CPU/machine TIME (seconds)     = 14.110
    total makespan           = 10
9,2,12
            Wall clock TIME (seconds)      = 10.785
            CPU/machine TIME (seconds)     = 10.810
    total makespan           = 8
9,2,45
            Wall clock TIME (seconds)      = 77.801
            CPU/machine TIME (seconds)     = 77.900
    total makespan           = 0
9,2,78
            Wall clock TIME (seconds)      = 124.707
            CPU/machine TIME (seconds)     = 124.790
    total makespan           = 0
9,2,8546
            Wall clock TIME (seconds)      = 2.318
            CPU/machine TIME (seconds)     = 2.340
    total makespan           = 6
9,2,474
            Wall clock TIME (seconds)      = 72.653
            CPU/machine TIME (seconds)     = 72.710
    total makespan           = 0
9,2,188
            Wall clock TIME (seconds)      = 66.806
            CPU/machine TIME (seconds)     = 66.910
    total makespan           = 0
9,2,7899
            Wall clock TIME (seconds)      = 9.343
            CPU/machine TIME (seconds)     = 9.420
    total makespan           = 9
9,2,9
            Wall clock TIME (seconds)      = 139.283
            CPU/machine TIME (seconds)     = 139.410
    total makespan           = 0
9,2,774
            Wall clock TIME (seconds)      = 73.033
            CPU/machine TIME (seconds)     = 73.120
    total makespan           = 0
10,2,3455
            Wall clock TIME (seconds)      = 71.918
            CPU/machine TIME (seconds)     = 71.960
    total makespan           = 0
10,2,12
            Wall clock TIME (seconds)      = 2.291
            CPU/machine TIME (seconds)     = 2.320
    total makespan           = 6
10,2,45
            Wall clock TIME (seconds)      = 73.001
            CPU/machine TIME (seconds)     = 73.060
    total makespan           = 0
10,2,78
            Wall clock TIME (seconds)      = 8.376
            CPU/machine TIME (seconds)     = 8.420
    total makespan           = 8
10,2,8546
            Wall clock TIME (seconds)      = 2.923
            CPU/machine TIME (seconds)     = 2.940
    total makespan           = 6
10,2,474
            Wall clock TIME (seconds)      = 5.221
            CPU/machine TIME (seconds)     = 5.250
    total makespan           = 7
10,2,188
            Wall clock TIME (seconds)      = 90.987
            CPU/machine TIME (seconds)     = 91.020
    total makespan           = 0
10,2,7899
            Wall clock TIME (seconds)      = 92.608
            CPU/machine TIME (seconds)     = 92.660
    total makespan           = 0
10,2,9
            Wall clock TIME (seconds)      = 131.157
            CPU/machine TIME (seconds)     = 131.330
    total makespan           = 0
10,2,774
            Wall clock TIME (seconds)      = 62.126
            CPU/machine TIME (seconds)     = 62.270
    total makespan           = 0
11,2,3455
            Wall clock TIME (seconds)      = 13.589
            CPU/machine TIME (seconds)     = 13.680
    total makespan           = 9
11,2,12
            Wall clock TIME (seconds)      = 67.042
            CPU/machine TIME (seconds)     = 67.120
    total makespan           = 0
11,2,45
            Wall clock TIME (seconds)      = 72.943
            CPU/machine TIME (seconds)     = 72.970
    total makespan           = 0
11,2,78
            Wall clock TIME (seconds)      = 61.682
            CPU/machine TIME (seconds)     = 61.790
    total makespan           = 0
11,2,8546
            Wall clock TIME (seconds)      = 71.106
            CPU/machine TIME (seconds)     = 71.200
    total makespan           = 0
11,2,474
            Wall clock TIME (seconds)      = 8.390
            CPU/machine TIME (seconds)     = 8.470
    total makespan           = 7
11,2,188
            Wall clock TIME (seconds)      = 115.362
            CPU/machine TIME (seconds)     = 115.420
    total makespan           = 0
11,2,7899
            Wall clock TIME (seconds)      = 94.966
            CPU/machine TIME (seconds)     = 95.080
    total makespan           = 0
11,2,9
            Wall clock TIME (seconds)      = 70.226
            CPU/machine TIME (seconds)     = 70.270
    total makespan           = 0
11,2,774
            Wall clock TIME (seconds)      = 64.376
            CPU/machine TIME (seconds)     = 64.420
    total makespan           = 0
12,2,3455
            Wall clock TIME (seconds)      = 65.865
            CPU/machine TIME (seconds)     = 65.990
    total makespan           = 0
12,2,12
            Wall clock TIME (seconds)      = 117.968
            CPU/machine TIME (seconds)     = 118.000
    total makespan           = 0
12,2,45
            Wall clock TIME (seconds)      = 60.605
            CPU/machine TIME (seconds)     = 60.720
    total makespan           = 0
12,2,78
            Wall clock TIME (seconds)      = 61.134
            CPU/machine TIME (seconds)     = 61.170
    total makespan           = 0
12,2,8546
            Wall clock TIME (seconds)      = 4.101
            CPU/machine TIME (seconds)     = 4.130
    total makespan           = 7
12,2,474
            Wall clock TIME (seconds)      = 83.854
            CPU/machine TIME (seconds)     = 83.900
    total makespan           = 7
12,2,188
            Wall clock TIME (seconds)      = 62.325
            CPU/machine TIME (seconds)     = 62.430
    total makespan           = 0
12,2,7899
            Wall clock TIME (seconds)      = 64.537
            CPU/machine TIME (seconds)     = 64.650
    total makespan           = 0
12,2,9
            Wall clock TIME (seconds)      = 65.140
            CPU/machine TIME (seconds)     = 65.210
    total makespan           = 0
12,2,774
            Wall clock TIME (seconds)      = 67.794
            CPU/machine TIME (seconds)     = 67.870
    total makespan           = 0
13,2,3455
            Wall clock TIME (seconds)      = 119.248
            CPU/machine TIME (seconds)     = 119.330
    total makespan           = 0
13,2,12
            Wall clock TIME (seconds)      = 69.692
            CPU/machine TIME (seconds)     = 69.780
    total makespan           = 0
13,2,45
            Wall clock TIME (seconds)      = 66.829
            CPU/machine TIME (seconds)     = 66.930
    total makespan           = 0
13,2,78
            Wall clock TIME (seconds)      = 124.867
            CPU/machine TIME (seconds)     = 124.970
    total makespan           = 0
13,2,8546
            Wall clock TIME (seconds)      = 10.203
            CPU/machine TIME (seconds)     = 10.240
    total makespan           = 7
13,2,474
            Wall clock TIME (seconds)      = 79.656
            CPU/machine TIME (seconds)     = 79.710
    total makespan           = 0
13,2,188
            Wall clock TIME (seconds)      = 64.421
            CPU/machine TIME (seconds)     = 64.490
    total makespan           = 0
13,2,7899
            Wall clock TIME (seconds)      = 65.026
            CPU/machine TIME (seconds)     = 65.100
    total makespan           = 0
13,2,9
            Wall clock TIME (seconds)      = 126.534
            CPU/machine TIME (seconds)     = 126.590
    total makespan           = 0
13,2,774
            Wall clock TIME (seconds)      = 62.868
            CPU/machine TIME (seconds)     = 62.920
    total makespan           = 0
14,2,3455
            Wall clock TIME (seconds)      = 82.196
            CPU/machine TIME (seconds)     = 82.270
    total makespan           = 0
14,2,12
            Wall clock TIME (seconds)      = 105.315
            CPU/machine TIME (seconds)     = 105.400
    total makespan           = 0
14,2,45
            Wall clock TIME (seconds)      = 64.147
            CPU/machine TIME (seconds)     = 64.260
    total makespan           = 0
14,2,78
            Wall clock TIME (seconds)      = 20.998
            CPU/machine TIME (seconds)     = 21.110
    total makespan           = 8
14,2,8546
            Wall clock TIME (seconds)      = 78.296
            CPU/machine TIME (seconds)     = 78.360
    total makespan           = 0
14,2,474
            Wall clock TIME (seconds)      = 92.227
            CPU/machine TIME (seconds)     = 92.260
    total makespan           = 0
14,2,188
            Wall clock TIME (seconds)      = 68.803
            CPU/machine TIME (seconds)     = 68.860
    total makespan           = 0
14,2,7899
            Wall clock TIME (seconds)      = 66.781
            CPU/machine TIME (seconds)     = 66.900
    total makespan           = 0
14,2,9
            Wall clock TIME (seconds)      = 66.447
            CPU/machine TIME (seconds)     = 66.590
    total makespan           = 0
14,2,774
            Wall clock TIME (seconds)      = 73.593
            CPU/machine TIME (seconds)     = 73.600
    total makespan           = 0
15,2,3455
            Wall clock TIME (seconds)      = 100.387
            CPU/machine TIME (seconds)     = 100.520
    total makespan           = 0
15,2,12
            Wall clock TIME (seconds)      = 84.004
            CPU/machine TIME (seconds)     = 84.030
    total makespan           = 0
15,2,45
            Wall clock TIME (seconds)      = 134.240
            CPU/machine TIME (seconds)     = 134.320
    total makespan           = 0
15,2,78
            Wall clock TIME (seconds)      = 64.367
            CPU/machine TIME (seconds)     = 64.430
    total makespan           = 0
15,2,8546
            Wall clock TIME (seconds)      = 63.756
            CPU/machine TIME (seconds)     = 63.870
    total makespan           = 0
15,2,474
            Wall clock TIME (seconds)      = 86.023
            CPU/machine TIME (seconds)     = 86.100
    total makespan           = 0
15,2,188
            Wall clock TIME (seconds)      = 61.776
            CPU/machine TIME (seconds)     = 61.820
    total makespan           = 0
15,2,7899
            Wall clock TIME (seconds)      = 66.219
            CPU/machine TIME (seconds)     = 66.300
    total makespan           = 0
15,2,9
            Wall clock TIME (seconds)      = 80.517
            CPU/machine TIME (seconds)     = 80.580
    total makespan           = 0
15,2,774
            Wall clock TIME (seconds)      = 60.695
            CPU/machine TIME (seconds)     = 60.710
    total makespan           = 0
1,3,3455
            Wall clock TIME (seconds)      = 0.149
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
1,3,12
            Wall clock TIME (seconds)      = 0.271
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 5
1,3,45
            Wall clock TIME (seconds)      = 0.074
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
1,3,78
            Wall clock TIME (seconds)      = 0.116
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
1,3,8546
            Wall clock TIME (seconds)      = 0.171
            CPU/machine TIME (seconds)     = 0.150
    total makespan           = 4
1,3,474
            Wall clock TIME (seconds)      = 0.064
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
1,3,188
            Wall clock TIME (seconds)      = 0.063
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
1,3,7899
            Wall clock TIME (seconds)      = 0.273
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
1,3,9
            Wall clock TIME (seconds)      = 0.051
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
1,3,774
            Wall clock TIME (seconds)      = 0.124
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
2,3,3455
            Wall clock TIME (seconds)      = 0.912
            CPU/machine TIME (seconds)     = 0.620
    total makespan           = 8
2,3,12
            Wall clock TIME (seconds)      = 0.077
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 2
2,3,45
            Wall clock TIME (seconds)      = 0.489
            CPU/machine TIME (seconds)     = 0.380
    total makespan           = 7
2,3,78
            Wall clock TIME (seconds)      = 0.206
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
2,3,8546
            Wall clock TIME (seconds)      = 0.200
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
2,3,474
            Wall clock TIME (seconds)      = 0.406
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
2,3,188
            Wall clock TIME (seconds)      = 0.376
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 5
2,3,7899
            Wall clock TIME (seconds)      = 0.351
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 5
2,3,9
            Wall clock TIME (seconds)      = 0.235
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 5
2,3,774
            Wall clock TIME (seconds)      = 0.055
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 2
3,3,3455
            Wall clock TIME (seconds)      = 0.046
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 2
3,3,12
            Wall clock TIME (seconds)      = 0.234
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 4
3,3,45
            Wall clock TIME (seconds)      = 0.646
            CPU/machine TIME (seconds)     = 0.410
    total makespan           = 6
3,3,78
            Wall clock TIME (seconds)      = 0.409
            CPU/machine TIME (seconds)     = 0.280
    total makespan           = 5
3,3,8546
            Wall clock TIME (seconds)      = 0.162
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 3
3,3,474
            Wall clock TIME (seconds)      = 1.508
            CPU/machine TIME (seconds)     = 0.880
    total makespan           = 7
3,3,188
            Wall clock TIME (seconds)      = 0.087
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 2
3,3,7899
            Wall clock TIME (seconds)      = 1.336
            CPU/machine TIME (seconds)     = 0.780
    total makespan           = 8
3,3,9
            Wall clock TIME (seconds)      = 0.251
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 4
3,3,774
            Wall clock TIME (seconds)      = 1.021
            CPU/machine TIME (seconds)     = 0.660
    total makespan           = 7
4,3,3455
            Wall clock TIME (seconds)      = 0.780
            CPU/machine TIME (seconds)     = 0.840
    total makespan           = 8
4,3,12
            Wall clock TIME (seconds)      = 1.261
            CPU/machine TIME (seconds)     = 0.850
    total makespan           = 7
4,3,45
            Wall clock TIME (seconds)      = 0.331
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
4,3,78
            Wall clock TIME (seconds)      = 0.434
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
4,3,8546
            Wall clock TIME (seconds)      = 0.883
            CPU/machine TIME (seconds)     = 0.510
    total makespan           = 6
4,3,474
            Wall clock TIME (seconds)      = 0.411
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 4
4,3,188
            Wall clock TIME (seconds)      = 0.467
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 5
4,3,7899
            Wall clock TIME (seconds)      = 0.508
            CPU/machine TIME (seconds)     = 0.570
    total makespan           = 6
4,3,9
            Wall clock TIME (seconds)      = 0.706
            CPU/machine TIME (seconds)     = 0.810
    total makespan           = 7
4,3,774
            Wall clock TIME (seconds)      = 0.590
            CPU/machine TIME (seconds)     = 0.650
    total makespan           = 6
5,3,3455
            Wall clock TIME (seconds)      = 0.641
            CPU/machine TIME (seconds)     = 0.710
    total makespan           = 7
5,3,12
            Wall clock TIME (seconds)      = 0.218
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 4
5,3,45
            Wall clock TIME (seconds)      = 0.314
            CPU/machine TIME (seconds)     = 0.360
    total makespan           = 6
5,3,78
            Wall clock TIME (seconds)      = 1.165
            CPU/machine TIME (seconds)     = 1.250
    total makespan           = 8
5,3,8546
            Wall clock TIME (seconds)      = 0.354
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 5
5,3,474
            Wall clock TIME (seconds)      = 1.524
            CPU/machine TIME (seconds)     = 1.600
    total makespan           = 7
5,3,188
            Wall clock TIME (seconds)      = 0.913
            CPU/machine TIME (seconds)     = 1.010
    total makespan           = 7
5,3,7899
            Wall clock TIME (seconds)      = 1.402
            CPU/machine TIME (seconds)     = 0.850
    total makespan           = 7
5,3,9
            Wall clock TIME (seconds)      = 1.342
            CPU/machine TIME (seconds)     = 0.760
    total makespan           = 7
5,3,774
            Wall clock TIME (seconds)      = 0.346
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 4
6,3,3455
            Wall clock TIME (seconds)      = 0.795
            CPU/machine TIME (seconds)     = 0.500
    total makespan           = 6
6,3,12
            Wall clock TIME (seconds)      = 0.130
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 3
6,3,45
            Wall clock TIME (seconds)      = 0.992
            CPU/machine TIME (seconds)     = 0.950
    total makespan           = 7
6,3,78
            Wall clock TIME (seconds)      = 0.590
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 5
6,3,8546
            Wall clock TIME (seconds)      = 1.307
            CPU/machine TIME (seconds)     = 0.750
    total makespan           = 6
6,3,474
            Wall clock TIME (seconds)      = 0.471
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 4
6,3,188
            Wall clock TIME (seconds)      = 107.035
            CPU/machine TIME (seconds)     = 93.410
    total makespan           = 0
6,3,7899
            Wall clock TIME (seconds)      = 2.169
            CPU/machine TIME (seconds)     = 1.520
    total makespan           = 6
6,3,9
            Wall clock TIME (seconds)      = 1.453
            CPU/machine TIME (seconds)     = 0.800
    total makespan           = 7
6,3,774
            Wall clock TIME (seconds)      = 4.695
            CPU/machine TIME (seconds)     = 3.770
    total makespan           = 9
7,3,3455
            Wall clock TIME (seconds)      = 1.314
            CPU/machine TIME (seconds)     = 0.780
    total makespan           = 7
7,3,12
            Wall clock TIME (seconds)      = 0.790
            CPU/machine TIME (seconds)     = 0.580
    total makespan           = 5
7,3,45
            Wall clock TIME (seconds)      = 86.945
            CPU/machine TIME (seconds)     = 77.290
    total makespan           = 0
7,3,78
            Wall clock TIME (seconds)      = 74.623
            CPU/machine TIME (seconds)     = 69.370
    total makespan           = 0
7,3,8546
            Wall clock TIME (seconds)      = 1.834
            CPU/machine TIME (seconds)     = 1.930
    total makespan           = 7
7,3,474
            Wall clock TIME (seconds)      = 2.008
            CPU/machine TIME (seconds)     = 2.100
    total makespan           = 7
7,3,188
            Wall clock TIME (seconds)      = 1.601
            CPU/machine TIME (seconds)     = 1.690
    total makespan           = 7
7,3,7899
            Wall clock TIME (seconds)      = 85.550
            CPU/machine TIME (seconds)     = 79.190
    total makespan           = 0
7,3,9
            Wall clock TIME (seconds)      = 4.027
            CPU/machine TIME (seconds)     = 2.510
    total makespan           = 8
7,3,774
            Wall clock TIME (seconds)      = 3.688
            CPU/machine TIME (seconds)     = 2.770
    total makespan           = 9
8,3,3455
            Wall clock TIME (seconds)      = 7.258
            CPU/machine TIME (seconds)     = 5.340
    total makespan           = 9
8,3,12
            Wall clock TIME (seconds)      = 1.312
            CPU/machine TIME (seconds)     = 0.940
    total makespan           = 6
8,3,45
            Wall clock TIME (seconds)      = 119.390
            CPU/machine TIME (seconds)     = 113.790
    total makespan           = 0
8,3,78
            Wall clock TIME (seconds)      = 62.796
            CPU/machine TIME (seconds)     = 62.840
    total makespan           = 0
8,3,8546
            Wall clock TIME (seconds)      = 6.887
            CPU/machine TIME (seconds)     = 6.980
    total makespan           = 10
8,3,474
            Wall clock TIME (seconds)      = 0.982
            CPU/machine TIME (seconds)     = 1.050
    total makespan           = 6
8,3,188
            Wall clock TIME (seconds)      = 1.824
            CPU/machine TIME (seconds)     = 1.890
    total makespan           = 6
8,3,7899
            Wall clock TIME (seconds)      = 73.463
            CPU/machine TIME (seconds)     = 73.510
    total makespan           = 0
8,3,9
            Wall clock TIME (seconds)      = 11.053
            CPU/machine TIME (seconds)     = 11.150
    total makespan           = 10
8,3,774
            Wall clock TIME (seconds)      = 1.758
            CPU/machine TIME (seconds)     = 1.850
    total makespan           = 7
9,3,3455
            Wall clock TIME (seconds)      = 8.101
            CPU/machine TIME (seconds)     = 8.220
    total makespan           = 10
9,3,12
            Wall clock TIME (seconds)      = 1.483
            CPU/machine TIME (seconds)     = 1.550
    total makespan           = 6
9,3,45
            Wall clock TIME (seconds)      = 0.898
            CPU/machine TIME (seconds)     = 0.970
    total makespan           = 6
9,3,78
            Wall clock TIME (seconds)      = 64.826
            CPU/machine TIME (seconds)     = 64.910
    total makespan           = 0
9,3,8546
            Wall clock TIME (seconds)      = 0.751
            CPU/machine TIME (seconds)     = 0.820
    total makespan           = 5
9,3,474
            Wall clock TIME (seconds)      = 1.430
            CPU/machine TIME (seconds)     = 1.510
    total makespan           = 6
9,3,188
            Wall clock TIME (seconds)      = 4.669
            CPU/machine TIME (seconds)     = 4.760
    total makespan           = 7
9,3,7899
            Wall clock TIME (seconds)      = 79.976
            CPU/machine TIME (seconds)     = 80.010
    total makespan           = 0
9,3,9
            Wall clock TIME (seconds)      = 9.309
            CPU/machine TIME (seconds)     = 9.400
    total makespan           = 9
9,3,774
            Wall clock TIME (seconds)      = 0.812
            CPU/machine TIME (seconds)     = 0.850
    total makespan           = 5
10,3,3455
            Wall clock TIME (seconds)      = 3.937
            CPU/machine TIME (seconds)     = 4.060
    total makespan           = 9
10,3,12
            Wall clock TIME (seconds)      = 0.901
            CPU/machine TIME (seconds)     = 0.930
    total makespan           = 5
10,3,45
            Wall clock TIME (seconds)      = 19.320
            CPU/machine TIME (seconds)     = 19.400
    total makespan           = 8
10,3,78
            Wall clock TIME (seconds)      = 56.200
            CPU/machine TIME (seconds)     = 56.250
    total makespan           = 10
10,3,8546
            Wall clock TIME (seconds)      = 5.938
            CPU/machine TIME (seconds)     = 5.990
    total makespan           = 7
10,3,474
            Wall clock TIME (seconds)      = 1.535
            CPU/machine TIME (seconds)     = 1.580
    total makespan           = 5
10,3,188
            Wall clock TIME (seconds)      = 66.737
            CPU/machine TIME (seconds)     = 66.770
    total makespan           = 0
10,3,7899
            Wall clock TIME (seconds)      = 62.826
            CPU/machine TIME (seconds)     = 62.920
    total makespan           = 0
10,3,9
            Wall clock TIME (seconds)      = 9.662
            CPU/machine TIME (seconds)     = 9.700
    total makespan           = 8
10,3,774
            Wall clock TIME (seconds)      = 61.563
            CPU/machine TIME (seconds)     = 61.640
    total makespan           = 0
11,3,3455
            Wall clock TIME (seconds)      = 65.866
            CPU/machine TIME (seconds)     = 65.950
    total makespan           = 0
11,3,12
            Wall clock TIME (seconds)      = 31.301
            CPU/machine TIME (seconds)     = 31.380
    total makespan           = 8
11,3,45
            Wall clock TIME (seconds)      = 76.324
            CPU/machine TIME (seconds)     = 76.390
    total makespan           = 0
11,3,78
            Wall clock TIME (seconds)      = 16.078
            CPU/machine TIME (seconds)     = 16.110
    total makespan           = 9
11,3,8546
            Wall clock TIME (seconds)      = 9.348
            CPU/machine TIME (seconds)     = 9.430
    total makespan           = 8
11,3,474
            Wall clock TIME (seconds)      = 3.055
            CPU/machine TIME (seconds)     = 3.160
    total makespan           = 7
11,3,188
            Wall clock TIME (seconds)      = 64.693
            CPU/machine TIME (seconds)     = 64.770
    total makespan           = 8
11,3,7899
            Wall clock TIME (seconds)      = 65.247
            CPU/machine TIME (seconds)     = 65.280
    total makespan           = 0
11,3,9
            Wall clock TIME (seconds)      = 104.689
            CPU/machine TIME (seconds)     = 104.810
    total makespan           = 0
11,3,774
            Wall clock TIME (seconds)      = 10.630
            CPU/machine TIME (seconds)     = 10.710
    total makespan           = 8
12,3,3455
            Wall clock TIME (seconds)      = 70.629
            CPU/machine TIME (seconds)     = 70.770
    total makespan           = 0
12,3,12
            Wall clock TIME (seconds)      = 49.186
            CPU/machine TIME (seconds)     = 49.280
    total makespan           = 8
12,3,45
            Wall clock TIME (seconds)      = 105.204
            CPU/machine TIME (seconds)     = 105.310
    total makespan           = 0
12,3,78
            Wall clock TIME (seconds)      = 67.916
            CPU/machine TIME (seconds)     = 67.970
    total makespan           = 0
12,3,8546
            Wall clock TIME (seconds)      = 14.454
            CPU/machine TIME (seconds)     = 14.500
    total makespan           = 8
12,3,474
            Wall clock TIME (seconds)      = 3.926
            CPU/machine TIME (seconds)     = 4.010
    total makespan           = 7
12,3,188
            Wall clock TIME (seconds)      = 27.925
            CPU/machine TIME (seconds)     = 28.030
    total makespan           = 8
12,3,7899
            Wall clock TIME (seconds)      = 67.569
            CPU/machine TIME (seconds)     = 67.630
    total makespan           = 0
12,3,9
            Wall clock TIME (seconds)      = 6.557
            CPU/machine TIME (seconds)     = 6.660
    total makespan           = 8
12,3,774
            Wall clock TIME (seconds)      = 27.534
            CPU/machine TIME (seconds)     = 27.650
    total makespan           = 10
13,3,3455
            Wall clock TIME (seconds)      = 69.958
            CPU/machine TIME (seconds)     = 70.060
    total makespan           = 0
13,3,12
            Wall clock TIME (seconds)      = 63.365
            CPU/machine TIME (seconds)     = 63.390
    total makespan           = 0
13,3,45
            Wall clock TIME (seconds)      = 81.799
            CPU/machine TIME (seconds)     = 81.910
    total makespan           = 0
13,3,78
            Wall clock TIME (seconds)      = 68.699
            CPU/machine TIME (seconds)     = 68.710
    total makespan           = 0
13,3,8546
            Wall clock TIME (seconds)      = 4.321
            CPU/machine TIME (seconds)     = 4.430
    total makespan           = 7
13,3,474
            Wall clock TIME (seconds)      = 13.720
            CPU/machine TIME (seconds)     = 13.810
    total makespan           = 8
13,3,188
            Wall clock TIME (seconds)      = 1.667
            CPU/machine TIME (seconds)     = 1.690
    total makespan           = 6
13,3,7899
            Wall clock TIME (seconds)      = 93.007
            CPU/machine TIME (seconds)     = 93.080
    total makespan           = 0
13,3,9
            Wall clock TIME (seconds)      = 61.866
            CPU/machine TIME (seconds)     = 61.970
    total makespan           = 0
13,3,774
            Wall clock TIME (seconds)      = 29.007
            CPU/machine TIME (seconds)     = 29.030
    total makespan           = 8
14,3,3455
            Wall clock TIME (seconds)      = 71.014
            CPU/machine TIME (seconds)     = 71.140
    total makespan           = 0
14,3,12
            Wall clock TIME (seconds)      = 12.938
            CPU/machine TIME (seconds)     = 13.000
    total makespan           = 8
14,3,45
            Wall clock TIME (seconds)      = 60.942
            CPU/machine TIME (seconds)     = 60.940
    total makespan           = 0
14,3,78
            Wall clock TIME (seconds)      = 60.846
            CPU/machine TIME (seconds)     = 60.910
    total makespan           = 0
14,3,8546
            Wall clock TIME (seconds)      = 33.072
            CPU/machine TIME (seconds)     = 33.170
    total makespan           = 9
14,3,474
            Wall clock TIME (seconds)      = 5.030
            CPU/machine TIME (seconds)     = 5.100
    total makespan           = 6
14,3,188
            Wall clock TIME (seconds)      = 62.457
            CPU/machine TIME (seconds)     = 62.510
    total makespan           = 0
14,3,7899
            Wall clock TIME (seconds)      = 65.075
            CPU/machine TIME (seconds)     = 65.130
    total makespan           = 0
14,3,9
            Wall clock TIME (seconds)      = 66.986
            CPU/machine TIME (seconds)     = 67.030
    total makespan           = 0
14,3,774
            Wall clock TIME (seconds)      = 65.002
            CPU/machine TIME (seconds)     = 65.060
    total makespan           = 0
15,3,3455
            Wall clock TIME (seconds)      = 80.483
            CPU/machine TIME (seconds)     = 80.530
    total makespan           = 0
15,3,12
            Wall clock TIME (seconds)      = 68.958
            CPU/machine TIME (seconds)     = 69.040
    total makespan           = 0
15,3,45
            Wall clock TIME (seconds)      = 61.294
            CPU/machine TIME (seconds)     = 61.400
    total makespan           = 0
15,3,78
            Wall clock TIME (seconds)      = 62.011
            CPU/machine TIME (seconds)     = 62.110
    total makespan           = 0
15,3,8546
            Wall clock TIME (seconds)      = 67.087
            CPU/machine TIME (seconds)     = 67.140
    total makespan           = 0
15,3,474
            Wall clock TIME (seconds)      = 66.106
            CPU/machine TIME (seconds)     = 66.190
    total makespan           = 0
15,3,188
            Wall clock TIME (seconds)      = 68.715
            CPU/machine TIME (seconds)     = 68.800
    total makespan           = 0
15,3,7899
            Wall clock TIME (seconds)      = 62.213
            CPU/machine TIME (seconds)     = 62.250
    total makespan           = 0
15,3,9
            Wall clock TIME (seconds)      = 84.179
            CPU/machine TIME (seconds)     = 84.280
    total makespan           = 0
15,3,774
            Wall clock TIME (seconds)      = 62.444
            CPU/machine TIME (seconds)     = 62.470
    total makespan           = 0
1,4,3455
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 4
1,4,12
            Wall clock TIME (seconds)      = 0.009
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 0
1,4,45
            Wall clock TIME (seconds)      = 0.033
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
1,4,78
            Wall clock TIME (seconds)      = 0.045
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 3
1,4,8546
            Wall clock TIME (seconds)      = 0.025
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,474
            Wall clock TIME (seconds)      = 0.026
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,188
            Wall clock TIME (seconds)      = 0.023
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,7899
            Wall clock TIME (seconds)      = 0.194
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 6
1,4,9
            Wall clock TIME (seconds)      = 0.021
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,774
            Wall clock TIME (seconds)      = 0.048
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
2,4,3455
            Wall clock TIME (seconds)      = 0.462
            CPU/machine TIME (seconds)     = 0.490
    total makespan           = 8
2,4,12
            Wall clock TIME (seconds)      = 0.275
            CPU/machine TIME (seconds)     = 0.280
    total makespan           = 6
2,4,45
            Wall clock TIME (seconds)      = 0.170
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 6
2,4,78
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.010
    total makespan           = 1
2,4,8546
            Wall clock TIME (seconds)      = 0.111
            CPU/machine TIME (seconds)     = 0.120
    total makespan           = 4
2,4,474
            Wall clock TIME (seconds)      = 0.069
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,4,188
            Wall clock TIME (seconds)      = 0.114
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
2,4,7899
            Wall clock TIME (seconds)      = 0.178
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
2,4,9
            Wall clock TIME (seconds)      = 0.136
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 5
2,4,774
            Wall clock TIME (seconds)      = 0.118
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
3,4,3455
            Wall clock TIME (seconds)      = 0.200
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 6
3,4,12
            Wall clock TIME (seconds)      = 0.198
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
3,4,45
            Wall clock TIME (seconds)      = 0.085
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,4,78
            Wall clock TIME (seconds)      = 0.129
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
3,4,8546
            Wall clock TIME (seconds)      = 0.196
            CPU/machine TIME (seconds)     = 0.220
    total makespan           = 5
3,4,474
            Wall clock TIME (seconds)      = 0.226
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 5
3,4,188
            Wall clock TIME (seconds)      = 0.110
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
3,4,7899
            Wall clock TIME (seconds)      = 1.241
            CPU/machine TIME (seconds)     = 1.260
    total makespan           = 9
3,4,9
            Wall clock TIME (seconds)      = 0.094
            CPU/machine TIME (seconds)     = 0.110
    total makespan           = 4
3,4,774
            Wall clock TIME (seconds)      = 0.840
            CPU/machine TIME (seconds)     = 0.870
    total makespan           = 8
4,4,3455
            Wall clock TIME (seconds)      = 0.070
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
4,4,12
            Wall clock TIME (seconds)      = 0.158
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
4,4,45
            Wall clock TIME (seconds)      = 0.723
            CPU/machine TIME (seconds)     = 0.740
    total makespan           = 8
4,4,78
            Wall clock TIME (seconds)      = 0.042
            CPU/machine TIME (seconds)     = 0.050
    total makespan           = 2
4,4,8546
            Wall clock TIME (seconds)      = 0.364
            CPU/machine TIME (seconds)     = 0.390
    total makespan           = 6
4,4,474
            Wall clock TIME (seconds)      = 0.388
            CPU/machine TIME (seconds)     = 0.410
    total makespan           = 5
4,4,188
            Wall clock TIME (seconds)      = 0.819
            CPU/machine TIME (seconds)     = 0.840
    total makespan           = 7
4,4,7899
            Wall clock TIME (seconds)      = 0.524
            CPU/machine TIME (seconds)     = 0.540
    total makespan           = 6
4,4,9
            Wall clock TIME (seconds)      = 0.684
            CPU/machine TIME (seconds)     = 0.710
    total makespan           = 7
4,4,774
            Wall clock TIME (seconds)      = 0.427
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 6
5,4,3455
            Wall clock TIME (seconds)      = 0.754
            CPU/machine TIME (seconds)     = 0.790
    total makespan           = 8
5,4,12
            Wall clock TIME (seconds)      = 1.833
            CPU/machine TIME (seconds)     = 1.870
    total makespan           = 8
5,4,45
            Wall clock TIME (seconds)      = 0.483
            CPU/machine TIME (seconds)     = 0.500
    total makespan           = 6
5,4,78
            Wall clock TIME (seconds)      = 266.348
            CPU/machine TIME (seconds)     = 249.160
    total makespan           = 0
5,4,8546
            Wall clock TIME (seconds)      = 0.675
            CPU/machine TIME (seconds)     = 0.720
    total makespan           = 6
5,4,474
            Wall clock TIME (seconds)      = 0.197
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 4
5,4,188
            Wall clock TIME (seconds)      = 0.159
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
5,4,7899
            Wall clock TIME (seconds)      = 0.885
            CPU/machine TIME (seconds)     = 0.900
    total makespan           = 7
5,4,9
            Wall clock TIME (seconds)      = 1.966
            CPU/machine TIME (seconds)     = 1.500
    total makespan           = 8
5,4,774
            Wall clock TIME (seconds)      = 1.995
            CPU/machine TIME (seconds)     = 1.760
    total makespan           = 8
6,4,3455
            Wall clock TIME (seconds)      = 0.524
            CPU/machine TIME (seconds)     = 0.550
    total makespan           = 6
6,4,12
            Wall clock TIME (seconds)      = 0.674
            CPU/machine TIME (seconds)     = 0.700
    total makespan           = 6
6,4,45
            Wall clock TIME (seconds)      = 1.201
            CPU/machine TIME (seconds)     = 0.990
    total makespan           = 7
6,4,78
            Wall clock TIME (seconds)      = 3.574
            CPU/machine TIME (seconds)     = 3.540
    total makespan           = 7
6,4,8546
            Wall clock TIME (seconds)      = 1.248
            CPU/machine TIME (seconds)     = 0.800
    total makespan           = 6
6,4,474
            Wall clock TIME (seconds)      = 133.965
            CPU/machine TIME (seconds)     = 122.350
    total makespan           = 0
6,4,188
            Wall clock TIME (seconds)      = 0.620
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 5
6,4,7899
            Wall clock TIME (seconds)      = 2.147
            CPU/machine TIME (seconds)     = 1.340
    total makespan           = 7
6,4,9
            Wall clock TIME (seconds)      = 0.732
            CPU/machine TIME (seconds)     = 0.560
    total makespan           = 6
6,4,774
            Wall clock TIME (seconds)      = 85.339
            CPU/machine TIME (seconds)     = 78.400
    total makespan           = 0
7,4,3455
            Wall clock TIME (seconds)      = 0.888
            CPU/machine TIME (seconds)     = 0.690
    total makespan           = 6
7,4,12
            Wall clock TIME (seconds)      = 0.372
            CPU/machine TIME (seconds)     = 0.380
    total makespan           = 5
7,4,45
            Wall clock TIME (seconds)      = 82.859
            CPU/machine TIME (seconds)     = 70.490
    total makespan           = 0
7,4,78
            Wall clock TIME (seconds)      = 0.372
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 4
7,4,8546
            Wall clock TIME (seconds)      = 2.537
            CPU/machine TIME (seconds)     = 1.940
    total makespan           = 7
7,4,474
            Wall clock TIME (seconds)      = 84.871
            CPU/machine TIME (seconds)     = 80.720
    total makespan           = 0
7,4,188
            Wall clock TIME (seconds)      = 0.910
            CPU/machine TIME (seconds)     = 0.530
    total makespan           = 5
7,4,7899
            Wall clock TIME (seconds)      = 0.647
            CPU/machine TIME (seconds)     = 0.700
    total makespan           = 5
7,4,9
            Wall clock TIME (seconds)      = 1.269
            CPU/machine TIME (seconds)     = 0.880
    total makespan           = 6
7,4,774
            Wall clock TIME (seconds)      = 141.646
            CPU/machine TIME (seconds)     = 124.860
    total makespan           = 0
8,4,3455
            Wall clock TIME (seconds)      = 1.823
            CPU/machine TIME (seconds)     = 1.410
    total makespan           = 7
8,4,12
            Wall clock TIME (seconds)      = 1.358
            CPU/machine TIME (seconds)     = 1.150
    total makespan           = 6
8,4,45
            Wall clock TIME (seconds)      = 6.652
            CPU/machine TIME (seconds)     = 6.750
    total makespan           = 8
8,4,78
            Wall clock TIME (seconds)      = 0.589
            CPU/machine TIME (seconds)     = 0.640
    total makespan           = 5
8,4,8546
            Wall clock TIME (seconds)      = 0.685
            CPU/machine TIME (seconds)     = 0.740
    total makespan           = 5
8,4,474
            Wall clock TIME (seconds)      = 9.317
            CPU/machine TIME (seconds)     = 7.510
    total makespan           = 8
8,4,188
            Wall clock TIME (seconds)      = 4.522
            CPU/machine TIME (seconds)     = 2.910
    total makespan           = 7
8,4,7899
            Wall clock TIME (seconds)      = 1.190
            CPU/machine TIME (seconds)     = 0.840
    total makespan           = 5
8,4,9
            Wall clock TIME (seconds)      = 4.079
            CPU/machine TIME (seconds)     = 3.720
    total makespan           = 8
8,4,774
            Wall clock TIME (seconds)      = 5.534
            CPU/machine TIME (seconds)     = 5.550
    total makespan           = 7
9,4,3455
            Wall clock TIME (seconds)      = 1.502
            CPU/machine TIME (seconds)     = 1.520
    total makespan           = 7
9,4,12
            Wall clock TIME (seconds)      = 3.641
            CPU/machine TIME (seconds)     = 2.600
    total makespan           = 7
9,4,45
            Wall clock TIME (seconds)      = 124.484
            CPU/machine TIME (seconds)     = 109.110
    total makespan           = 0
9,4,78
            Wall clock TIME (seconds)      = 154.677
            CPU/machine TIME (seconds)     = 130.870
    total makespan           = 0
9,4,8546
            Wall clock TIME (seconds)      = 1.027
            CPU/machine TIME (seconds)     = 0.630
    total makespan           = 5
9,4,474
            Wall clock TIME (seconds)      = 92.861
            CPU/machine TIME (seconds)     = 76.120
    total makespan           = 0
9,4,188
            Wall clock TIME (seconds)      = 0.663
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 4
9,4,7899
            Wall clock TIME (seconds)      = 2.144
            CPU/machine TIME (seconds)     = 1.980
    total makespan           = 6
9,4,9
            Wall clock TIME (seconds)      = 25.767
            CPU/machine TIME (seconds)     = 24.060
    total makespan           = 9
9,4,774
            Wall clock TIME (seconds)      = 123.612
            CPU/machine TIME (seconds)     = 106.970
    total makespan           = 0
10,4,3455
            Wall clock TIME (seconds)      = 2.959
            CPU/machine TIME (seconds)     = 2.410
    total makespan           = 8
10,4,12
            Wall clock TIME (seconds)      = 0.313
            CPU/machine TIME (seconds)     = 0.330
    total makespan           = 4
10,4,45
            Wall clock TIME (seconds)      = 1.418
            CPU/machine TIME (seconds)     = 1.380
    total makespan           = 6
10,4,78
            Wall clock TIME (seconds)      = 0.456
            CPU/machine TIME (seconds)     = 0.480
    total makespan           = 4
10,4,8546
            Wall clock TIME (seconds)      = 2.457
            CPU/machine TIME (seconds)     = 2.240
    total makespan           = 7
10,4,474
            Wall clock TIME (seconds)      = 7.370
            CPU/machine TIME (seconds)     = 4.740
    total makespan           = 7
10,4,188
            Wall clock TIME (seconds)      = 5.078
            CPU/machine TIME (seconds)     = 3.820
    total makespan           = 6
10,4,7899
            Wall clock TIME (seconds)      = 0.736
            CPU/machine TIME (seconds)     = 0.690
    total makespan           = 5
10,4,9
            Wall clock TIME (seconds)      = 132.234
            CPU/machine TIME (seconds)     = 121.200
    total makespan           = 0
10,4,774
            Wall clock TIME (seconds)      = 12.262
            CPU/machine TIME (seconds)     = 9.850
    total makespan           = 9
11,4,3455
            Wall clock TIME (seconds)      = 3.134
            CPU/machine TIME (seconds)     = 2.910
    total makespan           = 8
11,4,12
            Wall clock TIME (seconds)      = 0.888
            CPU/machine TIME (seconds)     = 0.920
    total makespan           = 5
11,4,45
            Wall clock TIME (seconds)      = 64.962
            CPU/machine TIME (seconds)     = 53.360
    total makespan           = 8
11,4,78
            Wall clock TIME (seconds)      = 87.367
            CPU/machine TIME (seconds)     = 75.090
    total makespan           = 0
11,4,8546
            Wall clock TIME (seconds)      = 9.914
            CPU/machine TIME (seconds)     = 9.400
    total makespan           = 9
11,4,474
            Wall clock TIME (seconds)      = 78.217
            CPU/machine TIME (seconds)     = 72.770
    total makespan           = 8
11,4,188
            Wall clock TIME (seconds)      = 2.286
            CPU/machine TIME (seconds)     = 1.820
    total makespan           = 6
11,4,7899
            Wall clock TIME (seconds)      = 6.827
            CPU/machine TIME (seconds)     = 6.370
    total makespan           = 9
11,4,9
            Wall clock TIME (seconds)      = 11.543
            CPU/machine TIME (seconds)     = 11.480
    total makespan           = 9
11,4,774
            Wall clock TIME (seconds)      = 10.434
            CPU/machine TIME (seconds)     = 10.250
    total makespan           = 8
12,4,3455
            Wall clock TIME (seconds)      = 69.667
            CPU/machine TIME (seconds)     = 64.340
    total makespan           = 0
12,4,12
            Wall clock TIME (seconds)      = 77.368
            CPU/machine TIME (seconds)     = 71.840
    total makespan           = 0
12,4,45
            Wall clock TIME (seconds)      = 7.073
            CPU/machine TIME (seconds)     = 7.150
    total makespan           = 8
12,4,78
            Wall clock TIME (seconds)      = 0.156
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 3
12,4,8546
            Wall clock TIME (seconds)      = 14.459
            CPU/machine TIME (seconds)     = 12.040
    total makespan           = 7
12,4,474
            Wall clock TIME (seconds)      = 18.208
            CPU/machine TIME (seconds)     = 15.480
    total makespan           = 7
12,4,188
            Wall clock TIME (seconds)      = 67.454
            CPU/machine TIME (seconds)     = 57.110
    total makespan           = 7
12,4,7899
            Wall clock TIME (seconds)      = 5.411
            CPU/machine TIME (seconds)     = 4.680
    total makespan           = 7
12,4,9
            Wall clock TIME (seconds)      = 67.864
            CPU/machine TIME (seconds)     = 65.500
    total makespan           = 0
12,4,774
            Wall clock TIME (seconds)      = 66.717
            CPU/machine TIME (seconds)     = 66.040
    total makespan           = 0
13,4,3455
            Wall clock TIME (seconds)      = 106.629
            CPU/machine TIME (seconds)     = 95.640
    total makespan           = 0
13,4,12
            Wall clock TIME (seconds)      = 20.796
            CPU/machine TIME (seconds)     = 20.870
    total makespan           = 8
13,4,45
            Wall clock TIME (seconds)      = 120.665
            CPU/machine TIME (seconds)     = 114.190
    total makespan           = 0
13,4,78
            Wall clock TIME (seconds)      = 6.180
            CPU/machine TIME (seconds)     = 6.250
    total makespan           = 6
13,4,8546
            Wall clock TIME (seconds)      = 75.624
            CPU/machine TIME (seconds)     = 64.850
    total makespan           = 0
13,4,474
            Wall clock TIME (seconds)      = 16.893
            CPU/machine TIME (seconds)     = 12.950
    total makespan           = 7
13,4,188
            Wall clock TIME (seconds)      = 119.907
            CPU/machine TIME (seconds)     = 110.180
    total makespan           = 0
13,4,7899
            Wall clock TIME (seconds)      = 10.579
            CPU/machine TIME (seconds)     = 10.650
    total makespan           = 7
13,4,9
            Wall clock TIME (seconds)      = 78.671
            CPU/machine TIME (seconds)     = 60.050
    total makespan           = 10
13,4,774
            Wall clock TIME (seconds)      = 59.843
            CPU/machine TIME (seconds)     = 49.020
    total makespan           = 8
14,4,3455
            Wall clock TIME (seconds)      = 114.142
            CPU/machine TIME (seconds)     = 89.590
    total makespan           = 0
14,4,12
            Wall clock TIME (seconds)      = 69.839
            CPU/machine TIME (seconds)     = 67.260
    total makespan           = 0
14,4,45
            Wall clock TIME (seconds)      = 73.045
            CPU/machine TIME (seconds)     = 62.240
    total makespan           = 0
14,4,78
            Wall clock TIME (seconds)      = 22.970
            CPU/machine TIME (seconds)     = 20.750
    total makespan           = 6
14,4,8546
            Wall clock TIME (seconds)      = 76.597
            CPU/machine TIME (seconds)     = 64.110
    total makespan           = 0
14,4,474
            Wall clock TIME (seconds)      = 64.035
            CPU/machine TIME (seconds)     = 64.120
    total makespan           = 0
14,4,188
            Wall clock TIME (seconds)      = 119.318
            CPU/machine TIME (seconds)     = 119.390
    total makespan           = 0
14,4,7899
            Wall clock TIME (seconds)      = 20.822
            CPU/machine TIME (seconds)     = 20.720
    total makespan           = 7
14,4,9
            Wall clock TIME (seconds)      = 125.749
            CPU/machine TIME (seconds)     = 121.190
    total makespan           = 0
14,4,774
            Wall clock TIME (seconds)      = 74.617
            CPU/machine TIME (seconds)     = 68.850
    total makespan           = 0
15,4,3455
            Wall clock TIME (seconds)      = 112.996
            CPU/machine TIME (seconds)     = 96.380
    total makespan           = 0
15,4,12
            Wall clock TIME (seconds)      = 81.363
            CPU/machine TIME (seconds)     = 69.980
    total makespan           = 0
15,4,45
            Wall clock TIME (seconds)      = 79.535
            CPU/machine TIME (seconds)     = 69.970
    total makespan           = 0
15,4,78
            Wall clock TIME (seconds)      = 18.446
            CPU/machine TIME (seconds)     = 14.800
    total makespan           = 8
15,4,8546
            Wall clock TIME (seconds)      = 91.232
            CPU/machine TIME (seconds)     = 82.290
    total makespan           = 0
15,4,474
            Wall clock TIME (seconds)      = 73.244
            CPU/machine TIME (seconds)     = 70.960
    total makespan           = 0
15,4,188
            Wall clock TIME (seconds)      = 85.495
            CPU/machine TIME (seconds)     = 74.370
    total makespan           = 0
15,4,7899
            Wall clock TIME (seconds)      = 65.626
            CPU/machine TIME (seconds)     = 61.240
    total makespan           = 0
15,4,9
            Wall clock TIME (seconds)      = 87.484
            CPU/machine TIME (seconds)     = 79.050
    total makespan           = 0
15,4,774
            Wall clock TIME (seconds)      = 78.736
            CPU/machine TIME (seconds)     = 67.810
    total makespan           = 0