1,1,3455 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,1,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,1,45 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.010 total makespan = 5 1,1,78 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,1,8546 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 total makespan = 3 1,1,474 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,1,188 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 total makespan = 1 1,1,7899 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 total makespan = 0 1,1,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 total makespan = 1 1,1,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,1,3455 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.050 total makespan = 6 2,1,12 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.050 total makespan = 5 2,1,45 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.040 total makespan = 6 2,1,78 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.020 total makespan = 4 2,1,8546 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.020 total makespan = 4 2,1,474 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.080 total makespan = 6 2,1,188 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,1,7899 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,1,9 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,1,774 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.010 total makespan = 3 3,1,3455 Wall clock TIME (seconds) = 0.142 CPU/machine TIME (seconds) = 0.090 total makespan = 7 3,1,12 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.040 total makespan = 4 3,1,45 Wall clock TIME (seconds) = 0.198 CPU/machine TIME (seconds) = 0.160 total makespan = 8 3,1,78 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,1,8546 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.130 total makespan = 6 3,1,474 Wall clock TIME (seconds) = 0.129 CPU/machine TIME (seconds) = 0.090 total makespan = 5 3,1,188 Wall clock TIME (seconds) = 0.151 CPU/machine TIME (seconds) = 0.120 total makespan = 6 3,1,7899 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.080 total makespan = 5 3,1,9 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,1,774 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.010 total makespan = 2 4,1,3455 Wall clock TIME (seconds) = 0.208 CPU/machine TIME (seconds) = 0.170 total makespan = 7 4,1,12 Wall clock TIME (seconds) = 0.141 CPU/machine TIME (seconds) = 0.120 total makespan = 5 4,1,45 Wall clock TIME (seconds) = 0.141 CPU/machine TIME (seconds) = 0.120 total makespan = 6 4,1,78 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.130 total makespan = 6 4,1,8546 Wall clock TIME (seconds) = 0.296 CPU/machine TIME (seconds) = 0.260 total makespan = 7 4,1,474 Wall clock TIME (seconds) = 0.218 CPU/machine TIME (seconds) = 0.180 total makespan = 6 4,1,188 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.070 total makespan = 4 4,1,7899 Wall clock TIME (seconds) = 0.142 CPU/machine TIME (seconds) = 0.110 total makespan = 5 4,1,9 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.080 total makespan = 5 4,1,774 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.110 total makespan = 5 5,1,3455 Wall clock TIME (seconds) = 0.352 CPU/machine TIME (seconds) = 0.310 total makespan = 8 5,1,12 Wall clock TIME (seconds) = 0.118 CPU/machine TIME (seconds) = 0.090 total makespan = 4 5,1,45 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.090 total makespan = 5 5,1,78 Wall clock TIME (seconds) = 0.288 CPU/machine TIME (seconds) = 0.250 total makespan = 7 5,1,8546 Wall clock TIME (seconds) = 0.258 CPU/machine TIME (seconds) = 0.210 total makespan = 6 5,1,474 Wall clock TIME (seconds) = 0.187 CPU/machine TIME (seconds) = 0.160 total makespan = 5 5,1,188 Wall clock TIME (seconds) = 0.184 CPU/machine TIME (seconds) = 0.150 total makespan = 5 5,1,7899 Wall clock TIME (seconds) = 0.266 CPU/machine TIME (seconds) = 0.240 total makespan = 6 5,1,9 Wall clock TIME (seconds) = 0.145 CPU/machine TIME (seconds) = 0.110 total makespan = 5 5,1,774 Wall clock TIME (seconds) = 0.416 CPU/machine TIME (seconds) = 0.380 total makespan = 7 6,1,3455 Wall clock TIME (seconds) = 0.336 CPU/machine TIME (seconds) = 0.300 total makespan = 7 6,1,12 Wall clock TIME (seconds) = 0.305 CPU/machine TIME (seconds) = 0.270 total makespan = 6 6,1,45 Wall clock TIME (seconds) = 0.567 CPU/machine TIME (seconds) = 0.530 total makespan = 8 6,1,78 Wall clock TIME (seconds) = 0.356 CPU/machine TIME (seconds) = 0.320 total makespan = 7 6,1,8546 Wall clock TIME (seconds) = 0.448 CPU/machine TIME (seconds) = 0.420 total makespan = 7 6,1,474 Wall clock TIME (seconds) = 0.245 CPU/machine TIME (seconds) = 0.220 total makespan = 5 6,1,188 Wall clock TIME (seconds) = 0.745 CPU/machine TIME (seconds) = 0.700 total makespan = 8 6,1,7899 Wall clock TIME (seconds) = 0.396 CPU/machine TIME (seconds) = 0.370 total makespan = 6 6,1,9 Wall clock TIME (seconds) = 0.278 CPU/machine TIME (seconds) = 0.240 total makespan = 6 6,1,774 Wall clock TIME (seconds) = 0.329 CPU/machine TIME (seconds) = 0.300 total makespan = 6 7,1,3455 Wall clock TIME (seconds) = 0.934 CPU/machine TIME (seconds) = 0.880 total makespan = 9 7,1,12 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.160 total makespan = 4 7,1,45 Wall clock TIME (seconds) = 0.320 CPU/machine TIME (seconds) = 0.290 total makespan = 6 7,1,78 Wall clock TIME (seconds) = 0.423 CPU/machine TIME (seconds) = 0.390 total makespan = 7 7,1,8546 Wall clock TIME (seconds) = 0.722 CPU/machine TIME (seconds) = 0.690 total makespan = 8 7,1,474 Wall clock TIME (seconds) = 0.312 CPU/machine TIME (seconds) = 0.270 total makespan = 5 7,1,188 Wall clock TIME (seconds) = 0.614 CPU/machine TIME (seconds) = 0.590 total makespan = 7 7,1,7899 Wall clock TIME (seconds) = 0.807 CPU/machine TIME (seconds) = 0.760 total makespan = 8 7,1,9 Wall clock TIME (seconds) = 0.565 CPU/machine TIME (seconds) = 0.530 total makespan = 8 7,1,774 Wall clock TIME (seconds) = 0.808 CPU/machine TIME (seconds) = 0.770 total makespan = 8 8,1,3455 Wall clock TIME (seconds) = 1.221 CPU/machine TIME (seconds) = 1.180 total makespan = 9 8,1,12 Wall clock TIME (seconds) = 0.786 CPU/machine TIME (seconds) = 0.750 total makespan = 7 8,1,45 Wall clock TIME (seconds) = 1.509 CPU/machine TIME (seconds) = 1.470 total makespan = 10 8,1,78 Wall clock TIME (seconds) = 0.678 CPU/machine TIME (seconds) = 0.640 total makespan = 8 8,1,8546 Wall clock TIME (seconds) = 1.983 CPU/machine TIME (seconds) = 1.930 total makespan = 10 8,1,474 Wall clock TIME (seconds) = 0.480 CPU/machine TIME (seconds) = 0.440 total makespan = 6 8,1,188 Wall clock TIME (seconds) = 0.883 CPU/machine TIME (seconds) = 0.840 total makespan = 8 8,1,7899 Wall clock TIME (seconds) = 0.900 CPU/machine TIME (seconds) = 0.870 total makespan = 7 8,1,9 Wall clock TIME (seconds) = 1.365 CPU/machine TIME (seconds) = 1.320 total makespan = 10 8,1,774 Wall clock TIME (seconds) = 0.460 CPU/machine TIME (seconds) = 0.420 total makespan = 6 9,1,3455 Wall clock TIME (seconds) = 0.541 CPU/machine TIME (seconds) = 0.510 total makespan = 7 9,1,12 Wall clock TIME (seconds) = 1.250 CPU/machine TIME (seconds) = 1.210 total makespan = 8 9,1,45 Wall clock TIME (seconds) = 1.876 CPU/machine TIME (seconds) = 1.830 total makespan = 9 9,1,78 Wall clock TIME (seconds) = 1.182 CPU/machine TIME (seconds) = 1.140 total makespan = 8 9,1,8546 Wall clock TIME (seconds) = 0.797 CPU/machine TIME (seconds) = 0.760 total makespan = 7 9,1,474 Wall clock TIME (seconds) = 0.748 CPU/machine TIME (seconds) = 0.710 total makespan = 6 9,1,188 Wall clock TIME (seconds) = 0.850 CPU/machine TIME (seconds) = 0.820 total makespan = 7 9,1,7899 Wall clock TIME (seconds) = 0.647 CPU/machine TIME (seconds) = 0.630 total makespan = 6 9,1,9 Wall clock TIME (seconds) = 3.047 CPU/machine TIME (seconds) = 3.000 total makespan = 11 9,1,774 Wall clock TIME (seconds) = 1.180 CPU/machine TIME (seconds) = 1.130 total makespan = 8 10,1,3455 Wall clock TIME (seconds) = 2.992 CPU/machine TIME (seconds) = 2.960 total makespan = 10 10,1,12 Wall clock TIME (seconds) = 2.974 CPU/machine TIME (seconds) = 2.930 total makespan = 9 10,1,45 Wall clock TIME (seconds) = 1.836 CPU/machine TIME (seconds) = 1.800 total makespan = 9 10,1,78 Wall clock TIME (seconds) = 2.871 CPU/machine TIME (seconds) = 2.840 total makespan = 9 10,1,8546 Wall clock TIME (seconds) = 2.822 CPU/machine TIME (seconds) = 2.790 total makespan = 9 10,1,474 Wall clock TIME (seconds) = 2.850 CPU/machine TIME (seconds) = 2.810 total makespan = 8 10,1,188 Wall clock TIME (seconds) = 2.573 CPU/machine TIME (seconds) = 2.520 total makespan = 8 10,1,7899 Wall clock TIME (seconds) = 1.372 CPU/machine TIME (seconds) = 1.330 total makespan = 8 10,1,9 Wall clock TIME (seconds) = 6.785 CPU/machine TIME (seconds) = 6.740 total makespan = 12 10,1,774 Wall clock TIME (seconds) = 1.573 CPU/machine TIME (seconds) = 1.540 total makespan = 8 11,1,3455 Wall clock TIME (seconds) = 2.659 CPU/machine TIME (seconds) = 2.610 total makespan = 9 11,1,12 Wall clock TIME (seconds) = 2.635 CPU/machine TIME (seconds) = 2.600 total makespan = 9 11,1,45 Wall clock TIME (seconds) = 4.788 CPU/machine TIME (seconds) = 4.740 total makespan = 10 11,1,78 Wall clock TIME (seconds) = 1.742 CPU/machine TIME (seconds) = 1.710 total makespan = 9 11,1,8546 Wall clock TIME (seconds) = 1.104 CPU/machine TIME (seconds) = 1.060 total makespan = 7 11,1,474 Wall clock TIME (seconds) = 2.999 CPU/machine TIME (seconds) = 2.950 total makespan = 9 11,1,188 Wall clock TIME (seconds) = 2.215 CPU/machine TIME (seconds) = 2.180 total makespan = 8 11,1,7899 Wall clock TIME (seconds) = 1.456 CPU/machine TIME (seconds) = 1.420 total makespan = 7 11,1,9 Wall clock TIME (seconds) = 4.235 CPU/machine TIME (seconds) = 4.190 total makespan = 10 11,1,774 Wall clock TIME (seconds) = 1.339 CPU/machine TIME (seconds) = 1.300 total makespan = 7 12,1,3455 Wall clock TIME (seconds) = 2.595 CPU/machine TIME (seconds) = 2.560 total makespan = 9 12,1,12 Wall clock TIME (seconds) = 1.829 CPU/machine TIME (seconds) = 1.780 total makespan = 7 12,1,45 Wall clock TIME (seconds) = 4.898 CPU/machine TIME (seconds) = 4.850 total makespan = 10 12,1,78 Wall clock TIME (seconds) = 1.181 CPU/machine TIME (seconds) = 1.150 total makespan = 7 12,1,8546 Wall clock TIME (seconds) = 3.253 CPU/machine TIME (seconds) = 3.220 total makespan = 8 12,1,474 Wall clock TIME (seconds) = 2.540 CPU/machine TIME (seconds) = 2.510 total makespan = 8 12,1,188 Wall clock TIME (seconds) = 4.060 CPU/machine TIME (seconds) = 4.030 total makespan = 8 12,1,7899 Wall clock TIME (seconds) = 4.378 CPU/machine TIME (seconds) = 4.340 total makespan = 9 12,1,9 Wall clock TIME (seconds) = 15.145 CPU/machine TIME (seconds) = 15.080 total makespan = 12 12,1,774 Wall clock TIME (seconds) = 0.855 CPU/machine TIME (seconds) = 0.830 total makespan = 6 13,1,3455 Wall clock TIME (seconds) = 5.298 CPU/machine TIME (seconds) = 5.260 total makespan = 10 13,1,12 Wall clock TIME (seconds) = 3.440 CPU/machine TIME (seconds) = 3.400 total makespan = 8 13,1,45 Wall clock TIME (seconds) = 17.271 CPU/machine TIME (seconds) = 17.230 total makespan = 10 13,1,78 Wall clock TIME (seconds) = 2.305 CPU/machine TIME (seconds) = 2.270 total makespan = 8 13,1,8546 Wall clock TIME (seconds) = 5.398 CPU/machine TIME (seconds) = 5.350 total makespan = 8 13,1,474 Wall clock TIME (seconds) = 2.069 CPU/machine TIME (seconds) = 2.030 total makespan = 7 13,1,188 Wall clock TIME (seconds) = 10.226 CPU/machine TIME (seconds) = 10.190 total makespan = 9 13,1,7899 Wall clock TIME (seconds) = 5.343 CPU/machine TIME (seconds) = 5.310 total makespan = 8 13,1,9 Wall clock TIME (seconds) = 15.875 CPU/machine TIME (seconds) = 15.840 total makespan = 12 13,1,774 Wall clock TIME (seconds) = 8.196 CPU/machine TIME (seconds) = 8.150 total makespan = 9 14,1,3455 Wall clock TIME (seconds) = 47.934 CPU/machine TIME (seconds) = 47.880 total makespan = 12 14,1,12 Wall clock TIME (seconds) = 8.961 CPU/machine TIME (seconds) = 8.900 total makespan = 9 14,1,45 Wall clock TIME (seconds) = 132.291 CPU/machine TIME (seconds) = 132.240 total makespan = 0 14,1,78 Wall clock TIME (seconds) = 6.469 CPU/machine TIME (seconds) = 6.420 total makespan = 8 14,1,8546 Wall clock TIME (seconds) = 12.394 CPU/machine TIME (seconds) = 12.350 total makespan = 9 14,1,474 Wall clock TIME (seconds) = 2.929 CPU/machine TIME (seconds) = 2.890 total makespan = 7 14,1,188 Wall clock TIME (seconds) = 12.866 CPU/machine TIME (seconds) = 12.820 total makespan = 9 14,1,7899 Wall clock TIME (seconds) = 4.894 CPU/machine TIME (seconds) = 4.860 total makespan = 8 14,1,9 Wall clock TIME (seconds) = 55.356 CPU/machine TIME (seconds) = 55.300 total makespan = 14 14,1,774 Wall clock TIME (seconds) = 3.134 CPU/machine TIME (seconds) = 3.090 total makespan = 7 15,1,3455 Wall clock TIME (seconds) = 66.489 CPU/machine TIME (seconds) = 66.440 total makespan = 12 15,1,12 Wall clock TIME (seconds) = 10.572 CPU/machine TIME (seconds) = 10.530 total makespan = 9 15,1,45 Wall clock TIME (seconds) = 112.728 CPU/machine TIME (seconds) = 112.660 total makespan = 0 15,1,78 Wall clock TIME (seconds) = 7.164 CPU/machine TIME (seconds) = 7.120 total makespan = 8 15,1,8546 Wall clock TIME (seconds) = 56.991 CPU/machine TIME (seconds) = 56.940 total makespan = 9 15,1,474 Wall clock TIME (seconds) = 16.318 CPU/machine TIME (seconds) = 16.260 total makespan = 10 15,1,188 Wall clock TIME (seconds) = 75.915 CPU/machine TIME (seconds) = 75.850 total makespan = 0 15,1,7899 Wall clock TIME (seconds) = 38.705 CPU/machine TIME (seconds) = 38.660 total makespan = 9 15,1,9 Wall clock TIME (seconds) = 99.837 CPU/machine TIME (seconds) = 99.770 total makespan = 0 15,1,774 Wall clock TIME (seconds) = 17.284 CPU/machine TIME (seconds) = 17.230 total makespan = 10 1,2,3455 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,2,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 total makespan = 0 1,2,45 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,2,78 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,2,8546 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,2,474 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,2,188 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 total makespan = 1 1,2,7899 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 total makespan = 0 1,2,9 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,2,774 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,2,3455 Wall clock TIME (seconds) = 0.130 CPU/machine TIME (seconds) = 0.090 total makespan = 8 2,2,12 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.040 total makespan = 5 2,2,45 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.060 total makespan = 7 2,2,78 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 total makespan = 1 2,2,8546 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,2,474 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.010 total makespan = 3 2,2,188 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.020 total makespan = 4 2,2,7899 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.070 total makespan = 6 2,2,9 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.030 total makespan = 5 2,2,774 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.030 total makespan = 4 3,2,3455 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.050 total makespan = 5 3,2,12 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.050 total makespan = 4 3,2,45 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.090 total makespan = 6 3,2,78 Wall clock TIME (seconds) = 0.092 CPU/machine TIME (seconds) = 0.060 total makespan = 5 3,2,8546 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,2,474 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,2,188 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.060 total makespan = 4 3,2,7899 Wall clock TIME (seconds) = 0.202 CPU/machine TIME (seconds) = 0.170 total makespan = 7 3,2,9 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.030 total makespan = 4 3,2,774 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.000 total makespan = 2 4,2,3455 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.020 total makespan = 3 4,2,12 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.060 total makespan = 4 4,2,45 Wall clock TIME (seconds) = 0.135 CPU/machine TIME (seconds) = 0.110 total makespan = 6 4,2,78 Wall clock TIME (seconds) = 0.214 CPU/machine TIME (seconds) = 0.180 total makespan = 7 4,2,8546 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.070 total makespan = 4 4,2,474 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.080 total makespan = 4 4,2,188 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.120 total makespan = 5 4,2,7899 Wall clock TIME (seconds) = 0.257 CPU/machine TIME (seconds) = 0.220 total makespan = 7 4,2,9 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.070 total makespan = 5 4,2,774 Wall clock TIME (seconds) = 0.194 CPU/machine TIME (seconds) = 0.150 total makespan = 6 5,2,3455 Wall clock TIME (seconds) = 0.253 CPU/machine TIME (seconds) = 0.220 total makespan = 7 5,2,12 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.100 total makespan = 4 5,2,45 Wall clock TIME (seconds) = 0.131 CPU/machine TIME (seconds) = 0.110 total makespan = 5 5,2,78 Wall clock TIME (seconds) = 0.211 CPU/machine TIME (seconds) = 0.170 total makespan = 6 5,2,8546 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.060 total makespan = 3 5,2,474 Wall clock TIME (seconds) = 0.208 CPU/machine TIME (seconds) = 0.170 total makespan = 5 5,2,188 Wall clock TIME (seconds) = 0.269 CPU/machine TIME (seconds) = 0.230 total makespan = 6 5,2,7899 Wall clock TIME (seconds) = 0.276 CPU/machine TIME (seconds) = 0.230 total makespan = 6 5,2,9 Wall clock TIME (seconds) = 0.713 CPU/machine TIME (seconds) = 0.670 total makespan = 9 5,2,774 Wall clock TIME (seconds) = 0.494 CPU/machine TIME (seconds) = 0.450 total makespan = 8 6,2,3455 Wall clock TIME (seconds) = 0.323 CPU/machine TIME (seconds) = 0.270 total makespan = 7 6,2,12 Wall clock TIME (seconds) = 0.305 CPU/machine TIME (seconds) = 0.280 total makespan = 6 6,2,45 Wall clock TIME (seconds) = 3.467 CPU/machine TIME (seconds) = 3.380 total makespan = 0 6,2,78 Wall clock TIME (seconds) = 0.494 CPU/machine TIME (seconds) = 0.450 total makespan = 8 6,2,8546 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.140 total makespan = 4 6,2,474 Wall clock TIME (seconds) = 0.487 CPU/machine TIME (seconds) = 0.450 total makespan = 7 6,2,188 Wall clock TIME (seconds) = 0.252 CPU/machine TIME (seconds) = 0.220 total makespan = 5 6,2,7899 Wall clock TIME (seconds) = 0.238 CPU/machine TIME (seconds) = 0.210 total makespan = 5 6,2,9 Wall clock TIME (seconds) = 0.274 CPU/machine TIME (seconds) = 0.250 total makespan = 6 6,2,774 Wall clock TIME (seconds) = 0.336 CPU/machine TIME (seconds) = 0.310 total makespan = 6 7,2,3455 Wall clock TIME (seconds) = 0.309 CPU/machine TIME (seconds) = 0.270 total makespan = 6 7,2,12 Wall clock TIME (seconds) = 0.285 CPU/machine TIME (seconds) = 0.250 total makespan = 5 7,2,45 Wall clock TIME (seconds) = 3.339 CPU/machine TIME (seconds) = 3.240 total makespan = 0 7,2,78 Wall clock TIME (seconds) = 0.225 CPU/machine TIME (seconds) = 0.200 total makespan = 5 7,2,8546 Wall clock TIME (seconds) = 0.396 CPU/machine TIME (seconds) = 0.360 total makespan = 6 7,2,474 Wall clock TIME (seconds) = 4.606 CPU/machine TIME (seconds) = 4.510 total makespan = 0 7,2,188 Wall clock TIME (seconds) = 0.408 CPU/machine TIME (seconds) = 0.370 total makespan = 6 7,2,7899 Wall clock TIME (seconds) = 0.304 CPU/machine TIME (seconds) = 0.280 total makespan = 5 7,2,9 Wall clock TIME (seconds) = 1.222 CPU/machine TIME (seconds) = 1.180 total makespan = 9 7,2,774 Wall clock TIME (seconds) = 4.115 CPU/machine TIME (seconds) = 4.030 total makespan = 0 8,2,3455 Wall clock TIME (seconds) = 0.272 CPU/machine TIME (seconds) = 0.240 total makespan = 5 8,2,12 Wall clock TIME (seconds) = 0.216 CPU/machine TIME (seconds) = 0.190 total makespan = 4 8,2,45 Wall clock TIME (seconds) = 3.819 CPU/machine TIME (seconds) = 3.740 total makespan = 0 8,2,78 Wall clock TIME (seconds) = 0.538 CPU/machine TIME (seconds) = 0.510 total makespan = 7 8,2,8546 Wall clock TIME (seconds) = 0.556 CPU/machine TIME (seconds) = 0.520 total makespan = 6 8,2,474 Wall clock TIME (seconds) = 0.930 CPU/machine TIME (seconds) = 0.890 total makespan = 7 8,2,188 Wall clock TIME (seconds) = 0.670 CPU/machine TIME (seconds) = 0.630 total makespan = 7 8,2,7899 Wall clock TIME (seconds) = 0.368 CPU/machine TIME (seconds) = 0.340 total makespan = 5 8,2,9 Wall clock TIME (seconds) = 1.597 CPU/machine TIME (seconds) = 1.560 total makespan = 9 8,2,774 Wall clock TIME (seconds) = 0.652 CPU/machine TIME (seconds) = 0.620 total makespan = 7 9,2,3455 Wall clock TIME (seconds) = 1.074 CPU/machine TIME (seconds) = 1.040 total makespan = 8 9,2,12 Wall clock TIME (seconds) = 1.098 CPU/machine TIME (seconds) = 1.060 total makespan = 7 9,2,45 Wall clock TIME (seconds) = 2.469 CPU/machine TIME (seconds) = 2.430 total makespan = 9 9,2,78 Wall clock TIME (seconds) = 4.482 CPU/machine TIME (seconds) = 4.390 total makespan = 0 9,2,8546 Wall clock TIME (seconds) = 0.833 CPU/machine TIME (seconds) = 0.790 total makespan = 6 9,2,474 Wall clock TIME (seconds) = 7.185 CPU/machine TIME (seconds) = 7.070 total makespan = 0 9,2,188 Wall clock TIME (seconds) = 1.235 CPU/machine TIME (seconds) = 1.210 total makespan = 8 9,2,7899 Wall clock TIME (seconds) = 1.589 CPU/machine TIME (seconds) = 1.550 total makespan = 8 9,2,9 Wall clock TIME (seconds) = 2.521 CPU/machine TIME (seconds) = 2.470 total makespan = 10 9,2,774 Wall clock TIME (seconds) = 5.619 CPU/machine TIME (seconds) = 5.530 total makespan = 0 10,2,3455 Wall clock TIME (seconds) = 2.629 CPU/machine TIME (seconds) = 2.590 total makespan = 10 10,2,12 Wall clock TIME (seconds) = 0.541 CPU/machine TIME (seconds) = 0.510 total makespan = 5 10,2,45 Wall clock TIME (seconds) = 5.310 CPU/machine TIME (seconds) = 5.220 total makespan = 0 10,2,78 Wall clock TIME (seconds) = 1.376 CPU/machine TIME (seconds) = 1.330 total makespan = 8 10,2,8546 Wall clock TIME (seconds) = 0.897 CPU/machine TIME (seconds) = 0.870 total makespan = 6 10,2,474 Wall clock TIME (seconds) = 1.037 CPU/machine TIME (seconds) = 0.990 total makespan = 7 10,2,188 Wall clock TIME (seconds) = 6.197 CPU/machine TIME (seconds) = 6.110 total makespan = 0 10,2,7899 Wall clock TIME (seconds) = 2.556 CPU/machine TIME (seconds) = 2.520 total makespan = 9 10,2,9 Wall clock TIME (seconds) = 9.422 CPU/machine TIME (seconds) = 9.360 total makespan = 12 10,2,774 Wall clock TIME (seconds) = 1.657 CPU/machine TIME (seconds) = 1.620 total makespan = 9 11,2,3455 Wall clock TIME (seconds) = 1.692 CPU/machine TIME (seconds) = 1.650 total makespan = 9 11,2,12 Wall clock TIME (seconds) = 2.058 CPU/machine TIME (seconds) = 2.030 total makespan = 8 11,2,45 Wall clock TIME (seconds) = 5.418 CPU/machine TIME (seconds) = 5.330 total makespan = 0 11,2,78 Wall clock TIME (seconds) = 5.959 CPU/machine TIME (seconds) = 5.870 total makespan = 0 11,2,8546 Wall clock TIME (seconds) = 0.582 CPU/machine TIME (seconds) = 0.550 total makespan = 5 11,2,474 Wall clock TIME (seconds) = 1.768 CPU/machine TIME (seconds) = 1.720 total makespan = 7 11,2,188 Wall clock TIME (seconds) = 7.964 CPU/machine TIME (seconds) = 7.880 total makespan = 0 11,2,7899 Wall clock TIME (seconds) = 1.231 CPU/machine TIME (seconds) = 1.190 total makespan = 7 11,2,9 Wall clock TIME (seconds) = 2.483 CPU/machine TIME (seconds) = 2.450 total makespan = 9 11,2,774 Wall clock TIME (seconds) = 8.282 CPU/machine TIME (seconds) = 8.200 total makespan = 0 12,2,3455 Wall clock TIME (seconds) = 5.916 CPU/machine TIME (seconds) = 5.830 total makespan = 0 12,2,12 Wall clock TIME (seconds) = 8.553 CPU/machine TIME (seconds) = 8.450 total makespan = 0 12,2,45 Wall clock TIME (seconds) = 6.211 CPU/machine TIME (seconds) = 6.130 total makespan = 0 12,2,78 Wall clock TIME (seconds) = 2.289 CPU/machine TIME (seconds) = 2.250 total makespan = 8 12,2,8546 Wall clock TIME (seconds) = 1.391 CPU/machine TIME (seconds) = 1.360 total makespan = 7 12,2,474 Wall clock TIME (seconds) = 1.223 CPU/machine TIME (seconds) = 1.180 total makespan = 7 12,2,188 Wall clock TIME (seconds) = 9.852 CPU/machine TIME (seconds) = 9.800 total makespan = 9 12,2,7899 Wall clock TIME (seconds) = 2.065 CPU/machine TIME (seconds) = 2.030 total makespan = 7 12,2,9 Wall clock TIME (seconds) = 17.938 CPU/machine TIME (seconds) = 17.890 total makespan = 12 12,2,774 Wall clock TIME (seconds) = 8.328 CPU/machine TIME (seconds) = 8.240 total makespan = 0 13,2,3455 Wall clock TIME (seconds) = 6.021 CPU/machine TIME (seconds) = 5.970 total makespan = 10 13,2,12 Wall clock TIME (seconds) = 9.040 CPU/machine TIME (seconds) = 8.960 total makespan = 0 13,2,45 Wall clock TIME (seconds) = 6.664 CPU/machine TIME (seconds) = 6.570 total makespan = 0 13,2,78 Wall clock TIME (seconds) = 3.118 CPU/machine TIME (seconds) = 3.080 total makespan = 8 13,2,8546 Wall clock TIME (seconds) = 2.251 CPU/machine TIME (seconds) = 2.210 total makespan = 7 13,2,474 Wall clock TIME (seconds) = 9.482 CPU/machine TIME (seconds) = 9.390 total makespan = 0 13,2,188 Wall clock TIME (seconds) = 8.653 CPU/machine TIME (seconds) = 8.570 total makespan = 0 13,2,7899 Wall clock TIME (seconds) = 8.795 CPU/machine TIME (seconds) = 8.710 total makespan = 0 13,2,9 Wall clock TIME (seconds) = 6.721 CPU/machine TIME (seconds) = 6.630 total makespan = 0 13,2,774 Wall clock TIME (seconds) = 8.784 CPU/machine TIME (seconds) = 8.700 total makespan = 0 14,2,3455 Wall clock TIME (seconds) = 7.245 CPU/machine TIME (seconds) = 7.150 total makespan = 0 14,2,12 Wall clock TIME (seconds) = 9.982 CPU/machine TIME (seconds) = 9.890 total makespan = 0 14,2,45 Wall clock TIME (seconds) = 7.716 CPU/machine TIME (seconds) = 7.620 total makespan = 0 14,2,78 Wall clock TIME (seconds) = 2.869 CPU/machine TIME (seconds) = 2.830 total makespan = 8 14,2,8546 Wall clock TIME (seconds) = 10.298 CPU/machine TIME (seconds) = 10.210 total makespan = 0 14,2,474 Wall clock TIME (seconds) = 10.024 CPU/machine TIME (seconds) = 9.920 total makespan = 0 14,2,188 Wall clock TIME (seconds) = 69.541 CPU/machine TIME (seconds) = 69.490 total makespan = 0 14,2,7899 Wall clock TIME (seconds) = 9.758 CPU/machine TIME (seconds) = 9.660 total makespan = 0 14,2,9 Wall clock TIME (seconds) = 7.485 CPU/machine TIME (seconds) = 7.390 total makespan = 0 14,2,774 Wall clock TIME (seconds) = 9.944 CPU/machine TIME (seconds) = 9.850 total makespan = 0 15,2,3455 Wall clock TIME (seconds) = 7.955 CPU/machine TIME (seconds) = 7.860 total makespan = 0 15,2,12 Wall clock TIME (seconds) = 10.460 CPU/machine TIME (seconds) = 10.380 total makespan = 0 15,2,45 Wall clock TIME (seconds) = 7.612 CPU/machine TIME (seconds) = 7.510 total makespan = 0 15,2,78 Wall clock TIME (seconds) = 1.685 CPU/machine TIME (seconds) = 1.650 total makespan = 7 15,2,8546 Wall clock TIME (seconds) = 10.730 CPU/machine TIME (seconds) = 10.630 total makespan = 0 15,2,474 Wall clock TIME (seconds) = 11.266 CPU/machine TIME (seconds) = 11.170 total makespan = 0 15,2,188 Wall clock TIME (seconds) = 110.404 CPU/machine TIME (seconds) = 110.360 total makespan = 0 15,2,7899 Wall clock TIME (seconds) = 71.961 CPU/machine TIME (seconds) = 71.920 total makespan = 9 15,2,9 Wall clock TIME (seconds) = 8.190 CPU/machine TIME (seconds) = 8.110 total makespan = 0 15,2,774 Wall clock TIME (seconds) = 10.723 CPU/machine TIME (seconds) = 10.630 total makespan = 0 1,3,3455 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,3,12 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,3,45 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,3,78 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,3,8546 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,3,474 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,3,188 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 total makespan = 1 1,3,7899 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 total makespan = 0 1,3,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,3,774 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,3,3455 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.100 total makespan = 8 2,3,12 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 total makespan = 2 2,3,45 Wall clock TIME (seconds) = 0.105 CPU/machine TIME (seconds) = 0.070 total makespan = 7 2,3,78 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.020 total makespan = 4 2,3,8546 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,3,474 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.010 total makespan = 3 2,3,188 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.020 total makespan = 4 2,3,7899 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.040 total makespan = 5 2,3,9 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.030 total makespan = 5 2,3,774 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 total makespan = 2 3,3,3455 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 total makespan = 2 3,3,12 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.040 total makespan = 4 3,3,45 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.070 total makespan = 6 3,3,78 Wall clock TIME (seconds) = 0.087 CPU/machine TIME (seconds) = 0.060 total makespan = 5 3,3,8546 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,3,474 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,3,188 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.010 total makespan = 2 3,3,7899 Wall clock TIME (seconds) = 0.196 CPU/machine TIME (seconds) = 0.150 total makespan = 7 3,3,9 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,3,774 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.010 total makespan = 2 4,3,3455 Wall clock TIME (seconds) = 0.254 CPU/machine TIME (seconds) = 0.220 total makespan = 8 4,3,12 Wall clock TIME (seconds) = 0.252 CPU/machine TIME (seconds) = 0.200 total makespan = 7 4,3,45 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.080 total makespan = 5 4,3,78 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.080 total makespan = 5 4,3,8546 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.110 total makespan = 5 4,3,474 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.030 total makespan = 3 4,3,188 Wall clock TIME (seconds) = 0.097 CPU/machine TIME (seconds) = 0.070 total makespan = 4 4,3,7899 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.150 total makespan = 6 4,3,9 Wall clock TIME (seconds) = 0.259 CPU/machine TIME (seconds) = 0.230 total makespan = 7 4,3,774 Wall clock TIME (seconds) = 0.203 CPU/machine TIME (seconds) = 0.180 total makespan = 6 5,3,3455 Wall clock TIME (seconds) = 0.245 CPU/machine TIME (seconds) = 0.200 total makespan = 7 5,3,12 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.080 total makespan = 4 5,3,45 Wall clock TIME (seconds) = 0.166 CPU/machine TIME (seconds) = 0.140 total makespan = 6 5,3,78 Wall clock TIME (seconds) = 0.271 CPU/machine TIME (seconds) = 0.230 total makespan = 7 5,3,8546 Wall clock TIME (seconds) = 0.180 CPU/machine TIME (seconds) = 0.150 total makespan = 5 5,3,474 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.050 total makespan = 3 5,3,188 Wall clock TIME (seconds) = 0.182 CPU/machine TIME (seconds) = 0.150 total makespan = 5 5,3,7899 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.160 total makespan = 5 5,3,9 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.120 total makespan = 5 5,3,774 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.100 total makespan = 4 6,3,3455 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.050 total makespan = 3 6,3,12 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.030 total makespan = 2 6,3,45 Wall clock TIME (seconds) = 0.217 CPU/machine TIME (seconds) = 0.190 total makespan = 6 6,3,78 Wall clock TIME (seconds) = 0.174 CPU/machine TIME (seconds) = 0.150 total makespan = 5 6,3,8546 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.130 total makespan = 4 6,3,474 Wall clock TIME (seconds) = 0.152 CPU/machine TIME (seconds) = 0.130 total makespan = 4 6,3,188 Wall clock TIME (seconds) = 0.229 CPU/machine TIME (seconds) = 0.210 total makespan = 5 6,3,7899 Wall clock TIME (seconds) = 0.253 CPU/machine TIME (seconds) = 0.220 total makespan = 5 6,3,9 Wall clock TIME (seconds) = 0.257 CPU/machine TIME (seconds) = 0.220 total makespan = 6 6,3,774 Wall clock TIME (seconds) = 0.459 CPU/machine TIME (seconds) = 0.430 total makespan = 7 7,3,3455 Wall clock TIME (seconds) = 0.469 CPU/machine TIME (seconds) = 0.430 total makespan = 7 7,3,12 Wall clock TIME (seconds) = 0.302 CPU/machine TIME (seconds) = 0.280 total makespan = 5 7,3,45 Wall clock TIME (seconds) = 0.292 CPU/machine TIME (seconds) = 0.250 total makespan = 6 7,3,78 Wall clock TIME (seconds) = 4.119 CPU/machine TIME (seconds) = 4.020 total makespan = 0 7,3,8546 Wall clock TIME (seconds) = 0.597 CPU/machine TIME (seconds) = 0.560 total makespan = 7 7,3,474 Wall clock TIME (seconds) = 0.457 CPU/machine TIME (seconds) = 0.420 total makespan = 6 7,3,188 Wall clock TIME (seconds) = 0.429 CPU/machine TIME (seconds) = 0.390 total makespan = 6 7,3,7899 Wall clock TIME (seconds) = 0.467 CPU/machine TIME (seconds) = 0.430 total makespan = 6 7,3,9 Wall clock TIME (seconds) = 0.539 CPU/machine TIME (seconds) = 0.510 total makespan = 7 7,3,774 Wall clock TIME (seconds) = 0.283 CPU/machine TIME (seconds) = 0.260 total makespan = 5 8,3,3455 Wall clock TIME (seconds) = 0.991 CPU/machine TIME (seconds) = 0.950 total makespan = 8 8,3,12 Wall clock TIME (seconds) = 0.583 CPU/machine TIME (seconds) = 0.540 total makespan = 6 8,3,45 Wall clock TIME (seconds) = 0.390 CPU/machine TIME (seconds) = 0.360 total makespan = 6 8,3,78 Wall clock TIME (seconds) = 0.887 CPU/machine TIME (seconds) = 0.840 total makespan = 8 8,3,8546 Wall clock TIME (seconds) = 0.393 CPU/machine TIME (seconds) = 0.370 total makespan = 5 8,3,474 Wall clock TIME (seconds) = 0.763 CPU/machine TIME (seconds) = 0.730 total makespan = 6 8,3,188 Wall clock TIME (seconds) = 0.420 CPU/machine TIME (seconds) = 0.390 total makespan = 5 8,3,7899 Wall clock TIME (seconds) = 0.218 CPU/machine TIME (seconds) = 0.180 total makespan = 4 8,3,9 Wall clock TIME (seconds) = 2.351 CPU/machine TIME (seconds) = 2.300 total makespan = 10 8,3,774 Wall clock TIME (seconds) = 0.953 CPU/machine TIME (seconds) = 0.920 total makespan = 7 9,3,3455 Wall clock TIME (seconds) = 2.185 CPU/machine TIME (seconds) = 2.120 total makespan = 10 9,3,12 Wall clock TIME (seconds) = 0.468 CPU/machine TIME (seconds) = 0.440 total makespan = 5 9,3,45 Wall clock TIME (seconds) = 0.326 CPU/machine TIME (seconds) = 0.280 total makespan = 5 9,3,78 Wall clock TIME (seconds) = 1.422 CPU/machine TIME (seconds) = 1.380 total makespan = 9 9,3,8546 Wall clock TIME (seconds) = 0.465 CPU/machine TIME (seconds) = 0.440 total makespan = 5 9,3,474 Wall clock TIME (seconds) = 0.670 CPU/machine TIME (seconds) = 0.640 total makespan = 6 9,3,188 Wall clock TIME (seconds) = 0.852 CPU/machine TIME (seconds) = 0.820 total makespan = 6 9,3,7899 Wall clock TIME (seconds) = 1.167 CPU/machine TIME (seconds) = 1.120 total makespan = 7 9,3,9 Wall clock TIME (seconds) = 0.604 CPU/machine TIME (seconds) = 0.560 total makespan = 6 9,3,774 Wall clock TIME (seconds) = 0.489 CPU/machine TIME (seconds) = 0.460 total makespan = 5 10,3,3455 Wall clock TIME (seconds) = 1.733 CPU/machine TIME (seconds) = 1.690 total makespan = 9 10,3,12 Wall clock TIME (seconds) = 0.300 CPU/machine TIME (seconds) = 0.270 total makespan = 4 10,3,45 Wall clock TIME (seconds) = 1.887 CPU/machine TIME (seconds) = 1.840 total makespan = 8 10,3,78 Wall clock TIME (seconds) = 1.393 CPU/machine TIME (seconds) = 1.340 total makespan = 8 10,3,8546 Wall clock TIME (seconds) = 1.667 CPU/machine TIME (seconds) = 1.620 total makespan = 7 10,3,474 Wall clock TIME (seconds) = 0.701 CPU/machine TIME (seconds) = 0.660 total makespan = 5 10,3,188 Wall clock TIME (seconds) = 1.101 CPU/machine TIME (seconds) = 1.060 total makespan = 7 10,3,7899 Wall clock TIME (seconds) = 3.209 CPU/machine TIME (seconds) = 3.170 total makespan = 8 10,3,9 Wall clock TIME (seconds) = 1.620 CPU/machine TIME (seconds) = 1.580 total makespan = 8 10,3,774 Wall clock TIME (seconds) = 0.733 CPU/machine TIME (seconds) = 0.690 total makespan = 6 11,3,3455 Wall clock TIME (seconds) = 5.391 CPU/machine TIME (seconds) = 5.280 total makespan = 0 11,3,12 Wall clock TIME (seconds) = 2.532 CPU/machine TIME (seconds) = 2.490 total makespan = 8 11,3,45 Wall clock TIME (seconds) = 1.516 CPU/machine TIME (seconds) = 1.480 total makespan = 8 11,3,78 Wall clock TIME (seconds) = 2.989 CPU/machine TIME (seconds) = 2.940 total makespan = 9 11,3,8546 Wall clock TIME (seconds) = 1.428 CPU/machine TIME (seconds) = 1.400 total makespan = 7 11,3,474 Wall clock TIME (seconds) = 0.621 CPU/machine TIME (seconds) = 0.600 total makespan = 5 11,3,188 Wall clock TIME (seconds) = 1.013 CPU/machine TIME (seconds) = 0.970 total makespan = 6 11,3,7899 Wall clock TIME (seconds) = 2.047 CPU/machine TIME (seconds) = 1.990 total makespan = 8 11,3,9 Wall clock TIME (seconds) = 1.949 CPU/machine TIME (seconds) = 1.910 total makespan = 8 11,3,774 Wall clock TIME (seconds) = 2.384 CPU/machine TIME (seconds) = 2.360 total makespan = 7 12,3,3455 Wall clock TIME (seconds) = 6.520 CPU/machine TIME (seconds) = 6.420 total makespan = 0 12,3,12 Wall clock TIME (seconds) = 3.191 CPU/machine TIME (seconds) = 3.140 total makespan = 7 12,3,45 Wall clock TIME (seconds) = 2.862 CPU/machine TIME (seconds) = 2.820 total makespan = 9 12,3,78 Wall clock TIME (seconds) = 4.138 CPU/machine TIME (seconds) = 4.090 total makespan = 8 12,3,8546 Wall clock TIME (seconds) = 1.219 CPU/machine TIME (seconds) = 1.190 total makespan = 6 12,3,474 Wall clock TIME (seconds) = 2.115 CPU/machine TIME (seconds) = 2.080 total makespan = 7 12,3,188 Wall clock TIME (seconds) = 2.328 CPU/machine TIME (seconds) = 2.280 total makespan = 7 12,3,7899 Wall clock TIME (seconds) = 2.911 CPU/machine TIME (seconds) = 2.870 total makespan = 7 12,3,9 Wall clock TIME (seconds) = 1.486 CPU/machine TIME (seconds) = 1.450 total makespan = 7 12,3,774 Wall clock TIME (seconds) = 4.373 CPU/machine TIME (seconds) = 4.330 total makespan = 10 13,3,3455 Wall clock TIME (seconds) = 44.214 CPU/machine TIME (seconds) = 44.160 total makespan = 12 13,3,12 Wall clock TIME (seconds) = 6.751 CPU/machine TIME (seconds) = 6.710 total makespan = 8 13,3,45 Wall clock TIME (seconds) = 12.085 CPU/machine TIME (seconds) = 12.040 total makespan = 10 13,3,78 Wall clock TIME (seconds) = 4.963 CPU/machine TIME (seconds) = 4.910 total makespan = 9 13,3,8546 Wall clock TIME (seconds) = 2.839 CPU/machine TIME (seconds) = 2.800 total makespan = 7 13,3,474 Wall clock TIME (seconds) = 2.508 CPU/machine TIME (seconds) = 2.480 total makespan = 7 13,3,188 Wall clock TIME (seconds) = 1.381 CPU/machine TIME (seconds) = 1.350 total makespan = 6 13,3,7899 Wall clock TIME (seconds) = 10.449 CPU/machine TIME (seconds) = 10.410 total makespan = 9 13,3,9 Wall clock TIME (seconds) = 4.492 CPU/machine TIME (seconds) = 4.450 total makespan = 9 13,3,774 Wall clock TIME (seconds) = 3.647 CPU/machine TIME (seconds) = 3.600 total makespan = 8 14,3,3455 Wall clock TIME (seconds) = 7.326 CPU/machine TIME (seconds) = 7.210 total makespan = 0 14,3,12 Wall clock TIME (seconds) = 1.977 CPU/machine TIME (seconds) = 1.940 total makespan = 6 14,3,45 Wall clock TIME (seconds) = 67.208 CPU/machine TIME (seconds) = 67.140 total makespan = 12 14,3,78 Wall clock TIME (seconds) = 1.201 CPU/machine TIME (seconds) = 1.160 total makespan = 6 14,3,8546 Wall clock TIME (seconds) = 11.281 CPU/machine TIME (seconds) = 11.240 total makespan = 9 14,3,474 Wall clock TIME (seconds) = 2.454 CPU/machine TIME (seconds) = 2.420 total makespan = 6 14,3,188 Wall clock TIME (seconds) = 13.665 CPU/machine TIME (seconds) = 13.630 total makespan = 8 14,3,7899 Wall clock TIME (seconds) = 9.838 CPU/machine TIME (seconds) = 9.740 total makespan = 0 14,3,9 Wall clock TIME (seconds) = 45.875 CPU/machine TIME (seconds) = 45.820 total makespan = 12 14,3,774 Wall clock TIME (seconds) = 16.863 CPU/machine TIME (seconds) = 16.810 total makespan = 9 15,3,3455 Wall clock TIME (seconds) = 71.242 CPU/machine TIME (seconds) = 71.180 total makespan = 0 15,3,12 Wall clock TIME (seconds) = 18.584 CPU/machine TIME (seconds) = 18.550 total makespan = 8 15,3,45 Wall clock TIME (seconds) = 103.609 CPU/machine TIME (seconds) = 103.560 total makespan = 0 15,3,78 Wall clock TIME (seconds) = 6.399 CPU/machine TIME (seconds) = 6.350 total makespan = 8 15,3,8546 Wall clock TIME (seconds) = 8.585 CPU/machine TIME (seconds) = 8.550 total makespan = 8 15,3,474 Wall clock TIME (seconds) = 7.226 CPU/machine TIME (seconds) = 7.190 total makespan = 7 15,3,188 Wall clock TIME (seconds) = 4.779 CPU/machine TIME (seconds) = 4.730 total makespan = 7 15,3,7899 Wall clock TIME (seconds) = 10.708 CPU/machine TIME (seconds) = 10.610 total makespan = 0 15,3,9 Wall clock TIME (seconds) = 54.318 CPU/machine TIME (seconds) = 54.260 total makespan = 11 15,3,774 Wall clock TIME (seconds) = 10.028 CPU/machine TIME (seconds) = 9.980 total makespan = 9 1,4,3455 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,4,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 total makespan = 0 1,4,45 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,4,78 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 total makespan = 3 1,4,8546 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,4,474 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,4,188 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 total makespan = 1 1,4,7899 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 total makespan = 0 1,4,9 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 total makespan = 2 1,4,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,4,3455 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.090 total makespan = 8 2,4,12 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.040 total makespan = 5 2,4,45 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.030 total makespan = 6 2,4,78 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 total makespan = 0 2,4,8546 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.000 total makespan = 2 2,4,474 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.020 total makespan = 3 2,4,188 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.020 total makespan = 4 2,4,7899 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.040 total makespan = 5 2,4,9 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.020 total makespan = 5 2,4,774 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.030 total makespan = 4 3,4,3455 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.050 total makespan = 5 3,4,12 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.070 total makespan = 5 3,4,45 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.020 total makespan = 4 3,4,78 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.030 total makespan = 4 3,4,8546 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.040 total makespan = 4 3,4,474 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.020 total makespan = 3 3,4,188 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.050 total makespan = 4 3,4,7899 Wall clock TIME (seconds) = 0.202 CPU/machine TIME (seconds) = 0.170 total makespan = 7 3,4,9 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.020 total makespan = 4 3,4,774 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.070 total makespan = 5 4,4,3455 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.020 total makespan = 3 4,4,12 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.070 total makespan = 4 4,4,45 Wall clock TIME (seconds) = 0.137 CPU/machine TIME (seconds) = 0.100 total makespan = 6 4,4,78 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.000 total makespan = 2 4,4,8546 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.040 total makespan = 3 4,4,474 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.040 total makespan = 3 4,4,188 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.060 total makespan = 4 4,4,7899 Wall clock TIME (seconds) = 0.220 CPU/machine TIME (seconds) = 0.190 total makespan = 6 4,4,9 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.050 total makespan = 4 4,4,774 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.160 total makespan = 6 5,4,3455 Wall clock TIME (seconds) = 0.266 CPU/machine TIME (seconds) = 0.220 total makespan = 7 5,4,12 Wall clock TIME (seconds) = 0.263 CPU/machine TIME (seconds) = 0.230 total makespan = 6 5,4,45 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.110 total makespan = 5 5,4,78 Wall clock TIME (seconds) = 0.446 CPU/machine TIME (seconds) = 0.410 total makespan = 9 5,4,8546 Wall clock TIME (seconds) = 0.190 CPU/machine TIME (seconds) = 0.160 total makespan = 5 5,4,474 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.090 total makespan = 4 5,4,188 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.020 total makespan = 2 5,4,7899 Wall clock TIME (seconds) = 0.120 CPU/machine TIME (seconds) = 0.100 total makespan = 4 5,4,9 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.100 total makespan = 5 5,4,774 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.080 total makespan = 4 6,4,3455 Wall clock TIME (seconds) = 0.292 CPU/machine TIME (seconds) = 0.260 total makespan = 6 6,4,12 Wall clock TIME (seconds) = 0.303 CPU/machine TIME (seconds) = 0.280 total makespan = 6 6,4,45 Wall clock TIME (seconds) = 0.336 CPU/machine TIME (seconds) = 0.300 total makespan = 7 6,4,78 Wall clock TIME (seconds) = 0.280 CPU/machine TIME (seconds) = 0.240 total makespan = 6 6,4,8546 Wall clock TIME (seconds) = 0.350 CPU/machine TIME (seconds) = 0.330 total makespan = 6 6,4,474 Wall clock TIME (seconds) = 0.237 CPU/machine TIME (seconds) = 0.200 total makespan = 5 6,4,188 Wall clock TIME (seconds) = 0.274 CPU/machine TIME (seconds) = 0.230 total makespan = 5 6,4,7899 Wall clock TIME (seconds) = 0.221 CPU/machine TIME (seconds) = 0.190 total makespan = 5 6,4,9 Wall clock TIME (seconds) = 0.168 CPU/machine TIME (seconds) = 0.150 total makespan = 5 6,4,774 Wall clock TIME (seconds) = 0.339 CPU/machine TIME (seconds) = 0.300 total makespan = 6 7,4,3455 Wall clock TIME (seconds) = 0.290 CPU/machine TIME (seconds) = 0.250 total makespan = 6 7,4,12 Wall clock TIME (seconds) = 0.181 CPU/machine TIME (seconds) = 0.160 total makespan = 4 7,4,45 Wall clock TIME (seconds) = 0.944 CPU/machine TIME (seconds) = 0.900 total makespan = 9 7,4,78 Wall clock TIME (seconds) = 0.149 CPU/machine TIME (seconds) = 0.130 total makespan = 4 7,4,8546 Wall clock TIME (seconds) = 0.788 CPU/machine TIME (seconds) = 0.750 total makespan = 7 7,4,474 Wall clock TIME (seconds) = 0.388 CPU/machine TIME (seconds) = 0.370 total makespan = 6 7,4,188 Wall clock TIME (seconds) = 0.175 CPU/machine TIME (seconds) = 0.150 total makespan = 4 7,4,7899 Wall clock TIME (seconds) = 0.277 CPU/machine TIME (seconds) = 0.240 total makespan = 5 7,4,9 Wall clock TIME (seconds) = 0.351 CPU/machine TIME (seconds) = 0.320 total makespan = 6 7,4,774 Wall clock TIME (seconds) = 0.401 CPU/machine TIME (seconds) = 0.370 total makespan = 6 8,4,3455 Wall clock TIME (seconds) = 0.496 CPU/machine TIME (seconds) = 0.460 total makespan = 7 8,4,12 Wall clock TIME (seconds) = 0.498 CPU/machine TIME (seconds) = 0.470 total makespan = 6 8,4,45 Wall clock TIME (seconds) = 0.394 CPU/machine TIME (seconds) = 0.360 total makespan = 6 8,4,78 Wall clock TIME (seconds) = 0.279 CPU/machine TIME (seconds) = 0.240 total makespan = 5 8,4,8546 Wall clock TIME (seconds) = 0.396 CPU/machine TIME (seconds) = 0.360 total makespan = 5 8,4,474 Wall clock TIME (seconds) = 0.352 CPU/machine TIME (seconds) = 0.320 total makespan = 5 8,4,188 Wall clock TIME (seconds) = 0.597 CPU/machine TIME (seconds) = 0.560 total makespan = 6 8,4,7899 Wall clock TIME (seconds) = 0.374 CPU/machine TIME (seconds) = 0.340 total makespan = 5 8,4,9 Wall clock TIME (seconds) = 0.256 CPU/machine TIME (seconds) = 0.230 total makespan = 5 8,4,774 Wall clock TIME (seconds) = 0.374 CPU/machine TIME (seconds) = 0.340 total makespan = 5 9,4,3455 Wall clock TIME (seconds) = 0.965 CPU/machine TIME (seconds) = 0.930 total makespan = 7 9,4,12 Wall clock TIME (seconds) = 0.662 CPU/machine TIME (seconds) = 0.610 total makespan = 6 9,4,45 Wall clock TIME (seconds) = 0.795 CPU/machine TIME (seconds) = 0.760 total makespan = 7 9,4,78 Wall clock TIME (seconds) = 4.467 CPU/machine TIME (seconds) = 4.380 total makespan = 0 9,4,8546 Wall clock TIME (seconds) = 0.254 CPU/machine TIME (seconds) = 0.220 total makespan = 4 9,4,474 Wall clock TIME (seconds) = 0.415 CPU/machine TIME (seconds) = 0.370 total makespan = 5 9,4,188 Wall clock TIME (seconds) = 0.269 CPU/machine TIME (seconds) = 0.240 total makespan = 4 9,4,7899 Wall clock TIME (seconds) = 0.464 CPU/machine TIME (seconds) = 0.420 total makespan = 5 9,4,9 Wall clock TIME (seconds) = 2.349 CPU/machine TIME (seconds) = 2.300 total makespan = 9 9,4,774 Wall clock TIME (seconds) = 0.669 CPU/machine TIME (seconds) = 0.630 total makespan = 6 10,4,3455 Wall clock TIME (seconds) = 1.634 CPU/machine TIME (seconds) = 1.590 total makespan = 8 10,4,12 Wall clock TIME (seconds) = 0.314 CPU/machine TIME (seconds) = 0.290 total makespan = 4 10,4,45 Wall clock TIME (seconds) = 0.547 CPU/machine TIME (seconds) = 0.520 total makespan = 6 10,4,78 Wall clock TIME (seconds) = 0.250 CPU/machine TIME (seconds) = 0.210 total makespan = 4 10,4,8546 Wall clock TIME (seconds) = 0.766 CPU/machine TIME (seconds) = 0.730 total makespan = 6 10,4,474 Wall clock TIME (seconds) = 1.428 CPU/machine TIME (seconds) = 1.390 total makespan = 7 10,4,188 Wall clock TIME (seconds) = 0.562 CPU/machine TIME (seconds) = 0.530 total makespan = 5 10,4,7899 Wall clock TIME (seconds) = 0.585 CPU/machine TIME (seconds) = 0.560 total makespan = 5 10,4,9 Wall clock TIME (seconds) = 5.079 CPU/machine TIME (seconds) = 5.030 total makespan = 10 10,4,774 Wall clock TIME (seconds) = 0.311 CPU/machine TIME (seconds) = 0.280 total makespan = 4 11,4,3455 Wall clock TIME (seconds) = 1.745 CPU/machine TIME (seconds) = 1.700 total makespan = 8 11,4,12 Wall clock TIME (seconds) = 0.551 CPU/machine TIME (seconds) = 0.520 total makespan = 5 11,4,45 Wall clock TIME (seconds) = 3.451 CPU/machine TIME (seconds) = 3.410 total makespan = 8 11,4,78 Wall clock TIME (seconds) = 6.022 CPU/machine TIME (seconds) = 5.910 total makespan = 0 11,4,8546 Wall clock TIME (seconds) = 4.089 CPU/machine TIME (seconds) = 4.050 total makespan = 9 11,4,474 Wall clock TIME (seconds) = 1.228 CPU/machine TIME (seconds) = 1.190 total makespan = 6 11,4,188 Wall clock TIME (seconds) = 0.589 CPU/machine TIME (seconds) = 0.550 total makespan = 5 11,4,7899 Wall clock TIME (seconds) = 1.623 CPU/machine TIME (seconds) = 1.580 total makespan = 7 11,4,9 Wall clock TIME (seconds) = 2.340 CPU/machine TIME (seconds) = 2.290 total makespan = 8 11,4,774 Wall clock TIME (seconds) = 1.687 CPU/machine TIME (seconds) = 1.640 total makespan = 7 12,4,3455 Wall clock TIME (seconds) = 3.535 CPU/machine TIME (seconds) = 3.490 total makespan = 9 12,4,12 Wall clock TIME (seconds) = 2.296 CPU/machine TIME (seconds) = 2.260 total makespan = 7 12,4,45 Wall clock TIME (seconds) = 4.452 CPU/machine TIME (seconds) = 4.410 total makespan = 8 12,4,78 Wall clock TIME (seconds) = 0.180 CPU/machine TIME (seconds) = 0.160 total makespan = 3 12,4,8546 Wall clock TIME (seconds) = 1.134 CPU/machine TIME (seconds) = 1.100 total makespan = 7 12,4,474 Wall clock TIME (seconds) = 2.472 CPU/machine TIME (seconds) = 2.440 total makespan = 7 12,4,188 Wall clock TIME (seconds) = 2.462 CPU/machine TIME (seconds) = 2.430 total makespan = 6 12,4,7899 Wall clock TIME (seconds) = 1.522 CPU/machine TIME (seconds) = 1.490 total makespan = 6 12,4,9 Wall clock TIME (seconds) = 11.815 CPU/machine TIME (seconds) = 11.780 total makespan = 10 12,4,774 Wall clock TIME (seconds) = 2.112 CPU/machine TIME (seconds) = 2.070 total makespan = 7 13,4,3455 Wall clock TIME (seconds) = 17.004 CPU/machine TIME (seconds) = 16.970 total makespan = 10 13,4,12 Wall clock TIME (seconds) = 3.321 CPU/machine TIME (seconds) = 3.280 total makespan = 7 13,4,45 Wall clock TIME (seconds) = 8.299 CPU/machine TIME (seconds) = 8.250 total makespan = 9 13,4,78 Wall clock TIME (seconds) = 1.564 CPU/machine TIME (seconds) = 1.530 total makespan = 6 13,4,8546 Wall clock TIME (seconds) = 13.595 CPU/machine TIME (seconds) = 13.540 total makespan = 10 13,4,474 Wall clock TIME (seconds) = 3.197 CPU/machine TIME (seconds) = 3.150 total makespan = 7 13,4,188 Wall clock TIME (seconds) = 4.567 CPU/machine TIME (seconds) = 4.520 total makespan = 7 13,4,7899 Wall clock TIME (seconds) = 1.873 CPU/machine TIME (seconds) = 1.850 total makespan = 6 13,4,9 Wall clock TIME (seconds) = 4.763 CPU/machine TIME (seconds) = 4.730 total makespan = 9 13,4,774 Wall clock TIME (seconds) = 1.636 CPU/machine TIME (seconds) = 1.610 total makespan = 6 14,4,3455 Wall clock TIME (seconds) = 3.234 CPU/machine TIME (seconds) = 3.200 total makespan = 7 14,4,12 Wall clock TIME (seconds) = 19.778 CPU/machine TIME (seconds) = 19.730 total makespan = 10 14,4,45 Wall clock TIME (seconds) = 41.172 CPU/machine TIME (seconds) = 41.120 total makespan = 9 14,4,78 Wall clock TIME (seconds) = 2.091 CPU/machine TIME (seconds) = 2.050 total makespan = 6 14,4,8546 Wall clock TIME (seconds) = 16.538 CPU/machine TIME (seconds) = 16.480 total makespan = 9 14,4,474 Wall clock TIME (seconds) = 2.563 CPU/machine TIME (seconds) = 2.520 total makespan = 6 14,4,188 Wall clock TIME (seconds) = 6.616 CPU/machine TIME (seconds) = 6.570 total makespan = 7 14,4,7899 Wall clock TIME (seconds) = 4.464 CPU/machine TIME (seconds) = 4.430 total makespan = 7 14,4,9 Wall clock TIME (seconds) = 20.947 CPU/machine TIME (seconds) = 20.890 total makespan = 10 14,4,774 Wall clock TIME (seconds) = 4.521 CPU/machine TIME (seconds) = 4.490 total makespan = 7 15,4,3455 Wall clock TIME (seconds) = 6.639 CPU/machine TIME (seconds) = 6.600 total makespan = 8 15,4,12 Wall clock TIME (seconds) = 12.353 CPU/machine TIME (seconds) = 12.300 total makespan = 8 15,4,45 Wall clock TIME (seconds) = 67.404 CPU/machine TIME (seconds) = 67.340 total makespan = 0 15,4,78 Wall clock TIME (seconds) = 11.623 CPU/machine TIME (seconds) = 11.580 total makespan = 8 15,4,8546 Wall clock TIME (seconds) = 11.511 CPU/machine TIME (seconds) = 11.400 total makespan = 0 15,4,474 Wall clock TIME (seconds) = 8.586 CPU/machine TIME (seconds) = 8.540 total makespan = 8 15,4,188 Wall clock TIME (seconds) = 23.005 CPU/machine TIME (seconds) = 22.950 total makespan = 8 15,4,7899 Wall clock TIME (seconds) = 14.640 CPU/machine TIME (seconds) = 14.600 total makespan = 7 15,4,9 Wall clock TIME (seconds) = 18.160 CPU/machine TIME (seconds) = 18.090 total makespan = 9 15,4,774 Wall clock TIME (seconds) = 10.316 CPU/machine TIME (seconds) = 10.270 total makespan = 8