1,1,3455
1,1,12
1,1,45
1,1,78
1,1,8546
1,1,474
1,1,188
1,1,7899
1,1,9
1,1,774
2,1,3455
2,1,12
2,1,45
2,1,78
2,1,8546
2,1,474
2,1,188
2,1,7899
2,1,9
2,1,774
3,1,3455
3,1,12
3,1,45
3,1,78
3,1,8546
3,1,474
3,1,188
3,1,7899
3,1,9
3,1,774
4,1,3455
4,1,12
4,1,45
4,1,78
4,1,8546
4,1,474
4,1,188
4,1,7899
4,1,9
4,1,774
5,1,3455
5,1,12
5,1,45
5,1,78
5,1,8546
5,1,474
5,1,188
5,1,7899
5,1,9
5,1,774
6,1,3455
6,1,12
6,1,45
6,1,78
6,1,8546
6,1,474
6,1,188
6,1,7899
6,1,9
6,1,774
7,1,3455
7,1,12
7,1,45
7,1,78
7,1,8546
7,1,474
7,1,188
7,1,7899
7,1,9
7,1,774
8,1,3455
8,1,12
8,1,45
8,1,78
8,1,8546
8,1,474
8,1,188
8,1,7899
8,1,9
8,1,774
9,1,3455
9,1,12
9,1,45
9,1,78
9,1,8546
9,1,474
9,1,188
9,1,7899
9,1,9
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
16,1,3455
16,1,12
16,1,45
16,1,78
16,1,8546
16,1,474
16,1,188
16,1,7899
16,1,9
16,1,774
17,1,3455
17,1,12
17,1,45
17,1,78
17,1,8546
17,1,474
17,1,188
17,1,7899
17,1,9
17,1,774
18,1,3455
18,1,12
18,1,45
18,1,78
18,1,8546
18,1,474
18,1,188
18,1,7899
18,1,9
18,1,774
19,1,3455
19,1,12
19,1,45
19,1,78
19,1,8546
19,1,474
19,1,188
19,1,7899
19,1,9
19,1,774
20,1,3455
20,1,12
20,1,45
20,1,78
20,1,8546
20,1,474
20,1,188
20,1,7899
20,1,9
20,1,774
21,1,3455
21,1,12
21,1,45
21,1,78
21,1,8546
21,1,474
21,1,188
21,1,7899
21,1,9
21,1,774
22,1,3455
22,1,12
22,1,45
22,1,78
22,1,8546
22,1,474
22,1,188
22,1,7899
22,1,9
22,1,774
23,1,3455
23,1,12
23,1,45
23,1,78
23,1,8546
23,1,474
23,1,188
23,1,7899
23,1,9
23,1,774
1,2,3455
1,2,12
1,2,45
1,2,78
1,2,8546
1,2,474
1,2,188
1,2,7899
1,2,9
1,2,774
2,2,3455
2,2,12
2,2,45
2,2,78
2,2,8546
2,2,474
2,2,188
2,2,7899
2,2,9
2,2,774
3,2,3455
3,2,12
3,2,45
3,2,78
3,2,8546
3,2,474
3,2,188
3,2,7899
3,2,9
3,2,774
4,2,3455
4,2,12
4,2,45
4,2,78
4,2,8546
4,2,474
4,2,188
4,2,7899
4,2,9
4,2,774
5,2,3455
5,2,12
5,2,45
5,2,78
5,2,8546
5,2,474
5,2,188
5,2,7899
5,2,9
5,2,774
6,2,3455
6,2,12
6,2,45
6,2,78
6,2,8546
6,2,474
6,2,188
6,2,7899
6,2,9
6,2,774
7,2,3455
7,2,12
7,2,45
7,2,78
7,2,8546
7,2,474
7,2,188
7,2,7899
7,2,9
7,2,774
8,2,3455
8,2,12
8,2,45
8,2,78
8,2,8546
8,2,474
8,2,188
8,2,7899
8,2,9
8,2,774
9,2,3455
9,2,12
9,2,45
9,2,78
9,2,8546
9,2,474
9,2,188
9,2,7899
9,2,9
9,2,774
10,2,3455
10,2,12
10,2,45
10,2,78
10,2,8546
10,2,474
10,2,188
10,2,7899
10,2,9
10,2,774
11,2,3455
11,2,12
11,2,45
11,2,78
11,2,8546
11,2,474
11,2,188
11,2,7899
11,2,9
11,2,774
12,2,3455
12,2,12
12,2,45
12,2,78
12,2,8546
12,2,474
12,2,188
12,2,7899
12,2,9
12,2,774
13,2,3455
13,2,12
13,2,45
13,2,78
13,2,8546
13,2,474
13,2,188
13,2,7899
13,2,9
13,2,774
14,2,3455
14,2,12
14,2,45
14,2,78
14,2,8546
14,2,474
14,2,188
14,2,7899
14,2,9
14,2,774
15,2,3455
15,2,12
15,2,45
15,2,78
15,2,8546
15,2,474
15,2,188
15,2,7899
15,2,9
15,2,774
16,2,3455
16,2,12
16,2,45
16,2,78
16,2,8546
16,2,474
16,2,188
16,2,7899
16,2,9
16,2,774
17,2,3455
17,2,12
17,2,45
17,2,78
17,2,8546
17,2,474
17,2,188
17,2,7899
17,2,9
17,2,774
18,2,3455
18,2,12
18,2,45
18,2,78
18,2,8546
18,2,474
18,2,188
18,2,7899
18,2,9
18,2,774
19,2,3455
19,2,12
19,2,45
19,2,78
19,2,8546
19,2,474
19,2,188
19,2,7899
19,2,9
19,2,774
20,2,3455
20,2,12
20,2,45
20,2,78
20,2,8546
20,2,474
20,2,188
20,2,7899
20,2,9
20,2,774
21,2,3455
21,2,12
21,2,45
21,2,78
21,2,8546
21,2,474
21,2,188
21,2,7899
21,2,9
21,2,774
22,2,3455
22,2,12
22,2,45
22,2,78
22,2,8546
22,2,474
22,2,188
22,2,7899
22,2,9
22,2,774
23,2,3455
23,2,12
23,2,45
23,2,78
23,2,8546
23,2,474
23,2,188
23,2,7899
23,2,9
23,2,774
1,3,3455
            Wall clock TIME (seconds)      = 0.014
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,3,12
            Wall clock TIME (seconds)      = 0.109
            CPU/machine TIME (seconds)     = 0.160
    total makespan           = 4
1,3,45
            Wall clock TIME (seconds)      = 0.058
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
1,3,78
            Wall clock TIME (seconds)      = 0.162
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
1,3,8546
            Wall clock TIME (seconds)      = 0.134
            CPU/machine TIME (seconds)     = 0.190
    total makespan           = 4
1,3,474
            Wall clock TIME (seconds)      = 0.036
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
1,3,188
            Wall clock TIME (seconds)      = 0.419
            CPU/machine TIME (seconds)     = 0.520
    total makespan           = 8
1,3,7899
            Wall clock TIME (seconds)      = 0.115
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
1,3,9
            Wall clock TIME (seconds)      = 0.443
            CPU/machine TIME (seconds)     = 0.540
    total makespan           = 7
1,3,774
            Wall clock TIME (seconds)      = 0.062
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
2,3,3455
            Wall clock TIME (seconds)      = 1.350
            CPU/machine TIME (seconds)     = 1.450
    total makespan           = 9
2,3,12
            Wall clock TIME (seconds)      = 0.941
            CPU/machine TIME (seconds)     = 1.040
    total makespan           = 8
2,3,45
            Wall clock TIME (seconds)      = 0.015
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
2,3,78
            Wall clock TIME (seconds)      = 0.249
            CPU/machine TIME (seconds)     = 0.320
    total makespan           = 5
2,3,8546
            Wall clock TIME (seconds)      = 0.277
            CPU/machine TIME (seconds)     = 0.340
    total makespan           = 5
2,3,474
            Wall clock TIME (seconds)      = 0.460
            CPU/machine TIME (seconds)     = 0.540
    total makespan           = 7
2,3,188
            Wall clock TIME (seconds)      = 1.345
            CPU/machine TIME (seconds)     = 1.500
    total makespan           = 11
2,3,7899
            Wall clock TIME (seconds)      = 0.258
            CPU/machine TIME (seconds)     = 0.330
    total makespan           = 5
2,3,9
            Wall clock TIME (seconds)      = 0.198
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 5
2,3,774
            Wall clock TIME (seconds)      = 1.121
            CPU/machine TIME (seconds)     = 1.240
    total makespan           = 9
3,3,3455
            Wall clock TIME (seconds)      = 1.131
            CPU/machine TIME (seconds)     = 1.250
    total makespan           = 8
3,3,12
            Wall clock TIME (seconds)      = 1.873
            CPU/machine TIME (seconds)     = 1.990
    total makespan           = 9
3,3,45
            Wall clock TIME (seconds)      = 0.302
            CPU/machine TIME (seconds)     = 0.370
    total makespan           = 6
3,3,78
            Wall clock TIME (seconds)      = 1.847
            CPU/machine TIME (seconds)     = 1.960
    total makespan           = 9
3,3,8546
            Wall clock TIME (seconds)      = 0.091
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 3
3,3,474
            Wall clock TIME (seconds)      = 3.083
            CPU/machine TIME (seconds)     = 3.180
    total makespan           = 9
3,3,188
            Wall clock TIME (seconds)      = 1.916
            CPU/machine TIME (seconds)     = 2.040
    total makespan           = 10
3,3,7899
            Wall clock TIME (seconds)      = 0.174
            CPU/machine TIME (seconds)     = 0.240
    total makespan           = 4
3,3,9
            Wall clock TIME (seconds)      = 0.372
            CPU/machine TIME (seconds)     = 0.420
    total makespan           = 6
3,3,774
            Wall clock TIME (seconds)      = 2.205
            CPU/machine TIME (seconds)     = 2.320
    total makespan           = 9
4,3,3455
            Wall clock TIME (seconds)      = 1.306
            CPU/machine TIME (seconds)     = 1.400
    total makespan           = 7
4,3,12
            Wall clock TIME (seconds)      = 5.624
            CPU/machine TIME (seconds)     = 5.790
    total makespan           = 12
4,3,45
            Wall clock TIME (seconds)      = 0.349
            CPU/machine TIME (seconds)     = 0.430
    total makespan           = 6
4,3,78
            Wall clock TIME (seconds)      = 0.745
            CPU/machine TIME (seconds)     = 0.830
    total makespan           = 7
4,3,8546
            Wall clock TIME (seconds)      = 0.573
            CPU/machine TIME (seconds)     = 0.650
    total makespan           = 6
4,3,474
            Wall clock TIME (seconds)      = 0.439
            CPU/machine TIME (seconds)     = 0.500
    total makespan           = 6
4,3,188
            Wall clock TIME (seconds)      = 2.933
            CPU/machine TIME (seconds)     = 3.050
    total makespan           = 12
4,3,7899
            Wall clock TIME (seconds)      = 0.050
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
4,3,9
            Wall clock TIME (seconds)      = 0.723
            CPU/machine TIME (seconds)     = 0.760
    total makespan           = 7
4,3,774
            Wall clock TIME (seconds)      = 0.882
            CPU/machine TIME (seconds)     = 0.910
    total makespan           = 7
5,3,3455
            Wall clock TIME (seconds)      = 1.839
            CPU/machine TIME (seconds)     = 1.860
    total makespan           = 8
5,3,12
            Wall clock TIME (seconds)      = 3.171
            CPU/machine TIME (seconds)     = 3.200
    total makespan           = 9
5,3,45
            Wall clock TIME (seconds)      = 0.130
            CPU/machine TIME (seconds)     = 0.140
    total makespan           = 4
5,3,78
            Wall clock TIME (seconds)      = 2.339
            CPU/machine TIME (seconds)     = 2.370
    total makespan           = 9
5,3,8546
            Wall clock TIME (seconds)      = 1.210
            CPU/machine TIME (seconds)     = 1.250
    total makespan           = 8
5,3,474
            Wall clock TIME (seconds)      = 0.988
            CPU/machine TIME (seconds)     = 1.010
    total makespan           = 7
5,3,188
            Wall clock TIME (seconds)      = 0.264
            CPU/machine TIME (seconds)     = 0.290
    total makespan           = 5
5,3,7899
            Wall clock TIME (seconds)      = 1.396
            CPU/machine TIME (seconds)     = 1.420
    total makespan           = 7
5,3,9
            Wall clock TIME (seconds)      = 0.090
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
5,3,774
            Wall clock TIME (seconds)      = 0.158
            CPU/machine TIME (seconds)     = 0.180
    total makespan           = 4
6,3,3455
            Wall clock TIME (seconds)      = 0.281
            CPU/machine TIME (seconds)     = 0.300
    total makespan           = 5
6,3,12
            Wall clock TIME (seconds)      = 1.391
            CPU/machine TIME (seconds)     = 1.430
    total makespan           = 7
6,3,45
            Wall clock TIME (seconds)      = 1.718
            CPU/machine TIME (seconds)     = 1.820
    total makespan           = 8
6,3,78
            Wall clock TIME (seconds)      = 0.295
            CPU/machine TIME (seconds)     = 0.360
    total makespan           = 5
6,3,8546
            Wall clock TIME (seconds)      = 2.456
            CPU/machine TIME (seconds)     = 2.560
    total makespan           = 8
6,3,474
            Wall clock TIME (seconds)      = 1.434
            CPU/machine TIME (seconds)     = 1.510
    total makespan           = 7
6,3,188
            Wall clock TIME (seconds)      = 0.900
            CPU/machine TIME (seconds)     = 0.990
    total makespan           = 7
6,3,7899
            Wall clock TIME (seconds)      = 2.540
            CPU/machine TIME (seconds)     = 2.630
    total makespan           = 9
6,3,9
            Wall clock TIME (seconds)      = 3.333
            CPU/machine TIME (seconds)     = 3.470
    total makespan           = 10
6,3,774
            Wall clock TIME (seconds)      = 1.872
            CPU/machine TIME (seconds)     = 1.980
    total makespan           = 8
7,3,3455
            Wall clock TIME (seconds)      = 5.176
            CPU/machine TIME (seconds)     = 5.220
    total makespan           = 9
7,3,12
            Wall clock TIME (seconds)      = 0.767
            CPU/machine TIME (seconds)     = 0.830
    total makespan           = 6
7,3,45
            Wall clock TIME (seconds)      = 1.518
            CPU/machine TIME (seconds)     = 1.610
    total makespan           = 7
7,3,78
            Wall clock TIME (seconds)      = 1.827
            CPU/machine TIME (seconds)     = 1.930
    total makespan           = 8
7,3,8546
            Wall clock TIME (seconds)      = 8.078
            CPU/machine TIME (seconds)     = 8.180
    total makespan           = 8
7,3,474
            Wall clock TIME (seconds)      = 4.225
            CPU/machine TIME (seconds)     = 4.330
    total makespan           = 9
7,3,188
            Wall clock TIME (seconds)      = 9.467
            CPU/machine TIME (seconds)     = 9.560
    total makespan           = 10
7,3,7899
            Wall clock TIME (seconds)      = 1.039
            CPU/machine TIME (seconds)     = 1.130
    total makespan           = 7
7,3,9
            Wall clock TIME (seconds)      = 15.725
            CPU/machine TIME (seconds)     = 15.870
    total makespan           = 12
7,3,774
            Wall clock TIME (seconds)      = 1.470
            CPU/machine TIME (seconds)     = 1.550
    total makespan           = 7
8,3,3455
            Wall clock TIME (seconds)      = 4.844
            CPU/machine TIME (seconds)     = 4.860
    total makespan           = 9
8,3,12
            Wall clock TIME (seconds)      = 10.545
            CPU/machine TIME (seconds)     = 10.580
    total makespan           = 10
8,3,45
            Wall clock TIME (seconds)      = 2.377
            CPU/machine TIME (seconds)     = 2.410
    total makespan           = 9
8,3,78
            Wall clock TIME (seconds)      = 32.352
            CPU/machine TIME (seconds)     = 32.440
    total makespan           = 12
8,3,8546
            Wall clock TIME (seconds)      = 3.218
            CPU/machine TIME (seconds)     = 3.320
    total makespan           = 9
8,3,474
            Wall clock TIME (seconds)      = 2.171
            CPU/machine TIME (seconds)     = 2.180
    total makespan           = 7
8,3,188
            Wall clock TIME (seconds)      = 3.222
            CPU/machine TIME (seconds)     = 3.260
    total makespan           = 9
8,3,7899
            Wall clock TIME (seconds)      = 81.689
            CPU/machine TIME (seconds)     = 81.730
    total makespan           = 0
8,3,9
            Wall clock TIME (seconds)      = 0.492
            CPU/machine TIME (seconds)     = 0.550
    total makespan           = 5
8,3,774
            Wall clock TIME (seconds)      = 10.424
            CPU/machine TIME (seconds)     = 10.520
    total makespan           = 9
9,3,3455
            Wall clock TIME (seconds)      = 0.972
            CPU/machine TIME (seconds)     = 1.040
    total makespan           = 6
9,3,12
            Wall clock TIME (seconds)      = 1.866
            CPU/machine TIME (seconds)     = 1.900
    total makespan           = 7
9,3,45
            Wall clock TIME (seconds)      = 2.646
            CPU/machine TIME (seconds)     = 2.680
    total makespan           = 8
9,3,78
            Wall clock TIME (seconds)      = 11.686
            CPU/machine TIME (seconds)     = 11.800
    total makespan           = 10
9,3,8546
            Wall clock TIME (seconds)      = 70.350
            CPU/machine TIME (seconds)     = 70.470
    total makespan           = 0
9,3,474
            Wall clock TIME (seconds)      = 1.044
            CPU/machine TIME (seconds)     = 1.130
    total makespan           = 7
9,3,188
            Wall clock TIME (seconds)      = 10.746
            CPU/machine TIME (seconds)     = 10.860
    total makespan           = 9
9,3,7899
            Wall clock TIME (seconds)      = 81.059
            CPU/machine TIME (seconds)     = 81.180
    total makespan           = 0
9,3,9
            Wall clock TIME (seconds)      = 4.491
            CPU/machine TIME (seconds)     = 4.590
    total makespan           = 8
9,3,774
            Wall clock TIME (seconds)      = 1.949
            CPU/machine TIME (seconds)     = 2.050
    total makespan           = 8
10,3,3455
            Wall clock TIME (seconds)      = 1.951
            CPU/machine TIME (seconds)     = 2.000
    total makespan           = 7
10,3,12
            Wall clock TIME (seconds)      = 2.068
            CPU/machine TIME (seconds)     = 2.160
    total makespan           = 7
10,3,45
            Wall clock TIME (seconds)      = 66.965
            CPU/machine TIME (seconds)     = 67.010
    total makespan           = 0
10,3,78
            Wall clock TIME (seconds)      = 2.227
            CPU/machine TIME (seconds)     = 2.250
    total makespan           = 8
10,3,8546
            Wall clock TIME (seconds)      = 10.070
            CPU/machine TIME (seconds)     = 10.180
    total makespan           = 10
10,3,474
            Wall clock TIME (seconds)      = 1.469
            CPU/machine TIME (seconds)     = 1.490
    total makespan           = 7
10,3,188
            Wall clock TIME (seconds)      = 6.694
            CPU/machine TIME (seconds)     = 6.740
    total makespan           = 9
10,3,7899
            Wall clock TIME (seconds)      = 97.361
            CPU/machine TIME (seconds)     = 97.420
    total makespan           = 11
10,3,9
            Wall clock TIME (seconds)      = 7.779
            CPU/machine TIME (seconds)     = 7.830
    total makespan           = 9
10,3,774
            Wall clock TIME (seconds)      = 9.712
            CPU/machine TIME (seconds)     = 9.810
    total makespan           = 9
11,3,3455
            Wall clock TIME (seconds)      = 119.252
            CPU/machine TIME (seconds)     = 119.300
    total makespan           = 0
11,3,12
            Wall clock TIME (seconds)      = 5.859
            CPU/machine TIME (seconds)     = 5.950
    total makespan           = 8
11,3,45
            Wall clock TIME (seconds)      = 0.737
            CPU/machine TIME (seconds)     = 0.820
    total makespan           = 6
11,3,78
            Wall clock TIME (seconds)      = 7.587
            CPU/machine TIME (seconds)     = 7.720
    total makespan           = 9
11,3,8546
            Wall clock TIME (seconds)      = 52.205
            CPU/machine TIME (seconds)     = 52.320
    total makespan           = 10
11,3,474
            Wall clock TIME (seconds)      = 104.774
            CPU/machine TIME (seconds)     = 104.930
    total makespan           = 0
11,3,188
            Wall clock TIME (seconds)      = 7.164
            CPU/machine TIME (seconds)     = 7.270
    total makespan           = 9
11,3,7899
            Wall clock TIME (seconds)      = 42.550
            CPU/machine TIME (seconds)     = 42.650
    total makespan           = 10
11,3,9
            Wall clock TIME (seconds)      = 66.374
            CPU/machine TIME (seconds)     = 66.450
    total makespan           = 0
11,3,774
            Wall clock TIME (seconds)      = 9.662
            CPU/machine TIME (seconds)     = 9.710
    total makespan           = 8
12,3,3455
            Wall clock TIME (seconds)      = 116.701
            CPU/machine TIME (seconds)     = 116.820
    total makespan           = 0
12,3,12
            Wall clock TIME (seconds)      = 7.624
            CPU/machine TIME (seconds)     = 7.680
    total makespan           = 9
12,3,45
            Wall clock TIME (seconds)      = 8.974
            CPU/machine TIME (seconds)     = 9.000
    total makespan           = 9
12,3,78
            Wall clock TIME (seconds)      = 10.682
            CPU/machine TIME (seconds)     = 10.780
    total makespan           = 9
12,3,8546
            Wall clock TIME (seconds)      = 21.032
            CPU/machine TIME (seconds)     = 21.160
    total makespan           = 10
12,3,474
            Wall clock TIME (seconds)      = 32.741
            CPU/machine TIME (seconds)     = 32.880
    total makespan           = 10
12,3,188
            Wall clock TIME (seconds)      = 75.856
            CPU/machine TIME (seconds)     = 75.970
    total makespan           = 0
12,3,7899
            Wall clock TIME (seconds)      = 4.396
            CPU/machine TIME (seconds)     = 4.450
    total makespan           = 8
12,3,9
            Wall clock TIME (seconds)      = 28.612
            CPU/machine TIME (seconds)     = 28.720
    total makespan           = 9
12,3,774
            Wall clock TIME (seconds)      = 34.119
            CPU/machine TIME (seconds)     = 34.230
    total makespan           = 9
13,3,3455
            Wall clock TIME (seconds)      = 85.799
            CPU/machine TIME (seconds)     = 85.910
    total makespan           = 0
13,3,12
            Wall clock TIME (seconds)      = 16.050
            CPU/machine TIME (seconds)     = 16.150
    total makespan           = 9
13,3,45
            Wall clock TIME (seconds)      = 15.687
            CPU/machine TIME (seconds)     = 15.780
    total makespan           = 9
13,3,78
            Wall clock TIME (seconds)      = 1.800
            CPU/machine TIME (seconds)     = 1.890
    total makespan           = 7
13,3,8546
            Wall clock TIME (seconds)      = 7.247
            CPU/machine TIME (seconds)     = 7.350
    total makespan           = 8
13,3,474
            Wall clock TIME (seconds)      = 7.033
            CPU/machine TIME (seconds)     = 7.120
    total makespan           = 8
13,3,188
            Wall clock TIME (seconds)      = 73.633
            CPU/machine TIME (seconds)     = 73.740
    total makespan           = 0
13,3,7899
            Wall clock TIME (seconds)      = 3.828
            CPU/machine TIME (seconds)     = 3.850
    total makespan           = 7
13,3,9
            Wall clock TIME (seconds)      = 50.027
            CPU/machine TIME (seconds)     = 50.120
    total makespan           = 11
13,3,774
            Wall clock TIME (seconds)      = 100.526
            CPU/machine TIME (seconds)     = 100.640
    total makespan           = 0
14,3,3455
            Wall clock TIME (seconds)      = 69.245
            CPU/machine TIME (seconds)     = 69.360
    total makespan           = 0
14,3,12
            Wall clock TIME (seconds)      = 61.955
            CPU/machine TIME (seconds)     = 62.060
    total makespan           = 9
14,3,45
            Wall clock TIME (seconds)      = 92.426
            CPU/machine TIME (seconds)     = 92.520
    total makespan           = 0
14,3,78
            Wall clock TIME (seconds)      = 93.044
            CPU/machine TIME (seconds)     = 93.190
    total makespan           = 0
14,3,8546
            Wall clock TIME (seconds)      = 64.867
            CPU/machine TIME (seconds)     = 64.930
    total makespan           = 9
14,3,474
            Wall clock TIME (seconds)      = 119.545
            CPU/machine TIME (seconds)     = 119.650
    total makespan           = 0
14,3,188
            Wall clock TIME (seconds)      = 24.000
            CPU/machine TIME (seconds)     = 24.120
    total makespan           = 11
14,3,7899
            Wall clock TIME (seconds)      = 14.340
            CPU/machine TIME (seconds)     = 14.430
    total makespan           = 8
14,3,9
            Wall clock TIME (seconds)      = 4.070
            CPU/machine TIME (seconds)     = 4.100
    total makespan           = 8
14,3,774
            Wall clock TIME (seconds)      = 69.317
            CPU/machine TIME (seconds)     = 69.450
    total makespan           = 0
15,3,3455
            Wall clock TIME (seconds)      = 141.848
            CPU/machine TIME (seconds)     = 141.900
    total makespan           = 0
15,3,12
            Wall clock TIME (seconds)      = 94.637
            CPU/machine TIME (seconds)     = 94.740
    total makespan           = 0
15,3,45
            Wall clock TIME (seconds)      = 60.976
            CPU/machine TIME (seconds)     = 61.010
    total makespan           = 0
15,3,78
            Wall clock TIME (seconds)      = 46.313
            CPU/machine TIME (seconds)     = 46.320
    total makespan           = 9
15,3,8546
            Wall clock TIME (seconds)      = 74.510
            CPU/machine TIME (seconds)     = 74.610
    total makespan           = 0
15,3,474
            Wall clock TIME (seconds)      = 17.868
            CPU/machine TIME (seconds)     = 17.870
    total makespan           = 9
15,3,188
            Wall clock TIME (seconds)      = 66.025
            CPU/machine TIME (seconds)     = 66.070
    total makespan           = 0
15,3,7899
            Wall clock TIME (seconds)      = 31.029
            CPU/machine TIME (seconds)     = 31.040
    total makespan           = 8
15,3,9
            Wall clock TIME (seconds)      = 94.392
            CPU/machine TIME (seconds)     = 94.500
    total makespan           = 0
15,3,774
            Wall clock TIME (seconds)      = 81.335
            CPU/machine TIME (seconds)     = 81.430
    total makespan           = 0
16,3,3455
            Wall clock TIME (seconds)      = 100.807
            CPU/machine TIME (seconds)     = 100.900
    total makespan           = 0
16,3,12
            Wall clock TIME (seconds)      = 36.915
            CPU/machine TIME (seconds)     = 37.020
    total makespan           = 9
16,3,45
            Wall clock TIME (seconds)      = 80.679
            CPU/machine TIME (seconds)     = 80.770
    total makespan           = 0
16,3,78
            Wall clock TIME (seconds)      = 68.858
            CPU/machine TIME (seconds)     = 68.980
    total makespan           = 0
16,3,8546
            Wall clock TIME (seconds)      = 84.417
            CPU/machine TIME (seconds)     = 84.500
    total makespan           = 0
16,3,474
            Wall clock TIME (seconds)      = 31.120
            CPU/machine TIME (seconds)     = 31.200
    total makespan           = 9
16,3,188
            Wall clock TIME (seconds)      = 77.779
            CPU/machine TIME (seconds)     = 77.880
    total makespan           = 0
16,3,7899
            Wall clock TIME (seconds)      = 2.861
            CPU/machine TIME (seconds)     = 2.920
    total makespan           = 6
16,3,9
            Wall clock TIME (seconds)      = 6.707
            CPU/machine TIME (seconds)     = 6.770
    total makespan           = 8
16,3,774
            Wall clock TIME (seconds)      = 87.942
            CPU/machine TIME (seconds)     = 88.050
    total makespan           = 9
17,3,3455
            Wall clock TIME (seconds)      = 77.796
            CPU/machine TIME (seconds)     = 77.860
    total makespan           = 0
17,3,12
            Wall clock TIME (seconds)      = 81.545
            CPU/machine TIME (seconds)     = 81.610
    total makespan           = 0
17,3,45
            Wall clock TIME (seconds)      = 99.166
            CPU/machine TIME (seconds)     = 99.240
    total makespan           = 0
17,3,78
            Wall clock TIME (seconds)      = 76.239
            CPU/machine TIME (seconds)     = 76.280
    total makespan           = 0
17,3,8546
            Wall clock TIME (seconds)      = 62.398
            CPU/machine TIME (seconds)     = 62.420
    total makespan           = 0
17,3,474
            Wall clock TIME (seconds)      = 46.257
            CPU/machine TIME (seconds)     = 46.310
    total makespan           = 9
17,3,188
            Wall clock TIME (seconds)      = 68.606
            CPU/machine TIME (seconds)     = 68.730
    total makespan           = 0
17,3,7899
            Wall clock TIME (seconds)      = 30.885
            CPU/machine TIME (seconds)     = 30.970
    total makespan           = 7
17,3,9
            Wall clock TIME (seconds)      = 56.937
            CPU/machine TIME (seconds)     = 57.020
    total makespan           = 8
17,3,774
            Wall clock TIME (seconds)      = 78.134
            CPU/machine TIME (seconds)     = 78.170
    total makespan           = 0
18,3,3455
            Wall clock TIME (seconds)      = 72.558
            CPU/machine TIME (seconds)     = 72.670
    total makespan           = 0
18,3,12
            Wall clock TIME (seconds)      = 101.966
            CPU/machine TIME (seconds)     = 101.990
    total makespan           = 0
18,3,45
            Wall clock TIME (seconds)      = 70.027
            CPU/machine TIME (seconds)     = 70.120
    total makespan           = 0
18,3,78
            Wall clock TIME (seconds)      = 65.716
            CPU/machine TIME (seconds)     = 65.750
    total makespan           = 0
18,3,8546
            Wall clock TIME (seconds)      = 69.220
            CPU/machine TIME (seconds)     = 69.310
    total makespan           = 0
18,3,474
            Wall clock TIME (seconds)      = 89.502
            CPU/machine TIME (seconds)     = 89.610
    total makespan           = 0
18,3,188
            Wall clock TIME (seconds)      = 71.137
            CPU/machine TIME (seconds)     = 71.150
    total makespan           = 0
18,3,7899
            Wall clock TIME (seconds)      = 64.999
            CPU/machine TIME (seconds)     = 65.090
    total makespan           = 0
18,3,9
            Wall clock TIME (seconds)      = 67.165
            CPU/machine TIME (seconds)     = 67.270
    total makespan           = 0
18,3,774
            Wall clock TIME (seconds)      = 93.986
            CPU/machine TIME (seconds)     = 94.110
    total makespan           = 0
19,3,3455
19,3,12
19,3,45
19,3,78
19,3,8546
19,3,474
19,3,188
19,3,7899
19,3,9
19,3,774
20,3,3455
20,3,12
20,3,45
20,3,78
20,3,8546
20,3,474
20,3,188
20,3,7899
20,3,9
20,3,774
21,3,3455
21,3,12
21,3,45
21,3,78
21,3,8546
21,3,474
21,3,188
21,3,7899
21,3,9
21,3,774
22,3,3455
22,3,12
22,3,45
22,3,78
22,3,8546
22,3,474
22,3,188
22,3,7899
22,3,9
22,3,774
23,3,3455
23,3,12
23,3,45
23,3,78
23,3,8546
23,3,474
23,3,188
23,3,7899
23,3,9
23,3,774
1,4,3455
            Wall clock TIME (seconds)      = 0.013
            CPU/machine TIME (seconds)     = 0.030
    total makespan           = 1
1,4,12
            Wall clock TIME (seconds)      = 0.056
            CPU/machine TIME (seconds)     = 0.070
    total makespan           = 3
1,4,45
            Wall clock TIME (seconds)      = 0.235
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 6
1,4,78
            Wall clock TIME (seconds)      = 0.144
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 5
1,4,8546
            Wall clock TIME (seconds)      = 0.681
            CPU/machine TIME (seconds)     = 0.700
    total makespan           = 8
1,4,474
            Wall clock TIME (seconds)      = 0.032
            CPU/machine TIME (seconds)     = 0.040
    total makespan           = 2
1,4,188
            Wall clock TIME (seconds)      = 0.429
            CPU/machine TIME (seconds)     = 0.460
    total makespan           = 8
1,4,7899
            Wall clock TIME (seconds)      = 0.111
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
1,4,9
            Wall clock TIME (seconds)      = 0.408
            CPU/machine TIME (seconds)     = 0.440
    total makespan           = 7
1,4,774
            Wall clock TIME (seconds)      = 0.056
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 3
2,4,3455
            Wall clock TIME (seconds)      = 0.115
            CPU/machine TIME (seconds)     = 0.130
    total makespan           = 4
2,4,12
            Wall clock TIME (seconds)      = 0.199
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
2,4,45
            Wall clock TIME (seconds)      = 0.189
            CPU/machine TIME (seconds)     = 0.210
    total makespan           = 5
2,4,78
            Wall clock TIME (seconds)      = 0.229
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 5
2,4,8546
            Wall clock TIME (seconds)      = 0.044
            CPU/machine TIME (seconds)     = 0.060
    total makespan           = 2
2,4,474
            Wall clock TIME (seconds)      = 0.461
            CPU/machine TIME (seconds)     = 0.480
    total makespan           = 7
2,4,188
            Wall clock TIME (seconds)      = 0.696
            CPU/machine TIME (seconds)     = 0.720
    total makespan           = 9
2,4,7899
            Wall clock TIME (seconds)      = 0.245
            CPU/machine TIME (seconds)     = 0.270
    total makespan           = 5
2,4,9
            Wall clock TIME (seconds)      = 0.182
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
2,4,774
            Wall clock TIME (seconds)      = 1.759
            CPU/machine TIME (seconds)     = 1.790
    total makespan           = 11
3,4,3455
            Wall clock TIME (seconds)      = 0.185
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 5
3,4,12
            Wall clock TIME (seconds)      = 87.637
            CPU/machine TIME (seconds)     = 87.660
    total makespan           = 0
3,4,45
            Wall clock TIME (seconds)      = 0.066
            CPU/machine TIME (seconds)     = 0.100
    total makespan           = 3
3,4,78
            Wall clock TIME (seconds)      = 0.203
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 5
3,4,8546
            Wall clock TIME (seconds)      = 0.083
            CPU/machine TIME (seconds)     = 0.090
    total makespan           = 3
3,4,474
            Wall clock TIME (seconds)      = 0.296
            CPU/machine TIME (seconds)     = 0.330
    total makespan           = 5
3,4,188
            Wall clock TIME (seconds)      = 6.938
            CPU/machine TIME (seconds)     = 7.020
    total makespan           = 11
3,4,7899
            Wall clock TIME (seconds)      = 0.236
            CPU/machine TIME (seconds)     = 0.250
    total makespan           = 5
3,4,9
            Wall clock TIME (seconds)      = 0.579
            CPU/machine TIME (seconds)     = 0.640
    total makespan           = 7
3,4,774
            Wall clock TIME (seconds)      = 0.147
            CPU/machine TIME (seconds)     = 0.170
    total makespan           = 4
4,4,3455
            Wall clock TIME (seconds)      = 1.352
            CPU/machine TIME (seconds)     = 1.410
    total makespan           = 7
4,4,12
            Wall clock TIME (seconds)      = 0.470
            CPU/machine TIME (seconds)     = 0.540
    total makespan           = 6
4,4,45
            Wall clock TIME (seconds)      = 1.038
            CPU/machine TIME (seconds)     = 1.120
    total makespan           = 9
4,4,78
            Wall clock TIME (seconds)      = 0.297
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 5
4,4,8546
            Wall clock TIME (seconds)      = 0.765
            CPU/machine TIME (seconds)     = 0.780
    total makespan           = 6
4,4,474
            Wall clock TIME (seconds)      = 0.358
            CPU/machine TIME (seconds)     = 0.390
    total makespan           = 6
4,4,188
            Wall clock TIME (seconds)      = 3.131
            CPU/machine TIME (seconds)     = 3.170
    total makespan           = 10
4,4,7899
            Wall clock TIME (seconds)      = 0.050
            CPU/machine TIME (seconds)     = 0.080
    total makespan           = 2
4,4,9
            Wall clock TIME (seconds)      = 1.232
            CPU/machine TIME (seconds)     = 1.340
    total makespan           = 8
4,4,774
            Wall clock TIME (seconds)      = 0.149
            CPU/machine TIME (seconds)     = 0.200
    total makespan           = 4
5,4,3455
            Wall clock TIME (seconds)      = 0.575
            CPU/machine TIME (seconds)     = 0.640
    total makespan           = 6
5,4,12
            Wall clock TIME (seconds)      = 3.612
            CPU/machine TIME (seconds)     = 3.720
    total makespan           = 9
5,4,45
            Wall clock TIME (seconds)      = 0.892
            CPU/machine TIME (seconds)     = 0.970
    total makespan           = 7
5,4,78
            Wall clock TIME (seconds)      = 3.316
            CPU/machine TIME (seconds)     = 3.340
    total makespan           = 9
5,4,8546
            Wall clock TIME (seconds)      = 2.165
            CPU/machine TIME (seconds)     = 2.010
    total makespan           = 8
5,4,474
            Wall clock TIME (seconds)      = 2.641
            CPU/machine TIME (seconds)     = 1.990
    total makespan           = 8
5,4,188
            Wall clock TIME (seconds)      = 0.451
            CPU/machine TIME (seconds)     = 0.320
    total makespan           = 5
5,4,7899
            Wall clock TIME (seconds)      = 2.000
            CPU/machine TIME (seconds)     = 1.400
    total makespan           = 7
5,4,9
            Wall clock TIME (seconds)      = 0.305
            CPU/machine TIME (seconds)     = 0.350
    total makespan           = 5
5,4,774
            Wall clock TIME (seconds)      = 0.189
            CPU/machine TIME (seconds)     = 0.230
    total makespan           = 4
6,4,3455
            Wall clock TIME (seconds)      = 9.876
            CPU/machine TIME (seconds)     = 8.970
    total makespan           = 11
6,4,12
            Wall clock TIME (seconds)      = 1.629
            CPU/machine TIME (seconds)     = 1.300
    total makespan           = 8
6,4,45
            Wall clock TIME (seconds)      = 1.161
            CPU/machine TIME (seconds)     = 1.130
    total makespan           = 8
6,4,78
            Wall clock TIME (seconds)      = 0.341
            CPU/machine TIME (seconds)     = 0.380
    total makespan           = 5
6,4,8546
            Wall clock TIME (seconds)      = 1.186
            CPU/machine TIME (seconds)     = 1.220
    total makespan           = 8
6,4,474
            Wall clock TIME (seconds)      = 0.471
            CPU/machine TIME (seconds)     = 0.340
    total makespan           = 5
6,4,188
            Wall clock TIME (seconds)      = 0.979
            CPU/machine TIME (seconds)     = 0.860
    total makespan           = 7
6,4,7899
            Wall clock TIME (seconds)      = 1.156
            CPU/machine TIME (seconds)     = 1.200
    total makespan           = 7
6,4,9
            Wall clock TIME (seconds)      = 3.162
            CPU/machine TIME (seconds)     = 3.070
    total makespan           = 8
6,4,774
            Wall clock TIME (seconds)      = 0.324
            CPU/machine TIME (seconds)     = 0.260
    total makespan           = 4
7,4,3455
            Wall clock TIME (seconds)      = 2.076
            CPU/machine TIME (seconds)     = 1.520
    total makespan           = 8
7,4,12
            Wall clock TIME (seconds)      = 1.452
            CPU/machine TIME (seconds)     = 1.470
    total makespan           = 7
7,4,45
            Wall clock TIME (seconds)      = 0.536
            CPU/machine TIME (seconds)     = 0.590
    total makespan           = 6
7,4,78
            Wall clock TIME (seconds)      = 0.963
            CPU/machine TIME (seconds)     = 1.040
    total makespan           = 7
7,4,8546
            Wall clock TIME (seconds)      = 20.343
            CPU/machine TIME (seconds)     = 17.390
    total makespan           = 10
7,4,474
            Wall clock TIME (seconds)      = 2.304
            CPU/machine TIME (seconds)     = 2.020
    total makespan           = 7
7,4,188
            Wall clock TIME (seconds)      = 33.395
            CPU/machine TIME (seconds)     = 28.490
    total makespan           = 12
7,4,7899
            Wall clock TIME (seconds)      = 1.335
            CPU/machine TIME (seconds)     = 1.390
    total makespan           = 8
7,4,9
            Wall clock TIME (seconds)      = 5.543
            CPU/machine TIME (seconds)     = 4.910
    total makespan           = 9
7,4,774
            Wall clock TIME (seconds)      = 2.384
            CPU/machine TIME (seconds)     = 2.060
    total makespan           = 8
8,4,3455
            Wall clock TIME (seconds)      = 7.210
            CPU/machine TIME (seconds)     = 5.530
    total makespan           = 9
8,4,12
            Wall clock TIME (seconds)      = 1.116
            CPU/machine TIME (seconds)     = 0.610
    total makespan           = 5
8,4,45
            Wall clock TIME (seconds)      = 5.376
            CPU/machine TIME (seconds)     = 3.830
    total makespan           = 9
8,4,78
            Wall clock TIME (seconds)      = 2.638
            CPU/machine TIME (seconds)     = 2.400
    total makespan           = 8
8,4,8546
            Wall clock TIME (seconds)      = 1.462
            CPU/machine TIME (seconds)     = 1.530
    total makespan           = 8
8,4,474
            Wall clock TIME (seconds)      = 6.897
            CPU/machine TIME (seconds)     = 5.430
    total makespan           = 9
8,4,188
            Wall clock TIME (seconds)      = 13.958
            CPU/machine TIME (seconds)     = 12.210
    total makespan           = 10
8,4,7899
            Wall clock TIME (seconds)      = 0.954
            CPU/machine TIME (seconds)     = 0.690
    total makespan           = 5
8,4,9
            Wall clock TIME (seconds)      = 5.842
            CPU/machine TIME (seconds)     = 4.800
    total makespan           = 9
8,4,774
            Wall clock TIME (seconds)      = 5.016
            CPU/machine TIME (seconds)     = 4.140
    total makespan           = 8
9,4,3455
            Wall clock TIME (seconds)      = 0.769
            CPU/machine TIME (seconds)     = 0.460
    total makespan           = 5
9,4,12
            Wall clock TIME (seconds)      = 1.476
            CPU/machine TIME (seconds)     = 1.070
    total makespan           = 6
9,4,45
            Wall clock TIME (seconds)      = 124.786
            CPU/machine TIME (seconds)     = 110.330
    total makespan           = 0
9,4,78
            Wall clock TIME (seconds)      = 3.598
            CPU/machine TIME (seconds)     = 2.880
    total makespan           = 8
9,4,8546
            Wall clock TIME (seconds)      = 2.700
            CPU/machine TIME (seconds)     = 2.210
    total makespan           = 8
9,4,474
            Wall clock TIME (seconds)      = 18.800
            CPU/machine TIME (seconds)     = 15.320
    total makespan           = 11
9,4,188
            Wall clock TIME (seconds)      = 138.014
            CPU/machine TIME (seconds)     = 114.020
    total makespan           = 0
9,4,7899
            Wall clock TIME (seconds)      = 3.899
            CPU/machine TIME (seconds)     = 2.310
    total makespan           = 8
9,4,9
            Wall clock TIME (seconds)      = 8.884
            CPU/machine TIME (seconds)     = 8.110
    total makespan           = 10
9,4,774
            Wall clock TIME (seconds)      = 4.199
            CPU/machine TIME (seconds)     = 3.690
    total makespan           = 8
10,4,3455
            Wall clock TIME (seconds)      = 2.340
            CPU/machine TIME (seconds)     = 2.190
    total makespan           = 7
10,4,12
            Wall clock TIME (seconds)      = 2.111
            CPU/machine TIME (seconds)     = 1.560
    total makespan           = 7
10,4,45
            Wall clock TIME (seconds)      = 18.271
            CPU/machine TIME (seconds)     = 18.260
    total makespan           = 10
10,4,78
            Wall clock TIME (seconds)      = 1.181
            CPU/machine TIME (seconds)     = 0.830
    total makespan           = 6
10,4,8546
            Wall clock TIME (seconds)      = 5.261
            CPU/machine TIME (seconds)     = 4.890
    total makespan           = 9
10,4,474
            Wall clock TIME (seconds)      = 2.911
            CPU/machine TIME (seconds)     = 1.550
    total makespan           = 6
10,4,188
            Wall clock TIME (seconds)      = 64.037
            CPU/machine TIME (seconds)     = 57.630
    total makespan           = 10
10,4,7899
            Wall clock TIME (seconds)      = 18.677
            CPU/machine TIME (seconds)     = 15.380
    total makespan           = 9
10,4,9
            Wall clock TIME (seconds)      = 35.618
            CPU/machine TIME (seconds)     = 24.440
    total makespan           = 10
10,4,774
            Wall clock TIME (seconds)      = 5.907
            CPU/machine TIME (seconds)     = 4.990
    total makespan           = 9
11,4,3455
            Wall clock TIME (seconds)      = 40.021
            CPU/machine TIME (seconds)     = 37.880
    total makespan           = 12
11,4,12
            Wall clock TIME (seconds)      = 1.970
            CPU/machine TIME (seconds)     = 2.050
    total makespan           = 7
11,4,45
            Wall clock TIME (seconds)      = 128.497
            CPU/machine TIME (seconds)     = 114.370
    total makespan           = 0
11,4,78
            Wall clock TIME (seconds)      = 0.481
            CPU/machine TIME (seconds)     = 0.510
    total makespan           = 5
11,4,8546
            Wall clock TIME (seconds)      = 19.152
            CPU/machine TIME (seconds)     = 16.900
    total makespan           = 10
11,4,474
            Wall clock TIME (seconds)      = 139.671
            CPU/machine TIME (seconds)     = 125.850
    total makespan           = 13
11,4,188
            Wall clock TIME (seconds)      = 85.805
            CPU/machine TIME (seconds)     = 85.840
    total makespan           = 12
11,4,7899
            Wall clock TIME (seconds)      = 2.511
            CPU/machine TIME (seconds)     = 2.590
    total makespan           = 8
11,4,9
            Wall clock TIME (seconds)      = 0.783
            CPU/machine TIME (seconds)     = 0.600
    total makespan           = 5
11,4,774
            Wall clock TIME (seconds)      = 7.693
            CPU/machine TIME (seconds)     = 7.420
    total makespan           = 9
12,4,3455
            Wall clock TIME (seconds)      = 137.393
            CPU/machine TIME (seconds)     = 126.380
    total makespan           = 0
12,4,12
            Wall clock TIME (seconds)      = 1.579
            CPU/machine TIME (seconds)     = 1.260
    total makespan           = 6
12,4,45
            Wall clock TIME (seconds)      = 70.094
            CPU/machine TIME (seconds)     = 62.180
    total makespan           = 0
12,4,78
            Wall clock TIME (seconds)      = 80.021
            CPU/machine TIME (seconds)     = 73.900
    total makespan           = 12
12,4,8546
            Wall clock TIME (seconds)      = 106.626
            CPU/machine TIME (seconds)     = 99.570
    total makespan           = 0
12,4,474
            Wall clock TIME (seconds)      = 13.612
            CPU/machine TIME (seconds)     = 10.270
    total makespan           = 9
12,4,188
            Wall clock TIME (seconds)      = 28.495
            CPU/machine TIME (seconds)     = 24.550
    total makespan           = 9
12,4,7899
            Wall clock TIME (seconds)      = 15.556
            CPU/machine TIME (seconds)     = 13.060
    total makespan           = 9
12,4,9
            Wall clock TIME (seconds)      = 19.520
            CPU/machine TIME (seconds)     = 17.930
    total makespan           = 8
12,4,774
            Wall clock TIME (seconds)      = 91.381
            CPU/machine TIME (seconds)     = 79.060
    total makespan           = 11
13,4,3455
            Wall clock TIME (seconds)      = 112.767
            CPU/machine TIME (seconds)     = 90.430
    total makespan           = 0
13,4,12
            Wall clock TIME (seconds)      = 89.014
            CPU/machine TIME (seconds)     = 73.320
    total makespan           = 0
13,4,45
            Wall clock TIME (seconds)      = 82.234
            CPU/machine TIME (seconds)     = 73.840
    total makespan           = 0
13,4,78
            Wall clock TIME (seconds)      = 79.966
            CPU/machine TIME (seconds)     = 69.290
    total makespan           = 0
13,4,8546
            Wall clock TIME (seconds)      = 82.230
            CPU/machine TIME (seconds)     = 77.500
    total makespan           = 0
13,4,474
            Wall clock TIME (seconds)      = 0.541
            CPU/machine TIME (seconds)     = 0.590
    total makespan           = 5
13,4,188
            Wall clock TIME (seconds)      = 7.434
            CPU/machine TIME (seconds)     = 6.030
    total makespan           = 8
13,4,7899
            Wall clock TIME (seconds)      = 86.165
            CPU/machine TIME (seconds)     = 65.240
    total makespan           = 0
13,4,9
            Wall clock TIME (seconds)      = 12.755
            CPU/machine TIME (seconds)     = 9.260
    total makespan           = 8
13,4,774
            Wall clock TIME (seconds)      = 20.705
            CPU/machine TIME (seconds)     = 15.900
    total makespan           = 9
14,4,3455
            Wall clock TIME (seconds)      = 41.247
            CPU/machine TIME (seconds)     = 32.780
    total makespan           = 8
14,4,12
            Wall clock TIME (seconds)      = 72.491
            CPU/machine TIME (seconds)     = 70.300
    total makespan           = 9
14,4,45
            Wall clock TIME (seconds)      = 49.738
            CPU/machine TIME (seconds)     = 40.600
    total makespan           = 10
14,4,78
            Wall clock TIME (seconds)      = 123.713
            CPU/machine TIME (seconds)     = 104.650
    total makespan           = 0
14,4,8546
            Wall clock TIME (seconds)      = 76.397
            CPU/machine TIME (seconds)     = 63.150
    total makespan           = 0
14,4,474
            Wall clock TIME (seconds)      = 15.316
            CPU/machine TIME (seconds)     = 14.110
    total makespan           = 8
14,4,188
            Wall clock TIME (seconds)      = 71.465
            CPU/machine TIME (seconds)     = 64.030
    total makespan           = 0
14,4,7899
            Wall clock TIME (seconds)      = 37.613
            CPU/machine TIME (seconds)     = 30.830
    total makespan           = 9
14,4,9
            Wall clock TIME (seconds)      = 18.262
            CPU/machine TIME (seconds)     = 15.830
    total makespan           = 7
14,4,774
            Wall clock TIME (seconds)      = 11.302
            CPU/machine TIME (seconds)     = 8.740
    total makespan           = 8
15,4,3455
            Wall clock TIME (seconds)      = 92.740
            CPU/machine TIME (seconds)     = 79.490
    total makespan           = 0
15,4,12
            Wall clock TIME (seconds)      = 62.301
            CPU/machine TIME (seconds)     = 56.520
    total makespan           = 9
15,4,45
            Wall clock TIME (seconds)      = 74.845
            CPU/machine TIME (seconds)     = 62.820
    total makespan           = 0
15,4,78
            Wall clock TIME (seconds)      = 23.266
            CPU/machine TIME (seconds)     = 16.930
    total makespan           = 8
15,4,8546
            Wall clock TIME (seconds)      = 54.568
            CPU/machine TIME (seconds)     = 48.330
    total makespan           = 9
15,4,474
            Wall clock TIME (seconds)      = 123.865
            CPU/machine TIME (seconds)     = 106.330
    total makespan           = 0
15,4,188
            Wall clock TIME (seconds)      = 71.557
            CPU/machine TIME (seconds)     = 68.780
    total makespan           = 0
15,4,7899
            Wall clock TIME (seconds)      = 80.396
            CPU/machine TIME (seconds)     = 68.600
    total makespan           = 0
15,4,9
            Wall clock TIME (seconds)      = 72.945
            CPU/machine TIME (seconds)     = 73.040
    total makespan           = 0
15,4,774
            Wall clock TIME (seconds)      = 6.538
            CPU/machine TIME (seconds)     = 6.380
    total makespan           = 9
16,4,3455
            Wall clock TIME (seconds)      = 41.860
            CPU/machine TIME (seconds)     = 35.680
    total makespan           = 9
16,4,12
            Wall clock TIME (seconds)      = 36.412
            CPU/machine TIME (seconds)     = 29.260
    total makespan           = 8
16,4,45
            Wall clock TIME (seconds)      = 80.644
            CPU/machine TIME (seconds)     = 79.160
    total makespan           = 0
16,4,78
            Wall clock TIME (seconds)      = 105.697
            CPU/machine TIME (seconds)     = 95.120
    total makespan           = 0
16,4,8546
            Wall clock TIME (seconds)      = 43.856
            CPU/machine TIME (seconds)     = 40.170
    total makespan           = 9
16,4,474
            Wall clock TIME (seconds)      = 91.568
            CPU/machine TIME (seconds)     = 91.480
    total makespan           = 0
16,4,188
            Wall clock TIME (seconds)      = 87.675
            CPU/machine TIME (seconds)     = 86.030
    total makespan           = 0
16,4,7899
            Wall clock TIME (seconds)      = 6.609
            CPU/machine TIME (seconds)     = 4.160
    total makespan           = 7
16,4,9
            Wall clock TIME (seconds)      = 83.964
            CPU/machine TIME (seconds)     = 77.600
    total makespan           = 0
16,4,774
            Wall clock TIME (seconds)      = 41.440
            CPU/machine TIME (seconds)     = 35.710
    total makespan           = 9
17,4,3455
            Wall clock TIME (seconds)      = 122.840
            CPU/machine TIME (seconds)     = 112.330
    total makespan           = 0
17,4,12
            Wall clock TIME (seconds)      = 77.205
            CPU/machine TIME (seconds)     = 67.480
    total makespan           = 9
17,4,45
            Wall clock TIME (seconds)      = 99.355
            CPU/machine TIME (seconds)     = 84.130
    total makespan           = 0
17,4,78
            Wall clock TIME (seconds)      = 77.757
            CPU/machine TIME (seconds)     = 65.840
    total makespan           = 0
17,4,8546
            Wall clock TIME (seconds)      = 48.594
            CPU/machine TIME (seconds)     = 40.470
    total makespan           = 9
17,4,474
            Wall clock TIME (seconds)      = 95.901
            CPU/machine TIME (seconds)     = 86.410
    total makespan           = 0
17,4,188
            Wall clock TIME (seconds)      = 80.764
            CPU/machine TIME (seconds)     = 68.960
    total makespan           = 0
17,4,7899
            Wall clock TIME (seconds)      = 95.329
            CPU/machine TIME (seconds)     = 82.700
    total makespan           = 0
17,4,9
            Wall clock TIME (seconds)      = 79.096
            CPU/machine TIME (seconds)     = 67.440
    total makespan           = 0
17,4,774
            Wall clock TIME (seconds)      = 74.107
            CPU/machine TIME (seconds)     = 70.740
    total makespan           = 10
18,4,3455
            Wall clock TIME (seconds)      = 89.072
            CPU/machine TIME (seconds)     = 89.200
    total makespan           = 0
18,4,12
            Wall clock TIME (seconds)      = 65.757
            CPU/machine TIME (seconds)     = 65.850
    total makespan           = 0
18,4,45
            Wall clock TIME (seconds)      = 65.617
            CPU/machine TIME (seconds)     = 65.720
    total makespan           = 0
18,4,78
            Wall clock TIME (seconds)      = 79.438
            CPU/machine TIME (seconds)     = 79.570
    total makespan           = 0
18,4,8546
            Wall clock TIME (seconds)      = 75.587
            CPU/machine TIME (seconds)     = 75.710
    total makespan           = 0
18,4,474
            Wall clock TIME (seconds)      = 19.814
            CPU/machine TIME (seconds)     = 19.930
    total makespan           = 8
18,4,188
            Wall clock TIME (seconds)      = 91.517
            CPU/machine TIME (seconds)     = 91.650
    total makespan           = 0
18,4,7899
            Wall clock TIME (seconds)      = 42.221
            CPU/machine TIME (seconds)     = 42.300
    total makespan           = 8
18,4,9
            Wall clock TIME (seconds)      = 69.547
            CPU/machine TIME (seconds)     = 69.620
    total makespan           = 0
18,4,774
            Wall clock TIME (seconds)      = 83.716
            CPU/machine TIME (seconds)     = 83.810
    total makespan           = 0
19,4,3455
            Wall clock TIME (seconds)      = 61.636
            CPU/machine TIME (seconds)     = 61.730
    total makespan           = 0
19,4,12
            Wall clock TIME (seconds)      = 64.425
            CPU/machine TIME (seconds)     = 64.550
    total makespan           = 0
19,4,45
            Wall clock TIME (seconds)      = 66.338
            CPU/machine TIME (seconds)     = 66.440
    total makespan           = 0
19,4,78
            Wall clock TIME (seconds)      = 82.918
            CPU/machine TIME (seconds)     = 83.040
    total makespan           = 0
19,4,8546
            Wall clock TIME (seconds)      = 68.593
            CPU/machine TIME (seconds)     = 68.680
    total makespan           = 0
19,4,474
            Wall clock TIME (seconds)      = 72.065
            CPU/machine TIME (seconds)     = 72.190
    total makespan           = 0
19,4,188
            Wall clock TIME (seconds)      = 61.695
            CPU/machine TIME (seconds)     = 61.790
    total makespan           = 0
19,4,7899
            Wall clock TIME (seconds)      = 111.057
            CPU/machine TIME (seconds)     = 111.170
    total makespan           = 0
19,4,9
            Wall clock TIME (seconds)      = 62.866
            CPU/machine TIME (seconds)     = 62.950
    total makespan           = 0
19,4,774
            Wall clock TIME (seconds)      = 66.394
            CPU/machine TIME (seconds)     = 66.510
    total makespan           = 0
20,4,3455
            Wall clock TIME (seconds)      = 104.436
            CPU/machine TIME (seconds)     = 104.530
    total makespan           = 0
20,4,12
            Wall clock TIME (seconds)      = 90.106
            CPU/machine TIME (seconds)     = 90.160
    total makespan           = 0
20,4,45
            Wall clock TIME (seconds)      = 63.227
            CPU/machine TIME (seconds)     = 63.340
    total makespan           = 0
20,4,78
            Wall clock TIME (seconds)      = 63.147
            CPU/machine TIME (seconds)     = 63.200
    total makespan           = 0
20,4,8546
            Wall clock TIME (seconds)      = 85.989
            CPU/machine TIME (seconds)     = 86.120
    total makespan           = 0
20,4,474
            Wall clock TIME (seconds)      = 62.402
            CPU/machine TIME (seconds)     = 62.460
    total makespan           = 0
20,4,188
            Wall clock TIME (seconds)      = 63.546
            CPU/machine TIME (seconds)     = 63.690
    total makespan           = 0
20,4,7899
            Wall clock TIME (seconds)      = 67.878
            CPU/machine TIME (seconds)     = 67.990
    total makespan           = 0
20,4,9
            Wall clock TIME (seconds)      = 62.076
            CPU/machine TIME (seconds)     = 62.160
    total makespan           = 0
20,4,774
            Wall clock TIME (seconds)      = 89.067
            CPU/machine TIME (seconds)     = 89.180
    total makespan           = 0
21,4,3455
            Wall clock TIME (seconds)      = 67.446
            CPU/machine TIME (seconds)     = 67.560
    total makespan           = 0
21,4,12
            Wall clock TIME (seconds)      = 125.196
            CPU/machine TIME (seconds)     = 125.320
    total makespan           = 0
21,4,45
            Wall clock TIME (seconds)      = 64.286
            CPU/machine TIME (seconds)     = 64.410
    total makespan           = 0
21,4,78
            Wall clock TIME (seconds)      = 67.326
            CPU/machine TIME (seconds)     = 67.440
    total makespan           = 0
21,4,8546
            Wall clock TIME (seconds)      = 70.085
            CPU/machine TIME (seconds)     = 70.210
    total makespan           = 0
21,4,474
            Wall clock TIME (seconds)      = 71.410
            CPU/machine TIME (seconds)     = 71.500
    total makespan           = 0
21,4,188
            Wall clock TIME (seconds)      = 65.766
            CPU/machine TIME (seconds)     = 65.810
    total makespan           = 0
21,4,7899
            Wall clock TIME (seconds)      = 76.635
            CPU/machine TIME (seconds)     = 76.720
    total makespan           = 0
21,4,9
            Wall clock TIME (seconds)      = 87.395
            CPU/machine TIME (seconds)     = 87.380
    total makespan           = 0
21,4,774
            Wall clock TIME (seconds)      = 74.770
            CPU/machine TIME (seconds)     = 74.810
    total makespan           = 0
22,4,3455
            Wall clock TIME (seconds)      = 99.583
            CPU/machine TIME (seconds)     = 99.660
    total makespan           = 0
22,4,12
            Wall clock TIME (seconds)      = 70.309
            CPU/machine TIME (seconds)     = 70.350
    total makespan           = 0
22,4,45
            Wall clock TIME (seconds)      = 70.724
            CPU/machine TIME (seconds)     = 70.740
    total makespan           = 0
22,4,78
            Wall clock TIME (seconds)      = 90.768
            CPU/machine TIME (seconds)     = 90.850
    total makespan           = 0
22,4,8546
            Wall clock TIME (seconds)      = 138.417
            CPU/machine TIME (seconds)     = 138.540
    total makespan           = 0
22,4,474
            Wall clock TIME (seconds)      = 63.098
            CPU/machine TIME (seconds)     = 63.200
    total makespan           = 0
22,4,188
            Wall clock TIME (seconds)      = 61.354
            CPU/machine TIME (seconds)     = 61.480
    total makespan           = 0
22,4,7899
            Wall clock TIME (seconds)      = 68.985
            CPU/machine TIME (seconds)     = 69.090
    total makespan           = 0
22,4,9
            Wall clock TIME (seconds)      = 72.528
            CPU/machine TIME (seconds)     = 72.590
    total makespan           = 0
22,4,774
            Wall clock TIME (seconds)      = 77.305
            CPU/machine TIME (seconds)     = 77.400
    total makespan           = 0
23,4,3455
            Wall clock TIME (seconds)      = 62.309
            CPU/machine TIME (seconds)     = 62.410
    total makespan           = 0
23,4,12
            Wall clock TIME (seconds)      = 65.997
            CPU/machine TIME (seconds)     = 66.110
    total makespan           = 0
23,4,45
            Wall clock TIME (seconds)      = 60.845
            CPU/machine TIME (seconds)     = 60.940
    total makespan           = 0
23,4,78
            Wall clock TIME (seconds)      = 93.173
            CPU/machine TIME (seconds)     = 93.280
    total makespan           = 0
23,4,8546
            Wall clock TIME (seconds)      = 77.200
            CPU/machine TIME (seconds)     = 77.230
    total makespan           = 0
23,4,474
            Wall clock TIME (seconds)      = 69.145
            CPU/machine TIME (seconds)     = 69.220
    total makespan           = 0
23,4,188
            Wall clock TIME (seconds)      = 64.736
            CPU/machine TIME (seconds)     = 64.850
    total makespan           = 0
23,4,7899
            Wall clock TIME (seconds)      = 64.385
            CPU/machine TIME (seconds)     = 64.430
    total makespan           = 0
23,4,9
            Wall clock TIME (seconds)      = 65.797
            CPU/machine TIME (seconds)     = 65.870
    total makespan           = 0
23,4,774
            Wall clock TIME (seconds)      = 76.378
            CPU/machine TIME (seconds)     = 76.470
    total makespan           = 0