1,1,3455 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.070 total makespan = 4 1,1,12 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.130 total makespan = 6 1,1,45 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.090 total makespan = 5 1,1,78 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.050 total makespan = 3 1,1,8546 Wall clock TIME (seconds) = 0.109 CPU/machine TIME (seconds) = 0.140 total makespan = 6 1,1,474 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.140 total makespan = 6 1,1,188 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 total makespan = 1 1,1,7899 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.160 total makespan = 6 1,1,9 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.020 total makespan = 1 1,1,774 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.070 total makespan = 4 2,1,3455 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.130 total makespan = 6 2,1,12 Wall clock TIME (seconds) = 0.087 CPU/machine TIME (seconds) = 0.110 total makespan = 5 2,1,45 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.130 total makespan = 6 2,1,78 Wall clock TIME (seconds) = 0.182 CPU/machine TIME (seconds) = 0.230 total makespan = 7 2,1,8546 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.090 total makespan = 4 2,1,474 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.180 total makespan = 6 2,1,188 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.040 total makespan = 2 2,1,7899 Wall clock TIME (seconds) = 0.147 CPU/machine TIME (seconds) = 0.180 total makespan = 6 2,1,9 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.040 total makespan = 2 2,1,774 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.060 total makespan = 3 3,1,3455 Wall clock TIME (seconds) = 0.154 CPU/machine TIME (seconds) = 0.180 total makespan = 7 3,1,12 Wall clock TIME (seconds) = 0.109 CPU/machine TIME (seconds) = 0.140 total makespan = 5 3,1,45 Wall clock TIME (seconds) = 0.307 CPU/machine TIME (seconds) = 0.350 total makespan = 9 3,1,78 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.060 total makespan = 3 3,1,8546 Wall clock TIME (seconds) = 0.232 CPU/machine TIME (seconds) = 0.260 total makespan = 7 3,1,474 Wall clock TIME (seconds) = 0.342 CPU/machine TIME (seconds) = 0.380 total makespan = 8 3,1,188 Wall clock TIME (seconds) = 0.149 CPU/machine TIME (seconds) = 0.190 total makespan = 6 3,1,7899 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.130 total makespan = 5 3,1,9 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.160 total makespan = 6 3,1,774 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.090 total makespan = 4 4,1,3455 Wall clock TIME (seconds) = 0.213 CPU/machine TIME (seconds) = 0.260 total makespan = 7 4,1,12 Wall clock TIME (seconds) = 0.239 CPU/machine TIME (seconds) = 0.270 total makespan = 7 4,1,45 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.170 total makespan = 6 4,1,78 Wall clock TIME (seconds) = 0.180 CPU/machine TIME (seconds) = 0.220 total makespan = 6 4,1,8546 Wall clock TIME (seconds) = 0.284 CPU/machine TIME (seconds) = 0.310 total makespan = 7 4,1,474 Wall clock TIME (seconds) = 0.374 CPU/machine TIME (seconds) = 0.400 total makespan = 7 4,1,188 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.170 total makespan = 5 4,1,7899 Wall clock TIME (seconds) = 0.293 CPU/machine TIME (seconds) = 0.330 total makespan = 7 4,1,9 Wall clock TIME (seconds) = 0.201 CPU/machine TIME (seconds) = 0.230 total makespan = 7 4,1,774 Wall clock TIME (seconds) = 0.128 CPU/machine TIME (seconds) = 0.160 total makespan = 5 5,1,3455 Wall clock TIME (seconds) = 0.386 CPU/machine TIME (seconds) = 0.430 total makespan = 8 5,1,12 Wall clock TIME (seconds) = 0.224 CPU/machine TIME (seconds) = 0.260 total makespan = 6 5,1,45 Wall clock TIME (seconds) = 0.170 CPU/machine TIME (seconds) = 0.200 total makespan = 6 5,1,78 Wall clock TIME (seconds) = 0.377 CPU/machine TIME (seconds) = 0.410 total makespan = 8 5,1,8546 Wall clock TIME (seconds) = 0.208 CPU/machine TIME (seconds) = 0.250 total makespan = 6 5,1,474 Wall clock TIME (seconds) = 0.972 CPU/machine TIME (seconds) = 1.000 total makespan = 10 5,1,188 Wall clock TIME (seconds) = 0.209 CPU/machine TIME (seconds) = 0.250 total makespan = 6 5,1,7899 Wall clock TIME (seconds) = 0.381 CPU/machine TIME (seconds) = 0.410 total makespan = 7 5,1,9 Wall clock TIME (seconds) = 0.206 CPU/machine TIME (seconds) = 0.240 total makespan = 7 5,1,774 Wall clock TIME (seconds) = 0.340 CPU/machine TIME (seconds) = 0.380 total makespan = 7 6,1,3455 Wall clock TIME (seconds) = 0.688 CPU/machine TIME (seconds) = 0.730 total makespan = 9 6,1,12 Wall clock TIME (seconds) = 0.237 CPU/machine TIME (seconds) = 0.260 total makespan = 6 6,1,45 Wall clock TIME (seconds) = 0.334 CPU/machine TIME (seconds) = 0.370 total makespan = 8 6,1,78 Wall clock TIME (seconds) = 0.490 CPU/machine TIME (seconds) = 0.520 total makespan = 8 6,1,8546 Wall clock TIME (seconds) = 0.952 CPU/machine TIME (seconds) = 0.980 total makespan = 9 6,1,474 Wall clock TIME (seconds) = 0.491 CPU/machine TIME (seconds) = 0.530 total makespan = 7 6,1,188 Wall clock TIME (seconds) = 0.413 CPU/machine TIME (seconds) = 0.440 total makespan = 8 6,1,7899 Wall clock TIME (seconds) = 0.970 CPU/machine TIME (seconds) = 1.000 total makespan = 9 6,1,9 Wall clock TIME (seconds) = 0.271 CPU/machine TIME (seconds) = 0.310 total makespan = 7 6,1,774 Wall clock TIME (seconds) = 0.804 CPU/machine TIME (seconds) = 0.840 total makespan = 9 7,1,3455 Wall clock TIME (seconds) = 1.170 CPU/machine TIME (seconds) = 1.210 total makespan = 10 7,1,12 Wall clock TIME (seconds) = 0.257 CPU/machine TIME (seconds) = 0.280 total makespan = 6 7,1,45 Wall clock TIME (seconds) = 0.329 CPU/machine TIME (seconds) = 0.380 total makespan = 7 7,1,78 Wall clock TIME (seconds) = 0.383 CPU/machine TIME (seconds) = 0.410 total makespan = 7 7,1,8546 Wall clock TIME (seconds) = 0.516 CPU/machine TIME (seconds) = 0.550 total makespan = 8 7,1,474 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.190 total makespan = 5 7,1,188 Wall clock TIME (seconds) = 0.501 CPU/machine TIME (seconds) = 0.540 total makespan = 8 7,1,7899 Wall clock TIME (seconds) = 0.576 CPU/machine TIME (seconds) = 0.610 total makespan = 8 7,1,9 Wall clock TIME (seconds) = 0.779 CPU/machine TIME (seconds) = 0.850 total makespan = 10 7,1,774 Wall clock TIME (seconds) = 0.910 CPU/machine TIME (seconds) = 1.020 total makespan = 9 8,1,3455 Wall clock TIME (seconds) = 4.443 CPU/machine TIME (seconds) = 4.580 total makespan = 11 8,1,12 Wall clock TIME (seconds) = 0.917 CPU/machine TIME (seconds) = 0.960 total makespan = 8 8,1,45 Wall clock TIME (seconds) = 1.459 CPU/machine TIME (seconds) = 1.500 total makespan = 10 8,1,78 Wall clock TIME (seconds) = 1.160 CPU/machine TIME (seconds) = 1.220 total makespan = 9 8,1,8546 Wall clock TIME (seconds) = 1.688 CPU/machine TIME (seconds) = 1.730 total makespan = 10 8,1,474 Wall clock TIME (seconds) = 0.952 CPU/machine TIME (seconds) = 0.980 total makespan = 8 8,1,188 Wall clock TIME (seconds) = 0.784 CPU/machine TIME (seconds) = 0.810 total makespan = 8 8,1,7899 Wall clock TIME (seconds) = 1.288 CPU/machine TIME (seconds) = 1.330 total makespan = 9 8,1,9 Wall clock TIME (seconds) = 1.979 CPU/machine TIME (seconds) = 2.010 total makespan = 10 8,1,774 Wall clock TIME (seconds) = 0.519 CPU/machine TIME (seconds) = 0.600 total makespan = 7 9,1,3455 Wall clock TIME (seconds) = 0.553 CPU/machine TIME (seconds) = 0.650 total makespan = 8 9,1,12 Wall clock TIME (seconds) = 0.731 CPU/machine TIME (seconds) = 0.840 total makespan = 8 9,1,45 Wall clock TIME (seconds) = 19.216 CPU/machine TIME (seconds) = 19.330 total makespan = 10 9,1,78 Wall clock TIME (seconds) = 2.342 CPU/machine TIME (seconds) = 2.440 total makespan = 8 9,1,8546 Wall clock TIME (seconds) = 0.724 CPU/machine TIME (seconds) = 0.800 total makespan = 7 9,1,474 Wall clock TIME (seconds) = 0.912 CPU/machine TIME (seconds) = 0.990 total makespan = 7 9,1,188 Wall clock TIME (seconds) = 0.729 CPU/machine TIME (seconds) = 0.830 total makespan = 8 9,1,7899 Wall clock TIME (seconds) = 0.511 CPU/machine TIME (seconds) = 0.590 total makespan = 6 9,1,9 Wall clock TIME (seconds) = 3.309 CPU/machine TIME (seconds) = 3.450 total makespan = 11 9,1,774 Wall clock TIME (seconds) = 0.699 CPU/machine TIME (seconds) = 0.800 total makespan = 8 10,1,3455 Wall clock TIME (seconds) = 18.073 CPU/machine TIME (seconds) = 18.200 total makespan = 10 10,1,12 Wall clock TIME (seconds) = 1.364 CPU/machine TIME (seconds) = 1.480 total makespan = 9 10,1,45 Wall clock TIME (seconds) = 3.448 CPU/machine TIME (seconds) = 3.570 total makespan = 9 10,1,78 Wall clock TIME (seconds) = 9.124 CPU/machine TIME (seconds) = 9.150 total makespan = 9 10,1,8546 Wall clock TIME (seconds) = 7.688 CPU/machine TIME (seconds) = 7.710 total makespan = 10 10,1,474 Wall clock TIME (seconds) = 1.377 CPU/machine TIME (seconds) = 1.410 total makespan = 8 10,1,188 Wall clock TIME (seconds) = 0.828 CPU/machine TIME (seconds) = 0.860 total makespan = 8 10,1,7899 Wall clock TIME (seconds) = 0.804 CPU/machine TIME (seconds) = 0.830 total makespan = 8 10,1,9 Wall clock TIME (seconds) = 18.136 CPU/machine TIME (seconds) = 18.190 total makespan = 12 10,1,774 Wall clock TIME (seconds) = 1.912 CPU/machine TIME (seconds) = 1.940 total makespan = 9 11,1,3455 Wall clock TIME (seconds) = 65.509 CPU/machine TIME (seconds) = 65.570 total makespan = 0 11,1,12 Wall clock TIME (seconds) = 1.281 CPU/machine TIME (seconds) = 1.390 total makespan = 9 11,1,45 Wall clock TIME (seconds) = 14.973 CPU/machine TIME (seconds) = 15.110 total makespan = 10 11,1,78 Wall clock TIME (seconds) = 3.412 CPU/machine TIME (seconds) = 3.520 total makespan = 9 11,1,8546 Wall clock TIME (seconds) = 0.846 CPU/machine TIME (seconds) = 0.940 total makespan = 7 11,1,474 Wall clock TIME (seconds) = 10.388 CPU/machine TIME (seconds) = 10.490 total makespan = 9 11,1,188 Wall clock TIME (seconds) = 0.946 CPU/machine TIME (seconds) = 1.050 total makespan = 8 11,1,7899 Wall clock TIME (seconds) = 4.762 CPU/machine TIME (seconds) = 4.870 total makespan = 8 11,1,9 Wall clock TIME (seconds) = 11.558 CPU/machine TIME (seconds) = 11.690 total makespan = 11 11,1,774 Wall clock TIME (seconds) = 1.258 CPU/machine TIME (seconds) = 1.280 total makespan = 8 12,1,3455 Wall clock TIME (seconds) = 5.562 CPU/machine TIME (seconds) = 5.690 total makespan = 10 12,1,12 Wall clock TIME (seconds) = 2.975 CPU/machine TIME (seconds) = 3.010 total makespan = 8 12,1,45 Wall clock TIME (seconds) = 61.015 CPU/machine TIME (seconds) = 61.050 total makespan = 0 12,1,78 Wall clock TIME (seconds) = 4.941 CPU/machine TIME (seconds) = 5.040 total makespan = 9 12,1,8546 Wall clock TIME (seconds) = 2.226 CPU/machine TIME (seconds) = 2.280 total makespan = 8 12,1,474 Wall clock TIME (seconds) = 1.791 CPU/machine TIME (seconds) = 1.830 total makespan = 8 12,1,188 Wall clock TIME (seconds) = 3.775 CPU/machine TIME (seconds) = 3.800 total makespan = 8 12,1,7899 Wall clock TIME (seconds) = 3.027 CPU/machine TIME (seconds) = 3.060 total makespan = 9 12,1,9 Wall clock TIME (seconds) = 84.215 CPU/machine TIME (seconds) = 84.280 total makespan = 0 12,1,774 Wall clock TIME (seconds) = 0.955 CPU/machine TIME (seconds) = 1.060 total makespan = 8 13,1,3455 Wall clock TIME (seconds) = 59.490 CPU/machine TIME (seconds) = 59.610 total makespan = 10 13,1,12 Wall clock TIME (seconds) = 6.628 CPU/machine TIME (seconds) = 6.660 total makespan = 8 13,1,45 Wall clock TIME (seconds) = 92.591 CPU/machine TIME (seconds) = 92.610 total makespan = 0 13,1,78 Wall clock TIME (seconds) = 0.915 CPU/machine TIME (seconds) = 0.950 total makespan = 8 13,1,8546 Wall clock TIME (seconds) = 6.419 CPU/machine TIME (seconds) = 6.460 total makespan = 8 13,1,474 Wall clock TIME (seconds) = 1.707 CPU/machine TIME (seconds) = 1.800 total makespan = 7 13,1,188 Wall clock TIME (seconds) = 23.237 CPU/machine TIME (seconds) = 23.330 total makespan = 9 13,1,7899 Wall clock TIME (seconds) = 4.192 CPU/machine TIME (seconds) = 4.290 total makespan = 8 13,1,9 Wall clock TIME (seconds) = 74.521 CPU/machine TIME (seconds) = 74.660 total makespan = 0 13,1,774 Wall clock TIME (seconds) = 9.677 CPU/machine TIME (seconds) = 9.810 total makespan = 9 14,1,3455 Wall clock TIME (seconds) = 64.714 CPU/machine TIME (seconds) = 64.850 total makespan = 0 14,1,12 Wall clock TIME (seconds) = 61.161 CPU/machine TIME (seconds) = 61.260 total makespan = 0 14,1,45 Wall clock TIME (seconds) = 95.466 CPU/machine TIME (seconds) = 95.510 total makespan = 0 14,1,78 Wall clock TIME (seconds) = 60.793 CPU/machine TIME (seconds) = 60.880 total makespan = 0 14,1,8546 Wall clock TIME (seconds) = 98.810 CPU/machine TIME (seconds) = 98.870 total makespan = 9 14,1,474 Wall clock TIME (seconds) = 5.915 CPU/machine TIME (seconds) = 6.000 total makespan = 8 14,1,188 Wall clock TIME (seconds) = 65.614 CPU/machine TIME (seconds) = 65.720 total makespan = 0 14,1,7899 Wall clock TIME (seconds) = 20.521 CPU/machine TIME (seconds) = 20.620 total makespan = 8 14,1,9 Wall clock TIME (seconds) = 75.405 CPU/machine TIME (seconds) = 75.430 total makespan = 0 14,1,774 Wall clock TIME (seconds) = 33.991 CPU/machine TIME (seconds) = 34.100 total makespan = 8 15,1,3455 Wall clock TIME (seconds) = 111.154 CPU/machine TIME (seconds) = 111.190 total makespan = 0 15,1,12 Wall clock TIME (seconds) = 71.342 CPU/machine TIME (seconds) = 71.460 total makespan = 0 15,1,45 Wall clock TIME (seconds) = 121.740 CPU/machine TIME (seconds) = 121.870 total makespan = 0 15,1,78 Wall clock TIME (seconds) = 64.393 CPU/machine TIME (seconds) = 64.450 total makespan = 0 15,1,8546 Wall clock TIME (seconds) = 60.467 CPU/machine TIME (seconds) = 60.500 total makespan = 0 15,1,474 Wall clock TIME (seconds) = 61.197 CPU/machine TIME (seconds) = 61.280 total makespan = 0 15,1,188 Wall clock TIME (seconds) = 75.377 CPU/machine TIME (seconds) = 75.510 total makespan = 0 15,1,7899 Wall clock TIME (seconds) = 65.186 CPU/machine TIME (seconds) = 65.230 total makespan = 0 15,1,9 Wall clock TIME (seconds) = 82.585 CPU/machine TIME (seconds) = 82.700 total makespan = 0 15,1,774 Wall clock TIME (seconds) = 63.065 CPU/machine TIME (seconds) = 63.180 total makespan = 10 1,2,3455 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.110 total makespan = 4 1,2,12 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.030 total makespan = 0 1,2,45 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.070 total makespan = 3 1,2,78 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.080 total makespan = 3 1,2,8546 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.110 total makespan = 4 1,2,474 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,2,188 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,2,7899 Wall clock TIME (seconds) = 0.118 CPU/machine TIME (seconds) = 0.220 total makespan = 6 1,2,9 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.040 total makespan = 2 1,2,774 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.090 total makespan = 3 2,2,3455 Wall clock TIME (seconds) = 0.214 CPU/machine TIME (seconds) = 0.340 total makespan = 8 2,2,12 Wall clock TIME (seconds) = 0.146 CPU/machine TIME (seconds) = 0.230 total makespan = 6 2,2,45 Wall clock TIME (seconds) = 0.136 CPU/machine TIME (seconds) = 0.250 total makespan = 7 2,2,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.020 total makespan = 1 2,2,8546 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.130 total makespan = 4 2,2,474 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.090 total makespan = 3 2,2,188 Wall clock TIME (seconds) = 0.272 CPU/machine TIME (seconds) = 0.380 total makespan = 8 2,2,7899 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.230 total makespan = 6 2,2,9 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.160 total makespan = 5 2,2,774 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.140 total makespan = 4 3,2,3455 Wall clock TIME (seconds) = 0.135 CPU/machine TIME (seconds) = 0.220 total makespan = 6 3,2,12 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.130 total makespan = 4 3,2,45 Wall clock TIME (seconds) = 0.248 CPU/machine TIME (seconds) = 0.360 total makespan = 8 3,2,78 Wall clock TIME (seconds) = 0.170 CPU/machine TIME (seconds) = 0.260 total makespan = 6 3,2,8546 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.100 total makespan = 3 3,2,474 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.190 total makespan = 5 3,2,188 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.210 total makespan = 5 3,2,7899 Wall clock TIME (seconds) = 0.459 CPU/machine TIME (seconds) = 0.580 total makespan = 9 3,2,9 Wall clock TIME (seconds) = 0.169 CPU/machine TIME (seconds) = 0.270 total makespan = 7 3,2,774 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.060 total makespan = 2 4,2,3455 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.080 total makespan = 3 4,2,12 Wall clock TIME (seconds) = 0.097 CPU/machine TIME (seconds) = 0.160 total makespan = 4 4,2,45 Wall clock TIME (seconds) = 0.140 CPU/machine TIME (seconds) = 0.240 total makespan = 6 4,2,78 Wall clock TIME (seconds) = 0.285 CPU/machine TIME (seconds) = 0.390 total makespan = 7 4,2,8546 Wall clock TIME (seconds) = 0.200 CPU/machine TIME (seconds) = 0.280 total makespan = 6 4,2,474 Wall clock TIME (seconds) = 0.185 CPU/machine TIME (seconds) = 0.270 total makespan = 5 4,2,188 Wall clock TIME (seconds) = 0.245 CPU/machine TIME (seconds) = 0.330 total makespan = 6 4,2,7899 Wall clock TIME (seconds) = 0.316 CPU/machine TIME (seconds) = 0.410 total makespan = 7 4,2,9 Wall clock TIME (seconds) = 0.210 CPU/machine TIME (seconds) = 0.290 total makespan = 6 4,2,774 Wall clock TIME (seconds) = 0.222 CPU/machine TIME (seconds) = 0.300 total makespan = 6 5,2,3455 Wall clock TIME (seconds) = 0.540 CPU/machine TIME (seconds) = 0.660 total makespan = 9 5,2,12 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.140 total makespan = 4 5,2,45 Wall clock TIME (seconds) = 51.393 CPU/machine TIME (seconds) = 51.710 total makespan = 0 5,2,78 Wall clock TIME (seconds) = 0.308 CPU/machine TIME (seconds) = 0.390 total makespan = 7 5,2,8546 Wall clock TIME (seconds) = 0.097 CPU/machine TIME (seconds) = 0.150 total makespan = 4 5,2,474 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.250 total makespan = 5 5,2,188 Wall clock TIME (seconds) = 0.244 CPU/machine TIME (seconds) = 0.330 total makespan = 6 5,2,7899 Wall clock TIME (seconds) = 0.483 CPU/machine TIME (seconds) = 0.590 total makespan = 8 5,2,9 Wall clock TIME (seconds) = 0.499 CPU/machine TIME (seconds) = 0.630 total makespan = 9 5,2,774 Wall clock TIME (seconds) = 0.630 CPU/machine TIME (seconds) = 0.730 total makespan = 8 6,2,3455 Wall clock TIME (seconds) = 0.464 CPU/machine TIME (seconds) = 0.570 total makespan = 8 6,2,12 Wall clock TIME (seconds) = 0.278 CPU/machine TIME (seconds) = 0.360 total makespan = 6 6,2,45 Wall clock TIME (seconds) = 103.344 CPU/machine TIME (seconds) = 103.500 total makespan = 0 6,2,78 Wall clock TIME (seconds) = 0.518 CPU/machine TIME (seconds) = 0.630 total makespan = 8 6,2,8546 Wall clock TIME (seconds) = 0.105 CPU/machine TIME (seconds) = 0.170 total makespan = 4 6,2,474 Wall clock TIME (seconds) = 82.996 CPU/machine TIME (seconds) = 83.130 total makespan = 0 6,2,188 Wall clock TIME (seconds) = 0.161 CPU/machine TIME (seconds) = 0.240 total makespan = 5 6,2,7899 Wall clock TIME (seconds) = 0.356 CPU/machine TIME (seconds) = 0.460 total makespan = 7 6,2,9 Wall clock TIME (seconds) = 0.182 CPU/machine TIME (seconds) = 0.270 total makespan = 6 6,2,774 Wall clock TIME (seconds) = 1.164 CPU/machine TIME (seconds) = 1.280 total makespan = 9 7,2,3455 Wall clock TIME (seconds) = 0.598 CPU/machine TIME (seconds) = 0.710 total makespan = 8 7,2,12 Wall clock TIME (seconds) = 0.169 CPU/machine TIME (seconds) = 0.240 total makespan = 5 7,2,45 Wall clock TIME (seconds) = 81.873 CPU/machine TIME (seconds) = 81.990 total makespan = 0 7,2,78 Wall clock TIME (seconds) = 0.633 CPU/machine TIME (seconds) = 0.740 total makespan = 7 7,2,8546 Wall clock TIME (seconds) = 0.310 CPU/machine TIME (seconds) = 0.390 total makespan = 6 7,2,474 Wall clock TIME (seconds) = 73.190 CPU/machine TIME (seconds) = 73.280 total makespan = 0 7,2,188 Wall clock TIME (seconds) = 63.476 CPU/machine TIME (seconds) = 63.600 total makespan = 0 7,2,7899 Wall clock TIME (seconds) = 0.362 CPU/machine TIME (seconds) = 0.440 total makespan = 6 7,2,9 Wall clock TIME (seconds) = 1.212 CPU/machine TIME (seconds) = 1.350 total makespan = 10 7,2,774 Wall clock TIME (seconds) = 91.735 CPU/machine TIME (seconds) = 91.900 total makespan = 0 8,2,3455 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.180 total makespan = 5 8,2,12 Wall clock TIME (seconds) = 0.131 CPU/machine TIME (seconds) = 0.150 total makespan = 4 8,2,45 Wall clock TIME (seconds) = 71.185 CPU/machine TIME (seconds) = 71.230 total makespan = 0 8,2,78 Wall clock TIME (seconds) = 11.658 CPU/machine TIME (seconds) = 11.770 total makespan = 9 8,2,8546 Wall clock TIME (seconds) = 0.373 CPU/machine TIME (seconds) = 0.440 total makespan = 6 8,2,474 Wall clock TIME (seconds) = 3.352 CPU/machine TIME (seconds) = 3.450 total makespan = 8 8,2,188 Wall clock TIME (seconds) = 69.084 CPU/machine TIME (seconds) = 69.130 total makespan = 0 8,2,7899 Wall clock TIME (seconds) = 88.024 CPU/machine TIME (seconds) = 88.130 total makespan = 0 8,2,9 Wall clock TIME (seconds) = 1.043 CPU/machine TIME (seconds) = 1.080 total makespan = 10 8,2,774 Wall clock TIME (seconds) = 1.321 CPU/machine TIME (seconds) = 1.350 total makespan = 9 9,2,3455 Wall clock TIME (seconds) = 3.004 CPU/machine TIME (seconds) = 3.040 total makespan = 10 9,2,12 Wall clock TIME (seconds) = 1.938 CPU/machine TIME (seconds) = 1.980 total makespan = 8 9,2,45 Wall clock TIME (seconds) = 98.957 CPU/machine TIME (seconds) = 99.010 total makespan = 0 9,2,78 Wall clock TIME (seconds) = 80.909 CPU/machine TIME (seconds) = 81.010 total makespan = 0 9,2,8546 Wall clock TIME (seconds) = 0.463 CPU/machine TIME (seconds) = 0.480 total makespan = 6 9,2,474 Wall clock TIME (seconds) = 61.460 CPU/machine TIME (seconds) = 61.500 total makespan = 0 9,2,188 Wall clock TIME (seconds) = 84.189 CPU/machine TIME (seconds) = 84.320 total makespan = 0 9,2,7899 Wall clock TIME (seconds) = 1.343 CPU/machine TIME (seconds) = 1.470 total makespan = 9 9,2,9 Wall clock TIME (seconds) = 82.167 CPU/machine TIME (seconds) = 82.350 total makespan = 0 9,2,774 Wall clock TIME (seconds) = 111.269 CPU/machine TIME (seconds) = 111.310 total makespan = 0 10,2,3455 Wall clock TIME (seconds) = 43.209 CPU/machine TIME (seconds) = 43.320 total makespan = 10 10,2,12 Wall clock TIME (seconds) = 0.567 CPU/machine TIME (seconds) = 0.650 total makespan = 6 10,2,45 Wall clock TIME (seconds) = 63.019 CPU/machine TIME (seconds) = 63.130 total makespan = 0 10,2,78 Wall clock TIME (seconds) = 0.953 CPU/machine TIME (seconds) = 1.070 total makespan = 8 10,2,8546 Wall clock TIME (seconds) = 0.699 CPU/machine TIME (seconds) = 0.790 total makespan = 6 10,2,474 Wall clock TIME (seconds) = 0.962 CPU/machine TIME (seconds) = 1.040 total makespan = 7 10,2,188 Wall clock TIME (seconds) = 96.443 CPU/machine TIME (seconds) = 96.540 total makespan = 0 10,2,7899 Wall clock TIME (seconds) = 75.778 CPU/machine TIME (seconds) = 75.890 total makespan = 0 10,2,9 Wall clock TIME (seconds) = 77.330 CPU/machine TIME (seconds) = 77.510 total makespan = 0 10,2,774 Wall clock TIME (seconds) = 60.730 CPU/machine TIME (seconds) = 60.870 total makespan = 0 11,2,3455 Wall clock TIME (seconds) = 1.864 CPU/machine TIME (seconds) = 1.890 total makespan = 9 11,2,12 Wall clock TIME (seconds) = 61.292 CPU/machine TIME (seconds) = 61.350 total makespan = 0 11,2,45 Wall clock TIME (seconds) = 114.464 CPU/machine TIME (seconds) = 114.530 total makespan = 0 11,2,78 Wall clock TIME (seconds) = 60.409 CPU/machine TIME (seconds) = 60.520 total makespan = 0 11,2,8546 Wall clock TIME (seconds) = 93.533 CPU/machine TIME (seconds) = 93.560 total makespan = 0 11,2,474 Wall clock TIME (seconds) = 1.522 CPU/machine TIME (seconds) = 1.560 total makespan = 7 11,2,188 Wall clock TIME (seconds) = 95.564 CPU/machine TIME (seconds) = 95.610 total makespan = 0 11,2,7899 Wall clock TIME (seconds) = 98.019 CPU/machine TIME (seconds) = 98.150 total makespan = 0 11,2,9 Wall clock TIME (seconds) = 110.544 CPU/machine TIME (seconds) = 110.680 total makespan = 0 11,2,774 Wall clock TIME (seconds) = 64.236 CPU/machine TIME (seconds) = 64.370 total makespan = 0 12,2,3455 Wall clock TIME (seconds) = 71.584 CPU/machine TIME (seconds) = 71.710 total makespan = 0 12,2,12 Wall clock TIME (seconds) = 62.196 CPU/machine TIME (seconds) = 62.310 total makespan = 0 12,2,45 Wall clock TIME (seconds) = 63.988 CPU/machine TIME (seconds) = 64.110 total makespan = 0 12,2,78 Wall clock TIME (seconds) = 6.992 CPU/machine TIME (seconds) = 7.100 total makespan = 8 12,2,8546 Wall clock TIME (seconds) = 1.102 CPU/machine TIME (seconds) = 1.140 total makespan = 7 12,2,474 Wall clock TIME (seconds) = 6.877 CPU/machine TIME (seconds) = 6.890 total makespan = 7 12,2,188 Wall clock TIME (seconds) = 79.936 CPU/machine TIME (seconds) = 79.990 total makespan = 0 12,2,7899 Wall clock TIME (seconds) = 64.485 CPU/machine TIME (seconds) = 64.580 total makespan = 0 12,2,9 Wall clock TIME (seconds) = 65.714 CPU/machine TIME (seconds) = 65.860 total makespan = 0 12,2,774 Wall clock TIME (seconds) = 80.437 CPU/machine TIME (seconds) = 80.460 total makespan = 0 13,2,3455 Wall clock TIME (seconds) = 61.647 CPU/machine TIME (seconds) = 61.760 total makespan = 0 13,2,12 Wall clock TIME (seconds) = 60.696 CPU/machine TIME (seconds) = 60.730 total makespan = 0 13,2,45 Wall clock TIME (seconds) = 75.168 CPU/machine TIME (seconds) = 75.300 total makespan = 0 13,2,78 Wall clock TIME (seconds) = 14.615 CPU/machine TIME (seconds) = 14.720 total makespan = 8 13,2,8546 Wall clock TIME (seconds) = 1.526 CPU/machine TIME (seconds) = 1.640 total makespan = 7 13,2,474 Wall clock TIME (seconds) = 90.840 CPU/machine TIME (seconds) = 90.950 total makespan = 0 13,2,188 Wall clock TIME (seconds) = 79.634 CPU/machine TIME (seconds) = 79.740 total makespan = 0 13,2,7899 Wall clock TIME (seconds) = 60.554 CPU/machine TIME (seconds) = 60.660 total makespan = 0 13,2,9 Wall clock TIME (seconds) = 160.069 CPU/machine TIME (seconds) = 160.240 total makespan = 0 13,2,774 Wall clock TIME (seconds) = 61.674 CPU/machine TIME (seconds) = 61.780 total makespan = 0 14,2,3455 Wall clock TIME (seconds) = 74.939 CPU/machine TIME (seconds) = 75.060 total makespan = 0 14,2,12 Wall clock TIME (seconds) = 63.506 CPU/machine TIME (seconds) = 63.610 total makespan = 0 14,2,45 Wall clock TIME (seconds) = 67.954 CPU/machine TIME (seconds) = 68.010 total makespan = 0 14,2,78 Wall clock TIME (seconds) = 2.477 CPU/machine TIME (seconds) = 2.610 total makespan = 8 14,2,8546 Wall clock TIME (seconds) = 60.587 CPU/machine TIME (seconds) = 60.650 total makespan = 0 14,2,474 Wall clock TIME (seconds) = 82.575 CPU/machine TIME (seconds) = 82.680 total makespan = 0 14,2,188 Wall clock TIME (seconds) = 61.733 CPU/machine TIME (seconds) = 61.830 total makespan = 0 14,2,7899 Wall clock TIME (seconds) = 91.639 CPU/machine TIME (seconds) = 91.700 total makespan = 0 14,2,9 Wall clock TIME (seconds) = 92.288 CPU/machine TIME (seconds) = 92.420 total makespan = 0 14,2,774 Wall clock TIME (seconds) = 61.542 CPU/machine TIME (seconds) = 61.610 total makespan = 0 15,2,3455 Wall clock TIME (seconds) = 61.095 CPU/machine TIME (seconds) = 61.220 total makespan = 0 15,2,12 Wall clock TIME (seconds) = 93.710 CPU/machine TIME (seconds) = 93.800 total makespan = 0 15,2,45 Wall clock TIME (seconds) = 66.474 CPU/machine TIME (seconds) = 66.600 total makespan = 0 15,2,78 Wall clock TIME (seconds) = 39.795 CPU/machine TIME (seconds) = 39.890 total makespan = 7 15,2,8546 Wall clock TIME (seconds) = 60.548 CPU/machine TIME (seconds) = 60.670 total makespan = 0 15,2,474 Wall clock TIME (seconds) = 107.068 CPU/machine TIME (seconds) = 107.170 total makespan = 0 15,2,188 Wall clock TIME (seconds) = 63.320 CPU/machine TIME (seconds) = 63.420 total makespan = 0 15,2,7899 Wall clock TIME (seconds) = 66.290 CPU/machine TIME (seconds) = 66.330 total makespan = 0 15,2,9 Wall clock TIME (seconds) = 64.967 CPU/machine TIME (seconds) = 64.990 total makespan = 0 15,2,774 Wall clock TIME (seconds) = 68.187 CPU/machine TIME (seconds) = 68.220 total makespan = 0 1,3,3455 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.110 total makespan = 4 1,3,12 Wall clock TIME (seconds) = 0.194 CPU/machine TIME (seconds) = 0.160 total makespan = 5 1,3,45 Wall clock TIME (seconds) = 0.086 CPU/machine TIME (seconds) = 0.080 total makespan = 3 1,3,78 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.080 total makespan = 3 1,3,8546 Wall clock TIME (seconds) = 0.133 CPU/machine TIME (seconds) = 0.120 total makespan = 4 1,3,474 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,3,188 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,3,7899 Wall clock TIME (seconds) = 0.202 CPU/machine TIME (seconds) = 0.160 total makespan = 5 1,3,9 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.050 total makespan = 2 1,3,774 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.090 total makespan = 3 2,3,3455 Wall clock TIME (seconds) = 0.495 CPU/machine TIME (seconds) = 0.360 total makespan = 8 2,3,12 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 total makespan = 2 2,3,45 Wall clock TIME (seconds) = 0.303 CPU/machine TIME (seconds) = 0.260 total makespan = 7 2,3,78 Wall clock TIME (seconds) = 0.165 CPU/machine TIME (seconds) = 0.130 total makespan = 4 2,3,8546 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.140 total makespan = 4 2,3,474 Wall clock TIME (seconds) = 0.228 CPU/machine TIME (seconds) = 0.210 total makespan = 5 2,3,188 Wall clock TIME (seconds) = 0.228 CPU/machine TIME (seconds) = 0.190 total makespan = 5 2,3,7899 Wall clock TIME (seconds) = 0.246 CPU/machine TIME (seconds) = 0.190 total makespan = 5 2,3,9 Wall clock TIME (seconds) = 0.192 CPU/machine TIME (seconds) = 0.160 total makespan = 5 2,3,774 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.060 total makespan = 2 3,3,3455 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.060 total makespan = 2 3,3,12 Wall clock TIME (seconds) = 0.156 CPU/machine TIME (seconds) = 0.130 total makespan = 4 3,3,45 Wall clock TIME (seconds) = 0.249 CPU/machine TIME (seconds) = 0.210 total makespan = 6 3,3,78 Wall clock TIME (seconds) = 0.255 CPU/machine TIME (seconds) = 0.200 total makespan = 5 3,3,8546 Wall clock TIME (seconds) = 0.084 CPU/machine TIME (seconds) = 0.100 total makespan = 3 3,3,474 Wall clock TIME (seconds) = 0.510 CPU/machine TIME (seconds) = 0.360 total makespan = 7 3,3,188 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.060 total makespan = 2 3,3,7899 Wall clock TIME (seconds) = 0.623 CPU/machine TIME (seconds) = 0.420 total makespan = 8 3,3,9 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.130 total makespan = 4 3,3,774 Wall clock TIME (seconds) = 0.440 CPU/machine TIME (seconds) = 0.340 total makespan = 7 4,3,3455 Wall clock TIME (seconds) = 0.520 CPU/machine TIME (seconds) = 0.390 total makespan = 8 4,3,12 Wall clock TIME (seconds) = 0.622 CPU/machine TIME (seconds) = 0.390 total makespan = 7 4,3,45 Wall clock TIME (seconds) = 0.200 CPU/machine TIME (seconds) = 0.170 total makespan = 5 4,3,78 Wall clock TIME (seconds) = 0.290 CPU/machine TIME (seconds) = 0.200 total makespan = 5 4,3,8546 Wall clock TIME (seconds) = 0.310 CPU/machine TIME (seconds) = 0.280 total makespan = 6 4,3,474 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.130 total makespan = 4 4,3,188 Wall clock TIME (seconds) = 0.317 CPU/machine TIME (seconds) = 0.230 total makespan = 5 4,3,7899 Wall clock TIME (seconds) = 0.430 CPU/machine TIME (seconds) = 0.300 total makespan = 6 4,3,9 Wall clock TIME (seconds) = 0.528 CPU/machine TIME (seconds) = 0.360 total makespan = 7 4,3,774 Wall clock TIME (seconds) = 0.439 CPU/machine TIME (seconds) = 0.320 total makespan = 6 5,3,3455 Wall clock TIME (seconds) = 0.470 CPU/machine TIME (seconds) = 0.330 total makespan = 7 5,3,12 Wall clock TIME (seconds) = 0.133 CPU/machine TIME (seconds) = 0.150 total makespan = 4 5,3,45 Wall clock TIME (seconds) = 0.254 CPU/machine TIME (seconds) = 0.250 total makespan = 6 5,3,78 Wall clock TIME (seconds) = 0.875 CPU/machine TIME (seconds) = 0.590 total makespan = 8 5,3,8546 Wall clock TIME (seconds) = 0.326 CPU/machine TIME (seconds) = 0.240 total makespan = 5 5,3,474 Wall clock TIME (seconds) = 0.721 CPU/machine TIME (seconds) = 0.470 total makespan = 7 5,3,188 Wall clock TIME (seconds) = 0.620 CPU/machine TIME (seconds) = 0.440 total makespan = 7 5,3,7899 Wall clock TIME (seconds) = 0.610 CPU/machine TIME (seconds) = 0.490 total makespan = 7 5,3,9 Wall clock TIME (seconds) = 0.307 CPU/machine TIME (seconds) = 0.360 total makespan = 7 5,3,774 Wall clock TIME (seconds) = 0.107 CPU/machine TIME (seconds) = 0.170 total makespan = 4 6,3,3455 Wall clock TIME (seconds) = 0.237 CPU/machine TIME (seconds) = 0.310 total makespan = 6 6,3,12 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.110 total makespan = 3 6,3,45 Wall clock TIME (seconds) = 0.508 CPU/machine TIME (seconds) = 0.360 total makespan = 7 6,3,78 Wall clock TIME (seconds) = 0.370 CPU/machine TIME (seconds) = 0.250 total makespan = 5 6,3,8546 Wall clock TIME (seconds) = 0.519 CPU/machine TIME (seconds) = 0.360 total makespan = 6 6,3,474 Wall clock TIME (seconds) = 0.243 CPU/machine TIME (seconds) = 0.180 total makespan = 4 6,3,188 Wall clock TIME (seconds) = 123.681 CPU/machine TIME (seconds) = 112.060 total makespan = 0 6,3,7899 Wall clock TIME (seconds) = 0.391 CPU/machine TIME (seconds) = 0.370 total makespan = 6 6,3,9 Wall clock TIME (seconds) = 0.285 CPU/machine TIME (seconds) = 0.390 total makespan = 7 6,3,774 Wall clock TIME (seconds) = 0.832 CPU/machine TIME (seconds) = 0.840 total makespan = 9 7,3,3455 Wall clock TIME (seconds) = 0.520 CPU/machine TIME (seconds) = 0.390 total makespan = 7 7,3,12 Wall clock TIME (seconds) = 0.363 CPU/machine TIME (seconds) = 0.260 total makespan = 5 7,3,45 Wall clock TIME (seconds) = 125.201 CPU/machine TIME (seconds) = 108.000 total makespan = 0 7,3,78 Wall clock TIME (seconds) = 80.370 CPU/machine TIME (seconds) = 64.720 total makespan = 0 7,3,8546 Wall clock TIME (seconds) = 0.937 CPU/machine TIME (seconds) = 0.550 total makespan = 7 7,3,474 Wall clock TIME (seconds) = 0.970 CPU/machine TIME (seconds) = 0.600 total makespan = 7 7,3,188 Wall clock TIME (seconds) = 0.802 CPU/machine TIME (seconds) = 0.510 total makespan = 7 7,3,7899 Wall clock TIME (seconds) = 107.883 CPU/machine TIME (seconds) = 96.300 total makespan = 0 7,3,9 Wall clock TIME (seconds) = 0.503 CPU/machine TIME (seconds) = 0.610 total makespan = 8 7,3,774 Wall clock TIME (seconds) = 0.948 CPU/machine TIME (seconds) = 1.020 total makespan = 9 8,3,3455 Wall clock TIME (seconds) = 1.507 CPU/machine TIME (seconds) = 1.610 total makespan = 9 8,3,12 Wall clock TIME (seconds) = 0.318 CPU/machine TIME (seconds) = 0.360 total makespan = 6 8,3,45 Wall clock TIME (seconds) = 70.676 CPU/machine TIME (seconds) = 65.230 total makespan = 0 8,3,78 Wall clock TIME (seconds) = 21.020 CPU/machine TIME (seconds) = 15.050 total makespan = 9 8,3,8546 Wall clock TIME (seconds) = 2.222 CPU/machine TIME (seconds) = 1.770 total makespan = 10 8,3,474 Wall clock TIME (seconds) = 0.789 CPU/machine TIME (seconds) = 0.480 total makespan = 6 8,3,188 Wall clock TIME (seconds) = 0.824 CPU/machine TIME (seconds) = 0.500 total makespan = 6 8,3,7899 Wall clock TIME (seconds) = 76.843 CPU/machine TIME (seconds) = 64.360 total makespan = 0 8,3,9 Wall clock TIME (seconds) = 1.485 CPU/machine TIME (seconds) = 1.140 total makespan = 10 8,3,774 Wall clock TIME (seconds) = 1.136 CPU/machine TIME (seconds) = 0.720 total makespan = 7 9,3,3455 Wall clock TIME (seconds) = 2.475 CPU/machine TIME (seconds) = 1.880 total makespan = 10 9,3,12 Wall clock TIME (seconds) = 0.424 CPU/machine TIME (seconds) = 0.500 total makespan = 6 9,3,45 Wall clock TIME (seconds) = 0.255 CPU/machine TIME (seconds) = 0.320 total makespan = 6 9,3,78 Wall clock TIME (seconds) = 64.688 CPU/machine TIME (seconds) = 60.630 total makespan = 0 9,3,8546 Wall clock TIME (seconds) = 0.590 CPU/machine TIME (seconds) = 0.370 total makespan = 5 9,3,474 Wall clock TIME (seconds) = 0.913 CPU/machine TIME (seconds) = 0.540 total makespan = 6 9,3,188 Wall clock TIME (seconds) = 1.349 CPU/machine TIME (seconds) = 0.820 total makespan = 7 9,3,7899 Wall clock TIME (seconds) = 73.423 CPU/machine TIME (seconds) = 63.180 total makespan = 0 9,3,9 Wall clock TIME (seconds) = 1.121 CPU/machine TIME (seconds) = 1.200 total makespan = 9 9,3,774 Wall clock TIME (seconds) = 0.230 CPU/machine TIME (seconds) = 0.270 total makespan = 5 10,3,3455 Wall clock TIME (seconds) = 0.714 CPU/machine TIME (seconds) = 0.730 total makespan = 9 10,3,12 Wall clock TIME (seconds) = 0.270 CPU/machine TIME (seconds) = 0.290 total makespan = 5 10,3,45 Wall clock TIME (seconds) = 1.927 CPU/machine TIME (seconds) = 1.980 total makespan = 8 10,3,78 Wall clock TIME (seconds) = 4.437 CPU/machine TIME (seconds) = 4.380 total makespan = 10 10,3,8546 Wall clock TIME (seconds) = 0.635 CPU/machine TIME (seconds) = 0.680 total makespan = 7 10,3,474 Wall clock TIME (seconds) = 0.365 CPU/machine TIME (seconds) = 0.410 total makespan = 5 10,3,188 Wall clock TIME (seconds) = 101.412 CPU/machine TIME (seconds) = 81.060 total makespan = 0 10,3,7899 Wall clock TIME (seconds) = 80.974 CPU/machine TIME (seconds) = 71.810 total makespan = 0 10,3,9 Wall clock TIME (seconds) = 1.514 CPU/machine TIME (seconds) = 0.860 total makespan = 8 10,3,774 Wall clock TIME (seconds) = 76.594 CPU/machine TIME (seconds) = 65.400 total makespan = 0 11,3,3455 Wall clock TIME (seconds) = 103.764 CPU/machine TIME (seconds) = 97.770 total makespan = 0 11,3,12 Wall clock TIME (seconds) = 3.889 CPU/machine TIME (seconds) = 3.100 total makespan = 8 11,3,45 Wall clock TIME (seconds) = 153.862 CPU/machine TIME (seconds) = 129.850 total makespan = 0 11,3,78 Wall clock TIME (seconds) = 4.161 CPU/machine TIME (seconds) = 3.110 total makespan = 9 11,3,8546 Wall clock TIME (seconds) = 1.962 CPU/machine TIME (seconds) = 1.360 total makespan = 8 11,3,474 Wall clock TIME (seconds) = 1.190 CPU/machine TIME (seconds) = 0.790 total makespan = 7 11,3,188 Wall clock TIME (seconds) = 8.009 CPU/machine TIME (seconds) = 6.150 total makespan = 8 11,3,7899 Wall clock TIME (seconds) = 105.194 CPU/machine TIME (seconds) = 95.850 total makespan = 0 11,3,9 Wall clock TIME (seconds) = 65.185 CPU/machine TIME (seconds) = 64.720 total makespan = 0 11,3,774 Wall clock TIME (seconds) = 2.766 CPU/machine TIME (seconds) = 2.260 total makespan = 8 12,3,3455 Wall clock TIME (seconds) = 71.571 CPU/machine TIME (seconds) = 63.100 total makespan = 0 12,3,12 Wall clock TIME (seconds) = 9.315 CPU/machine TIME (seconds) = 9.290 total makespan = 8 12,3,45 Wall clock TIME (seconds) = 88.307 CPU/machine TIME (seconds) = 77.500 total makespan = 0 12,3,78 Wall clock TIME (seconds) = 6.398 CPU/machine TIME (seconds) = 5.830 total makespan = 8 12,3,8546 Wall clock TIME (seconds) = 5.822 CPU/machine TIME (seconds) = 4.100 total makespan = 8 12,3,474 Wall clock TIME (seconds) = 2.154 CPU/machine TIME (seconds) = 1.430 total makespan = 7 12,3,188 Wall clock TIME (seconds) = 9.706 CPU/machine TIME (seconds) = 6.560 total makespan = 8 12,3,7899 Wall clock TIME (seconds) = 73.421 CPU/machine TIME (seconds) = 63.520 total makespan = 0 12,3,9 Wall clock TIME (seconds) = 1.831 CPU/machine TIME (seconds) = 1.360 total makespan = 8 12,3,774 Wall clock TIME (seconds) = 7.318 CPU/machine TIME (seconds) = 6.130 total makespan = 10 13,3,3455 Wall clock TIME (seconds) = 88.450 CPU/machine TIME (seconds) = 76.950 total makespan = 0 13,3,12 Wall clock TIME (seconds) = 16.004 CPU/machine TIME (seconds) = 13.370 total makespan = 8 13,3,45 Wall clock TIME (seconds) = 109.255 CPU/machine TIME (seconds) = 101.020 total makespan = 0 13,3,78 Wall clock TIME (seconds) = 60.857 CPU/machine TIME (seconds) = 60.910 total makespan = 0 13,3,8546 Wall clock TIME (seconds) = 1.018 CPU/machine TIME (seconds) = 1.100 total makespan = 7 13,3,474 Wall clock TIME (seconds) = 4.513 CPU/machine TIME (seconds) = 4.300 total makespan = 8 13,3,188 Wall clock TIME (seconds) = 0.549 CPU/machine TIME (seconds) = 0.620 total makespan = 6 13,3,7899 Wall clock TIME (seconds) = 65.205 CPU/machine TIME (seconds) = 63.070 total makespan = 0 13,3,9 Wall clock TIME (seconds) = 7.494 CPU/machine TIME (seconds) = 6.110 total makespan = 10 13,3,774 Wall clock TIME (seconds) = 2.643 CPU/machine TIME (seconds) = 1.970 total makespan = 8 14,3,3455 Wall clock TIME (seconds) = 64.445 CPU/machine TIME (seconds) = 63.250 total makespan = 0 14,3,12 Wall clock TIME (seconds) = 3.118 CPU/machine TIME (seconds) = 3.220 total makespan = 8 14,3,45 Wall clock TIME (seconds) = 65.784 CPU/machine TIME (seconds) = 65.890 total makespan = 0 14,3,78 Wall clock TIME (seconds) = 9.513 CPU/machine TIME (seconds) = 9.610 total makespan = 8 14,3,8546 Wall clock TIME (seconds) = 5.912 CPU/machine TIME (seconds) = 6.020 total makespan = 9 14,3,474 Wall clock TIME (seconds) = 1.547 CPU/machine TIME (seconds) = 1.610 total makespan = 6 14,3,188 Wall clock TIME (seconds) = 61.174 CPU/machine TIME (seconds) = 61.210 total makespan = 0 14,3,7899 Wall clock TIME (seconds) = 103.176 CPU/machine TIME (seconds) = 103.210 total makespan = 0 14,3,9 Wall clock TIME (seconds) = 95.306 CPU/machine TIME (seconds) = 95.420 total makespan = 0 14,3,774 Wall clock TIME (seconds) = 37.954 CPU/machine TIME (seconds) = 38.050 total makespan = 9 15,3,3455 Wall clock TIME (seconds) = 60.797 CPU/machine TIME (seconds) = 60.870 total makespan = 0 15,3,12 Wall clock TIME (seconds) = 65.385 CPU/machine TIME (seconds) = 65.430 total makespan = 0 15,3,45 Wall clock TIME (seconds) = 78.376 CPU/machine TIME (seconds) = 78.530 total makespan = 0 15,3,78 Wall clock TIME (seconds) = 68.338 CPU/machine TIME (seconds) = 68.420 total makespan = 0 15,3,8546 Wall clock TIME (seconds) = 32.217 CPU/machine TIME (seconds) = 32.330 total makespan = 9 15,3,474 Wall clock TIME (seconds) = 25.763 CPU/machine TIME (seconds) = 25.860 total makespan = 7 15,3,188 Wall clock TIME (seconds) = 61.409 CPU/machine TIME (seconds) = 61.530 total makespan = 0 15,3,7899 Wall clock TIME (seconds) = 60.807 CPU/machine TIME (seconds) = 60.910 total makespan = 0 15,3,9 Wall clock TIME (seconds) = 63.346 CPU/machine TIME (seconds) = 63.480 total makespan = 0 15,3,774 Wall clock TIME (seconds) = 33.346 CPU/machine TIME (seconds) = 33.470 total makespan = 9 1,4,3455 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.110 total makespan = 4 1,4,12 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.020 total makespan = 0 1,4,45 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.080 total makespan = 3 1,4,78 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.090 total makespan = 3 1,4,8546 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,4,474 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,4,188 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,4,7899 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.210 total makespan = 6 1,4,9 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.060 total makespan = 2 1,4,774 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.080 total makespan = 3 2,4,3455 Wall clock TIME (seconds) = 0.221 CPU/machine TIME (seconds) = 0.340 total makespan = 8 2,4,12 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.240 total makespan = 6 2,4,45 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.210 total makespan = 6 2,4,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.020 total makespan = 1 2,4,8546 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.140 total makespan = 4 2,4,474 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.090 total makespan = 3 2,4,188 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.130 total makespan = 4 2,4,7899 Wall clock TIME (seconds) = 0.120 CPU/machine TIME (seconds) = 0.190 total makespan = 5 2,4,9 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.160 total makespan = 5 2,4,774 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.130 total makespan = 4 3,4,3455 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.220 total makespan = 6 3,4,12 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.180 total makespan = 5 3,4,45 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.120 total makespan = 4 3,4,78 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.140 total makespan = 4 3,4,8546 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.190 total makespan = 5 3,4,474 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.190 total makespan = 5 3,4,188 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.140 total makespan = 4 3,4,7899 Wall clock TIME (seconds) = 0.462 CPU/machine TIME (seconds) = 0.570 total makespan = 9 3,4,9 Wall clock TIME (seconds) = 0.063 CPU/machine TIME (seconds) = 0.120 total makespan = 4 3,4,774 Wall clock TIME (seconds) = 0.298 CPU/machine TIME (seconds) = 0.350 total makespan = 8 4,4,3455 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.080 total makespan = 3 4,4,12 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.150 total makespan = 4 4,4,45 Wall clock TIME (seconds) = 0.267 CPU/machine TIME (seconds) = 0.340 total makespan = 8 4,4,78 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.040 total makespan = 2 4,4,8546 Wall clock TIME (seconds) = 0.226 CPU/machine TIME (seconds) = 0.300 total makespan = 6 4,4,474 Wall clock TIME (seconds) = 0.170 CPU/machine TIME (seconds) = 0.240 total makespan = 5 4,4,188 Wall clock TIME (seconds) = 0.244 CPU/machine TIME (seconds) = 0.330 total makespan = 7 4,4,7899 Wall clock TIME (seconds) = 0.202 CPU/machine TIME (seconds) = 0.270 total makespan = 6 4,4,9 Wall clock TIME (seconds) = 0.273 CPU/machine TIME (seconds) = 0.320 total makespan = 7 4,4,774 Wall clock TIME (seconds) = 0.189 CPU/machine TIME (seconds) = 0.270 total makespan = 6 5,4,3455 Wall clock TIME (seconds) = 0.356 CPU/machine TIME (seconds) = 0.430 total makespan = 8 5,4,12 Wall clock TIME (seconds) = 0.765 CPU/machine TIME (seconds) = 0.890 total makespan = 8 5,4,45 Wall clock TIME (seconds) = 0.206 CPU/machine TIME (seconds) = 0.260 total makespan = 6 5,4,78 Wall clock TIME (seconds) = 49.215 CPU/machine TIME (seconds) = 49.160 total makespan = 0 5,4,8546 Wall clock TIME (seconds) = 0.266 CPU/machine TIME (seconds) = 0.300 total makespan = 6 5,4,474 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.130 total makespan = 4 5,4,188 Wall clock TIME (seconds) = 0.197 CPU/machine TIME (seconds) = 0.130 total makespan = 4 5,4,7899 Wall clock TIME (seconds) = 0.626 CPU/machine TIME (seconds) = 0.420 total makespan = 7 5,4,9 Wall clock TIME (seconds) = 0.652 CPU/machine TIME (seconds) = 0.410 total makespan = 8 5,4,774 Wall clock TIME (seconds) = 0.477 CPU/machine TIME (seconds) = 0.560 total makespan = 8 6,4,3455 Wall clock TIME (seconds) = 0.168 CPU/machine TIME (seconds) = 0.210 total makespan = 6 6,4,12 Wall clock TIME (seconds) = 0.216 CPU/machine TIME (seconds) = 0.250 total makespan = 6 6,4,45 Wall clock TIME (seconds) = 0.472 CPU/machine TIME (seconds) = 0.340 total makespan = 7 6,4,78 Wall clock TIME (seconds) = 0.478 CPU/machine TIME (seconds) = 0.520 total makespan = 7 6,4,8546 Wall clock TIME (seconds) = 0.395 CPU/machine TIME (seconds) = 0.360 total makespan = 6 6,4,474 Wall clock TIME (seconds) = 123.045 CPU/machine TIME (seconds) = 109.760 total makespan = 0 6,4,188 Wall clock TIME (seconds) = 0.313 CPU/machine TIME (seconds) = 0.230 total makespan = 5 6,4,7899 Wall clock TIME (seconds) = 0.769 CPU/machine TIME (seconds) = 0.490 total makespan = 7 6,4,9 Wall clock TIME (seconds) = 0.444 CPU/machine TIME (seconds) = 0.330 total makespan = 6 6,4,774 Wall clock TIME (seconds) = 109.394 CPU/machine TIME (seconds) = 100.950 total makespan = 0 7,4,3455 Wall clock TIME (seconds) = 0.447 CPU/machine TIME (seconds) = 0.310 total makespan = 6 7,4,12 Wall clock TIME (seconds) = 0.268 CPU/machine TIME (seconds) = 0.230 total makespan = 5 7,4,45 Wall clock TIME (seconds) = 123.265 CPU/machine TIME (seconds) = 111.190 total makespan = 0 7,4,78 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.150 total makespan = 4 7,4,8546 Wall clock TIME (seconds) = 0.492 CPU/machine TIME (seconds) = 0.550 total makespan = 7 7,4,474 Wall clock TIME (seconds) = 74.241 CPU/machine TIME (seconds) = 74.240 total makespan = 0 7,4,188 Wall clock TIME (seconds) = 0.259 CPU/machine TIME (seconds) = 0.190 total makespan = 5 7,4,7899 Wall clock TIME (seconds) = 0.392 CPU/machine TIME (seconds) = 0.270 total makespan = 5 7,4,9 Wall clock TIME (seconds) = 0.424 CPU/machine TIME (seconds) = 0.300 total makespan = 6 7,4,774 Wall clock TIME (seconds) = 73.803 CPU/machine TIME (seconds) = 63.710 total makespan = 0 8,4,3455 Wall clock TIME (seconds) = 0.715 CPU/machine TIME (seconds) = 0.440 total makespan = 7 8,4,12 Wall clock TIME (seconds) = 0.798 CPU/machine TIME (seconds) = 0.500 total makespan = 6 8,4,45 Wall clock TIME (seconds) = 1.110 CPU/machine TIME (seconds) = 1.120 total makespan = 8 8,4,78 Wall clock TIME (seconds) = 0.230 CPU/machine TIME (seconds) = 0.280 total makespan = 5 8,4,8546 Wall clock TIME (seconds) = 0.252 CPU/machine TIME (seconds) = 0.290 total makespan = 5 8,4,474 Wall clock TIME (seconds) = 1.317 CPU/machine TIME (seconds) = 1.160 total makespan = 8 8,4,188 Wall clock TIME (seconds) = 0.938 CPU/machine TIME (seconds) = 0.640 total makespan = 7 8,4,7899 Wall clock TIME (seconds) = 0.494 CPU/machine TIME (seconds) = 0.320 total makespan = 5 8,4,9 Wall clock TIME (seconds) = 1.050 CPU/machine TIME (seconds) = 0.700 total makespan = 8 8,4,774 Wall clock TIME (seconds) = 1.590 CPU/machine TIME (seconds) = 1.010 total makespan = 7 9,4,3455 Wall clock TIME (seconds) = 0.993 CPU/machine TIME (seconds) = 0.580 total makespan = 7 9,4,12 Wall clock TIME (seconds) = 0.787 CPU/machine TIME (seconds) = 0.830 total makespan = 7 9,4,45 Wall clock TIME (seconds) = 74.144 CPU/machine TIME (seconds) = 67.050 total makespan = 0 9,4,78 Wall clock TIME (seconds) = 107.116 CPU/machine TIME (seconds) = 97.740 total makespan = 0 9,4,8546 Wall clock TIME (seconds) = 0.232 CPU/machine TIME (seconds) = 0.250 total makespan = 5 9,4,474 Wall clock TIME (seconds) = 124.351 CPU/machine TIME (seconds) = 118.870 total makespan = 0 9,4,188 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.200 total makespan = 4 9,4,7899 Wall clock TIME (seconds) = 0.552 CPU/machine TIME (seconds) = 0.630 total makespan = 6 9,4,9 Wall clock TIME (seconds) = 1.109 CPU/machine TIME (seconds) = 1.220 total makespan = 9 9,4,774 Wall clock TIME (seconds) = 65.517 CPU/machine TIME (seconds) = 65.670 total makespan = 0 10,4,3455 Wall clock TIME (seconds) = 0.829 CPU/machine TIME (seconds) = 0.910 total makespan = 8 10,4,12 Wall clock TIME (seconds) = 0.165 CPU/machine TIME (seconds) = 0.200 total makespan = 4 10,4,45 Wall clock TIME (seconds) = 0.295 CPU/machine TIME (seconds) = 0.350 total makespan = 6 10,4,78 Wall clock TIME (seconds) = 0.148 CPU/machine TIME (seconds) = 0.190 total makespan = 4 10,4,8546 Wall clock TIME (seconds) = 0.777 CPU/machine TIME (seconds) = 0.840 total makespan = 7 10,4,474 Wall clock TIME (seconds) = 1.183 CPU/machine TIME (seconds) = 1.040 total makespan = 7 10,4,188 Wall clock TIME (seconds) = 0.861 CPU/machine TIME (seconds) = 0.540 total makespan = 6 10,4,7899 Wall clock TIME (seconds) = 0.431 CPU/machine TIME (seconds) = 0.330 total makespan = 5 10,4,9 Wall clock TIME (seconds) = 75.966 CPU/machine TIME (seconds) = 67.600 total makespan = 0 10,4,774 Wall clock TIME (seconds) = 3.837 CPU/machine TIME (seconds) = 2.230 total makespan = 9 11,4,3455 Wall clock TIME (seconds) = 1.193 CPU/machine TIME (seconds) = 0.790 total makespan = 8 11,4,12 Wall clock TIME (seconds) = 0.524 CPU/machine TIME (seconds) = 0.330 total makespan = 5 11,4,45 Wall clock TIME (seconds) = 4.000 CPU/machine TIME (seconds) = 3.560 total makespan = 8 11,4,78 Wall clock TIME (seconds) = 145.014 CPU/machine TIME (seconds) = 142.910 total makespan = 0 11,4,8546 Wall clock TIME (seconds) = 3.247 CPU/machine TIME (seconds) = 2.530 total makespan = 9 11,4,474 Wall clock TIME (seconds) = 69.013 CPU/machine TIME (seconds) = 63.330 total makespan = 0 11,4,188 Wall clock TIME (seconds) = 0.646 CPU/machine TIME (seconds) = 0.670 total makespan = 6 11,4,7899 Wall clock TIME (seconds) = 1.333 CPU/machine TIME (seconds) = 1.400 total makespan = 9 11,4,9 Wall clock TIME (seconds) = 3.154 CPU/machine TIME (seconds) = 2.580 total makespan = 9 11,4,774 Wall clock TIME (seconds) = 2.035 CPU/machine TIME (seconds) = 1.840 total makespan = 8 12,4,3455 Wall clock TIME (seconds) = 76.421 CPU/machine TIME (seconds) = 67.200 total makespan = 0 12,4,12 Wall clock TIME (seconds) = 11.623 CPU/machine TIME (seconds) = 10.030 total makespan = 8 12,4,45 Wall clock TIME (seconds) = 4.098 CPU/machine TIME (seconds) = 3.300 total makespan = 8 12,4,78 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.140 total makespan = 3 12,4,8546 Wall clock TIME (seconds) = 0.910 CPU/machine TIME (seconds) = 0.990 total makespan = 7 12,4,474 Wall clock TIME (seconds) = 2.532 CPU/machine TIME (seconds) = 2.270 total makespan = 7 12,4,188 Wall clock TIME (seconds) = 3.327 CPU/machine TIME (seconds) = 2.710 total makespan = 7 12,4,7899 Wall clock TIME (seconds) = 1.787 CPU/machine TIME (seconds) = 1.190 total makespan = 7 12,4,9 Wall clock TIME (seconds) = 106.343 CPU/machine TIME (seconds) = 99.360 total makespan = 0 12,4,774 Wall clock TIME (seconds) = 5.856 CPU/machine TIME (seconds) = 5.970 total makespan = 10 13,4,3455 Wall clock TIME (seconds) = 72.390 CPU/machine TIME (seconds) = 62.090 total makespan = 0 13,4,12 Wall clock TIME (seconds) = 5.789 CPU/machine TIME (seconds) = 4.820 total makespan = 8 13,4,45 Wall clock TIME (seconds) = 73.758 CPU/machine TIME (seconds) = 62.270 total makespan = 0 13,4,78 Wall clock TIME (seconds) = 1.491 CPU/machine TIME (seconds) = 1.190 total makespan = 6 13,4,8546 Wall clock TIME (seconds) = 7.360 CPU/machine TIME (seconds) = 6.950 total makespan = 10 13,4,474 Wall clock TIME (seconds) = 1.827 CPU/machine TIME (seconds) = 1.650 total makespan = 7 13,4,188 Wall clock TIME (seconds) = 88.874 CPU/machine TIME (seconds) = 84.490 total makespan = 0 13,4,7899 Wall clock TIME (seconds) = 2.142 CPU/machine TIME (seconds) = 2.230 total makespan = 7 13,4,9 Wall clock TIME (seconds) = 12.868 CPU/machine TIME (seconds) = 9.720 total makespan = 10 13,4,774 Wall clock TIME (seconds) = 4.647 CPU/machine TIME (seconds) = 3.750 total makespan = 8 14,4,3455 Wall clock TIME (seconds) = 8.335 CPU/machine TIME (seconds) = 7.080 total makespan = 8 14,4,12 Wall clock TIME (seconds) = 76.852 CPU/machine TIME (seconds) = 67.500 total makespan = 0 14,4,45 Wall clock TIME (seconds) = 70.403 CPU/machine TIME (seconds) = 63.520 total makespan = 0 14,4,78 Wall clock TIME (seconds) = 7.249 CPU/machine TIME (seconds) = 6.380 total makespan = 6 14,4,8546 Wall clock TIME (seconds) = 13.426 CPU/machine TIME (seconds) = 10.960 total makespan = 9 14,4,474 Wall clock TIME (seconds) = 7.746 CPU/machine TIME (seconds) = 5.540 total makespan = 8 14,4,188 Wall clock TIME (seconds) = 68.465 CPU/machine TIME (seconds) = 64.790 total makespan = 0 14,4,7899 Wall clock TIME (seconds) = 5.593 CPU/machine TIME (seconds) = 3.820 total makespan = 7 14,4,9 Wall clock TIME (seconds) = 75.610 CPU/machine TIME (seconds) = 67.270 total makespan = 0 14,4,774 Wall clock TIME (seconds) = 15.924 CPU/machine TIME (seconds) = 15.890 total makespan = 8 15,4,3455 Wall clock TIME (seconds) = 40.955 CPU/machine TIME (seconds) = 33.260 total makespan = 9 15,4,12 Wall clock TIME (seconds) = 68.024 CPU/machine TIME (seconds) = 61.840 total makespan = 0 15,4,45 Wall clock TIME (seconds) = 74.222 CPU/machine TIME (seconds) = 67.670 total makespan = 0 15,4,78 Wall clock TIME (seconds) = 13.672 CPU/machine TIME (seconds) = 13.780 total makespan = 8 15,4,8546 Wall clock TIME (seconds) = 65.273 CPU/machine TIME (seconds) = 65.330 total makespan = 0 15,4,474 Wall clock TIME (seconds) = 10.117 CPU/machine TIME (seconds) = 10.220 total makespan = 8 15,4,188 Wall clock TIME (seconds) = 73.577 CPU/machine TIME (seconds) = 73.670 total makespan = 0 15,4,7899 Wall clock TIME (seconds) = 27.695 CPU/machine TIME (seconds) = 27.080 total makespan = 7 15,4,9 Wall clock TIME (seconds) = 103.223 CPU/machine TIME (seconds) = 91.680 total makespan = 0 15,4,774 Wall clock TIME (seconds) = 68.610 CPU/machine TIME (seconds) = 59.670 total makespan = 9