grid size = 12 max robots = 72 1,3455 Wall clock TIME (seconds) = 0.096 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 1,12 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 1,45 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 1,78 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 1,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 1,474 Wall clock TIME (seconds) = 0.248 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 1,188 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 1,7899 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 1,9 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 1,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 2,3455 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 2,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 2,45 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 2,78 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.070 Wall clock TIME (seconds) = 0.421 CPU/machine TIME (seconds) = 0.410 2,8546 Wall clock TIME (seconds) = 0.133 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 2,474 Wall clock TIME (seconds) = 0.082 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 2,188 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 2,7899 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 2,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 2,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 3,3455 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 3,12 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 3,45 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 3,78 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 3,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.070 3,474 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 3,188 Wall clock TIME (seconds) = 0.256 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 3,7899 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 3,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 3,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 4,3455 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 4,12 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 4,45 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 4,78 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 4,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 4,474 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 4,188 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.020 4,7899 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 4,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 4,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 5,3455 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 5,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 5,45 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 5,78 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.120 Wall clock TIME (seconds) = 2.093 CPU/machine TIME (seconds) = 2.090 5,8546 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 5,474 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 5,188 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.100 Wall clock TIME (seconds) = 0.618 CPU/machine TIME (seconds) = 0.610 5,7899 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 5,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 5,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.020 6,3455 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 6,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 6,45 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 2.641 CPU/machine TIME (seconds) = 2.620 6,78 Wall clock TIME (seconds) = 9.537 CPU/machine TIME (seconds) = 9.480 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 6,8546 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 6,474 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 6,188 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.050 Wall clock TIME (seconds) = 0.563 CPU/machine TIME (seconds) = 0.550 6,7899 Wall clock TIME (seconds) = 0.240 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.020 6,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 6,774 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 Wall clock TIME (seconds) = 6.983 CPU/machine TIME (seconds) = 6.970 7,3455 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.090 7,12 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 7,45 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.060 Wall clock TIME (seconds) = 1.633 CPU/machine TIME (seconds) = 1.620 7,78 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.020 7,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 7,474 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 7,188 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 7,7899 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 7,9 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 7,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 8,3455 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 Wall clock TIME (seconds) = 4.147 CPU/machine TIME (seconds) = 4.140 8,12 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 8,45 Wall clock TIME (seconds) = 2.201 CPU/machine TIME (seconds) = 2.040 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 8,78 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 8,8546 Wall clock TIME (seconds) = 9.059 CPU/machine TIME (seconds) = 9.050 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 8,474 Wall clock TIME (seconds) = 0.109 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 0.677 CPU/machine TIME (seconds) = 0.670 8,188 Wall clock TIME (seconds) = 3.348 CPU/machine TIME (seconds) = 3.320 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 8,7899 Wall clock TIME (seconds) = 9.779 CPU/machine TIME (seconds) = 9.730 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 8,9 Wall clock TIME (seconds) = 0.086 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 8,774 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 1.982 CPU/machine TIME (seconds) = 1.970 9,3455 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.366 CPU/machine TIME (seconds) = 0.360 9,12 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.010 9,45 Wall clock TIME (seconds) = 9.728 CPU/machine TIME (seconds) = 9.720 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 9,78 Wall clock TIME (seconds) = 8.902 CPU/machine TIME (seconds) = 8.860 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 9,8546 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.224 CPU/machine TIME (seconds) = 0.220 9,474 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 1.326 CPU/machine TIME (seconds) = 1.320 9,188 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 9,7899 Wall clock TIME (seconds) = 8.128 CPU/machine TIME (seconds) = 8.130 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 9,9 Wall clock TIME (seconds) = 9.590 CPU/machine TIME (seconds) = 9.560 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 9,774 Wall clock TIME (seconds) = 8.481 CPU/machine TIME (seconds) = 8.350 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 10,3455 Wall clock TIME (seconds) = 10.474 CPU/machine TIME (seconds) = 10.050 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 10,12 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 10,45 Wall clock TIME (seconds) = 9.759 CPU/machine TIME (seconds) = 9.750 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 10,78 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.040 10,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.040 10,474 Wall clock TIME (seconds) = 0.153 CPU/machine TIME (seconds) = 0.160 Wall clock TIME (seconds) = 3.194 CPU/machine TIME (seconds) = 3.180 10,188 Wall clock TIME (seconds) = 8.850 CPU/machine TIME (seconds) = 8.790 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 10,7899 Wall clock TIME (seconds) = 9.362 CPU/machine TIME (seconds) = 9.130 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 10,9 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 10,774 Wall clock TIME (seconds) = 9.715 CPU/machine TIME (seconds) = 9.710 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 11,3455 Wall clock TIME (seconds) = 12.319 CPU/machine TIME (seconds) = 12.230 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 11,12 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 11,45 Wall clock TIME (seconds) = 9.777 CPU/machine TIME (seconds) = 9.770 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 11,78 Wall clock TIME (seconds) = 9.277 CPU/machine TIME (seconds) = 9.230 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 11,8546 Wall clock TIME (seconds) = 8.174 CPU/machine TIME (seconds) = 8.080 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 11,474 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.050 11,188 Wall clock TIME (seconds) = 9.407 CPU/machine TIME (seconds) = 9.400 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 11,7899 Wall clock TIME (seconds) = 8.059 CPU/machine TIME (seconds) = 7.900 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 11,9 Wall clock TIME (seconds) = 0.145 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 11,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.060 12,3455 Wall clock TIME (seconds) = 10.437 CPU/machine TIME (seconds) = 10.420 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 12,12 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.060 12,45 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.080 12,78 Wall clock TIME (seconds) = 10.358 CPU/machine TIME (seconds) = 10.340 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 12,8546 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.060 12,474 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.070 12,188 Wall clock TIME (seconds) = 9.746 CPU/machine TIME (seconds) = 9.700 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 12,7899 Wall clock TIME (seconds) = 9.474 CPU/machine TIME (seconds) = 9.430 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 12,9 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 12,774 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.639 CPU/machine TIME (seconds) = 0.630 13,3455 Wall clock TIME (seconds) = 10.396 CPU/machine TIME (seconds) = 10.340 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 13,12 Wall clock TIME (seconds) = 9.965 CPU/machine TIME (seconds) = 9.870 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 13,45 Wall clock TIME (seconds) = 9.523 CPU/machine TIME (seconds) = 9.440 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 13,78 Wall clock TIME (seconds) = 10.197 CPU/machine TIME (seconds) = 10.120 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 13,8546 Wall clock TIME (seconds) = 0.183 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.888 CPU/machine TIME (seconds) = 0.890 13,474 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 3.446 CPU/machine TIME (seconds) = 3.440 13,188 Wall clock TIME (seconds) = 10.138 CPU/machine TIME (seconds) = 10.100 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 13,7899 Wall clock TIME (seconds) = 0.242 CPU/machine TIME (seconds) = 0.200 Wall clock TIME (seconds) = 1.582 CPU/machine TIME (seconds) = 1.580 13,9 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 13,774 Wall clock TIME (seconds) = 9.197 CPU/machine TIME (seconds) = 9.190 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 14,3455 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 1.128 CPU/machine TIME (seconds) = 1.130 14,12 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 14,45 Wall clock TIME (seconds) = 9.799 CPU/machine TIME (seconds) = 9.800 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 14,78 Wall clock TIME (seconds) = 0.713 CPU/machine TIME (seconds) = 0.650 Wall clock TIME (seconds) = 18.767 CPU/machine TIME (seconds) = 18.760 14,8546 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 14,474 Wall clock TIME (seconds) = 9.448 CPU/machine TIME (seconds) = 9.440 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 14,188 Wall clock TIME (seconds) = 9.370 CPU/machine TIME (seconds) = 9.350 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 14,7899 Wall clock TIME (seconds) = 9.741 CPU/machine TIME (seconds) = 9.660 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 14,9 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 14,774 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.277 CPU/machine TIME (seconds) = 0.270 15,3455 Wall clock TIME (seconds) = 8.549 CPU/machine TIME (seconds) = 8.510 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 15,12 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 15,45 Wall clock TIME (seconds) = 8.619 CPU/machine TIME (seconds) = 8.610 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 15,78 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 15,8546 Wall clock TIME (seconds) = 8.956 CPU/machine TIME (seconds) = 8.940 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 15,474 Wall clock TIME (seconds) = 0.194 CPU/machine TIME (seconds) = 0.180 Wall clock TIME (seconds) = 5.494 CPU/machine TIME (seconds) = 5.490 15,188 Wall clock TIME (seconds) = 1.914 CPU/machine TIME (seconds) = 1.830 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 15,7899 Wall clock TIME (seconds) = 7.957 CPU/machine TIME (seconds) = 7.900 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 15,9 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 15,774 Wall clock TIME (seconds) = 9.440 CPU/machine TIME (seconds) = 9.440 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 16,3455 Wall clock TIME (seconds) = 10.279 CPU/machine TIME (seconds) = 9.990 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 16,12 Wall clock TIME (seconds) = 0.181 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 16,45 Wall clock TIME (seconds) = 9.673 CPU/machine TIME (seconds) = 9.630 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 16,78 Wall clock TIME (seconds) = 10.158 CPU/machine TIME (seconds) = 10.100 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 16,8546 Wall clock TIME (seconds) = 8.768 CPU/machine TIME (seconds) = 8.720 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 16,474 Wall clock TIME (seconds) = 9.858 CPU/machine TIME (seconds) = 9.760 Wall clock TIME (seconds) = 64.379 CPU/machine TIME (seconds) = 64.010 16,188 Wall clock TIME (seconds) = 10.086 CPU/machine TIME (seconds) = 10.060 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 16,7899 Wall clock TIME (seconds) = 8.989 CPU/machine TIME (seconds) = 8.930 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 16,9 Wall clock TIME (seconds) = 0.236 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 16,774 Wall clock TIME (seconds) = 9.028 CPU/machine TIME (seconds) = 9.010 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 17,3455 Wall clock TIME (seconds) = 10.119 CPU/machine TIME (seconds) = 10.100 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 17,12 Wall clock TIME (seconds) = 0.167 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.010 17,45 Wall clock TIME (seconds) = 10.355 CPU/machine TIME (seconds) = 10.240 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 17,78 Wall clock TIME (seconds) = 10.255 CPU/machine TIME (seconds) = 10.010 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 17,8546 Wall clock TIME (seconds) = 10.377 CPU/machine TIME (seconds) = 9.910 Wall clock TIME (seconds) = 65.492 CPU/machine TIME (seconds) = 64.010 17,474 Wall clock TIME (seconds) = 10.710 CPU/machine TIME (seconds) = 10.630 Wall clock TIME (seconds) = 65.360 CPU/machine TIME (seconds) = 64.010 17,188 Wall clock TIME (seconds) = 10.420 CPU/machine TIME (seconds) = 9.890 Wall clock TIME (seconds) = 64.237 CPU/machine TIME (seconds) = 64.010 17,7899 Wall clock TIME (seconds) = 0.890 CPU/machine TIME (seconds) = 0.500 Wall clock TIME (seconds) = 72.221 CPU/machine TIME (seconds) = 70.240 17,9 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 17,774 Wall clock TIME (seconds) = 10.781 CPU/machine TIME (seconds) = 9.590 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 18,3455 Wall clock TIME (seconds) = 8.846 CPU/machine TIME (seconds) = 8.610 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 18,12 Wall clock TIME (seconds) = 0.141 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 18,45 Wall clock TIME (seconds) = 11.197 CPU/machine TIME (seconds) = 10.610 Wall clock TIME (seconds) = 65.399 CPU/machine TIME (seconds) = 64.010 18,78 Wall clock TIME (seconds) = 0.743 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 18,8546 Wall clock TIME (seconds) = 10.076 CPU/machine TIME (seconds) = 10.070 Wall clock TIME (seconds) = 64.063 CPU/machine TIME (seconds) = 64.010 18,474 Wall clock TIME (seconds) = 10.844 CPU/machine TIME (seconds) = 10.710 Wall clock TIME (seconds) = 64.073 CPU/machine TIME (seconds) = 64.010 18,188 Wall clock TIME (seconds) = 12.523 CPU/machine TIME (seconds) = 12.510 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 18,7899 Wall clock TIME (seconds) = 10.629 CPU/machine TIME (seconds) = 10.630 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 18,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 18,774 Wall clock TIME (seconds) = 9.374 CPU/machine TIME (seconds) = 9.370 Wall clock TIME (seconds) = 64.057 CPU/machine TIME (seconds) = 64.010 19,3455 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.050 19,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 19,45 Wall clock TIME (seconds) = 10.324 CPU/machine TIME (seconds) = 10.310 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 19,78 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.030 19,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 19,474 Wall clock TIME (seconds) = 9.962 CPU/machine TIME (seconds) = 9.960 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 19,188 Wall clock TIME (seconds) = 9.119 CPU/machine TIME (seconds) = 9.100 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 19,7899 Wall clock TIME (seconds) = 9.699 CPU/machine TIME (seconds) = 9.690 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 19,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 19,774 Wall clock TIME (seconds) = 9.588 CPU/machine TIME (seconds) = 9.580 Wall clock TIME (seconds) = 64.050 CPU/machine TIME (seconds) = 64.010 20,3455 Wall clock TIME (seconds) = 9.791 CPU/machine TIME (seconds) = 9.780 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 20,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 20,45 Wall clock TIME (seconds) = 9.263 CPU/machine TIME (seconds) = 9.240 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 20,78 Wall clock TIME (seconds) = 9.462 CPU/machine TIME (seconds) = 9.460 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 20,8546 Wall clock TIME (seconds) = 0.297 CPU/machine TIME (seconds) = 0.290 Wall clock TIME (seconds) = 70.694 CPU/machine TIME (seconds) = 70.650 20,474 Wall clock TIME (seconds) = 2.024 CPU/machine TIME (seconds) = 1.870 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 20,188 Wall clock TIME (seconds) = 12.399 CPU/machine TIME (seconds) = 10.860 Wall clock TIME (seconds) = 66.354 CPU/machine TIME (seconds) = 64.010 20,7899 Wall clock TIME (seconds) = 10.175 CPU/machine TIME (seconds) = 9.890 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 20,9 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 20,774 Wall clock TIME (seconds) = 8.127 CPU/machine TIME (seconds) = 8.110 Wall clock TIME (seconds) = 64.241 CPU/machine TIME (seconds) = 64.010 21,3455 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.050 21,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 21,45 Wall clock TIME (seconds) = 11.239 CPU/machine TIME (seconds) = 11.230 Wall clock TIME (seconds) = 66.825 CPU/machine TIME (seconds) = 64.010 21,78 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 21,8546 Wall clock TIME (seconds) = 9.266 CPU/machine TIME (seconds) = 9.260 Wall clock TIME (seconds) = 64.184 CPU/machine TIME (seconds) = 64.010 21,474 Wall clock TIME (seconds) = 10.581 CPU/machine TIME (seconds) = 10.340 Wall clock TIME (seconds) = 64.544 CPU/machine TIME (seconds) = 64.010 21,188 Wall clock TIME (seconds) = 9.014 CPU/machine TIME (seconds) = 8.950 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 21,7899 Wall clock TIME (seconds) = 10.142 CPU/machine TIME (seconds) = 10.090 Wall clock TIME (seconds) = 64.520 CPU/machine TIME (seconds) = 64.010 21,9 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 21,774 Wall clock TIME (seconds) = 8.345 CPU/machine TIME (seconds) = 8.340 Wall clock TIME (seconds) = 64.068 CPU/machine TIME (seconds) = 64.010 22,3455 Wall clock TIME (seconds) = 2.879 CPU/machine TIME (seconds) = 2.660 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 22,12 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 22,45 Wall clock TIME (seconds) = 9.753 CPU/machine TIME (seconds) = 9.750 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 22,78 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.050 22,8546 Wall clock TIME (seconds) = 9.344 CPU/machine TIME (seconds) = 9.340 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 22,474 Wall clock TIME (seconds) = 9.129 CPU/machine TIME (seconds) = 9.120 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 22,188 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 22,7899 Wall clock TIME (seconds) = 8.849 CPU/machine TIME (seconds) = 8.830 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 22,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 22,774 Wall clock TIME (seconds) = 9.158 CPU/machine TIME (seconds) = 9.150 Wall clock TIME (seconds) = 64.078 CPU/machine TIME (seconds) = 64.010 23,3455 Wall clock TIME (seconds) = 8.807 CPU/machine TIME (seconds) = 8.800 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 23,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 23,45 Wall clock TIME (seconds) = 11.168 CPU/machine TIME (seconds) = 11.160 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 23,78 Wall clock TIME (seconds) = 11.284 CPU/machine TIME (seconds) = 11.280 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 23,8546 Wall clock TIME (seconds) = 8.693 CPU/machine TIME (seconds) = 8.690 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 23,474 Wall clock TIME (seconds) = 10.571 CPU/machine TIME (seconds) = 10.560 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 23,188 Wall clock TIME (seconds) = 9.821 CPU/machine TIME (seconds) = 9.790 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 23,7899 Wall clock TIME (seconds) = 10.867 CPU/machine TIME (seconds) = 10.860 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 23,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 23,774 Wall clock TIME (seconds) = 8.861 CPU/machine TIME (seconds) = 8.860 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 24,3455 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.050 24,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 24,45 Wall clock TIME (seconds) = 0.294 CPU/machine TIME (seconds) = 0.290 Wall clock TIME (seconds) = 68.758 CPU/machine TIME (seconds) = 68.710 24,78 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 24,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 24,474 Wall clock TIME (seconds) = 10.731 CPU/machine TIME (seconds) = 10.720 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 24,188 Wall clock TIME (seconds) = 4.433 CPU/machine TIME (seconds) = 4.430 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 24,7899 Wall clock TIME (seconds) = 4.092 CPU/machine TIME (seconds) = 4.080 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 24,9 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 24,774 Wall clock TIME (seconds) = 9.882 CPU/machine TIME (seconds) = 9.870 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 25,3455 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 25,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 25,45 Wall clock TIME (seconds) = 7.417 CPU/machine TIME (seconds) = 7.410 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 25,78 Wall clock TIME (seconds) = 10.413 CPU/machine TIME (seconds) = 10.410 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 25,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 25,474 Wall clock TIME (seconds) = 9.618 CPU/machine TIME (seconds) = 9.610 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 25,188 Wall clock TIME (seconds) = 9.683 CPU/machine TIME (seconds) = 9.680 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 25,7899 Wall clock TIME (seconds) = 9.713 CPU/machine TIME (seconds) = 9.710 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 25,9 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 25,774 Wall clock TIME (seconds) = 8.140 CPU/machine TIME (seconds) = 8.130 Wall clock TIME (seconds) = 64.061 CPU/machine TIME (seconds) = 64.010 26,3455 Wall clock TIME (seconds) = 10.422 CPU/machine TIME (seconds) = 10.410 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 26,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.030 26,45 Wall clock TIME (seconds) = 9.506 CPU/machine TIME (seconds) = 9.500 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 26,78 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.040 26,8546 Wall clock TIME (seconds) = 9.253 CPU/machine TIME (seconds) = 9.250 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 26,474 Wall clock TIME (seconds) = 10.591 CPU/machine TIME (seconds) = 10.580 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 26,188 Wall clock TIME (seconds) = 10.167 CPU/machine TIME (seconds) = 10.160 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 26,7899 Wall clock TIME (seconds) = 8.973 CPU/machine TIME (seconds) = 8.960 Wall clock TIME (seconds) = 65.322 CPU/machine TIME (seconds) = 64.010 26,9 Wall clock TIME (seconds) = 0.226 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 26,774 Wall clock TIME (seconds) = 10.505 CPU/machine TIME (seconds) = 10.430 Wall clock TIME (seconds) = 65.174 CPU/machine TIME (seconds) = 64.010 27,3455 Wall clock TIME (seconds) = 8.668 CPU/machine TIME (seconds) = 8.620 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 27,12 Wall clock TIME (seconds) = 0.212 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 27,45 Wall clock TIME (seconds) = 10.662 CPU/machine TIME (seconds) = 10.600 Wall clock TIME (seconds) = 69.846 CPU/machine TIME (seconds) = 64.010 27,78 Wall clock TIME (seconds) = 0.345 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 27,8546 Wall clock TIME (seconds) = 8.688 CPU/machine TIME (seconds) = 8.690 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 27,474 Wall clock TIME (seconds) = 10.692 CPU/machine TIME (seconds) = 9.800 Wall clock TIME (seconds) = 66.714 CPU/machine TIME (seconds) = 64.010 27,188 Wall clock TIME (seconds) = 10.474 CPU/machine TIME (seconds) = 9.940 Wall clock TIME (seconds) = 64.236 CPU/machine TIME (seconds) = 64.010 27,7899 Wall clock TIME (seconds) = 10.631 CPU/machine TIME (seconds) = 9.210 Wall clock TIME (seconds) = 64.561 CPU/machine TIME (seconds) = 64.010 27,9 Wall clock TIME (seconds) = 0.299 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 27,774 Wall clock TIME (seconds) = 10.790 CPU/machine TIME (seconds) = 10.130 Wall clock TIME (seconds) = 65.710 CPU/machine TIME (seconds) = 64.010 28,3455 Wall clock TIME (seconds) = 10.913 CPU/machine TIME (seconds) = 9.390 Wall clock TIME (seconds) = 64.119 CPU/machine TIME (seconds) = 64.010 28,12 Wall clock TIME (seconds) = 0.224 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 28,45 Wall clock TIME (seconds) = 10.650 CPU/machine TIME (seconds) = 10.640 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 28,78 Wall clock TIME (seconds) = 9.160 CPU/machine TIME (seconds) = 9.020 Wall clock TIME (seconds) = 64.050 CPU/machine TIME (seconds) = 64.010 28,8546 Wall clock TIME (seconds) = 8.991 CPU/machine TIME (seconds) = 8.880 Wall clock TIME (seconds) = 64.085 CPU/machine TIME (seconds) = 64.010 28,474 Wall clock TIME (seconds) = 8.812 CPU/machine TIME (seconds) = 8.760 Wall clock TIME (seconds) = 65.768 CPU/machine TIME (seconds) = 64.010 28,188 Wall clock TIME (seconds) = 11.814 CPU/machine TIME (seconds) = 10.160 Wall clock TIME (seconds) = 66.262 CPU/machine TIME (seconds) = 64.010 28,7899 Wall clock TIME (seconds) = 9.459 CPU/machine TIME (seconds) = 9.120 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 28,9 Wall clock TIME (seconds) = 0.590 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 28,774 Wall clock TIME (seconds) = 9.180 CPU/machine TIME (seconds) = 9.180 Wall clock TIME (seconds) = 65.200 CPU/machine TIME (seconds) = 64.010 29,3455 Wall clock TIME (seconds) = 5.382 CPU/machine TIME (seconds) = 5.350 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 29,12 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.040 29,45 Wall clock TIME (seconds) = 8.414 CPU/machine TIME (seconds) = 8.400 Wall clock TIME (seconds) = 64.824 CPU/machine TIME (seconds) = 64.010 29,78 Wall clock TIME (seconds) = 10.003 CPU/machine TIME (seconds) = 9.860 Wall clock TIME (seconds) = 65.928 CPU/machine TIME (seconds) = 64.010 29,8546 Wall clock TIME (seconds) = 10.175 CPU/machine TIME (seconds) = 10.130 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 29,474 Wall clock TIME (seconds) = 9.329 CPU/machine TIME (seconds) = 9.280 Wall clock TIME (seconds) = 64.154 CPU/machine TIME (seconds) = 64.010 29,188 Wall clock TIME (seconds) = 9.898 CPU/machine TIME (seconds) = 9.780 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 29,7899 Wall clock TIME (seconds) = 10.554 CPU/machine TIME (seconds) = 9.810 Wall clock TIME (seconds) = 65.878 CPU/machine TIME (seconds) = 64.010 29,9 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 29,774 Wall clock TIME (seconds) = 9.903 CPU/machine TIME (seconds) = 9.700 Wall clock TIME (seconds) = 66.447 CPU/machine TIME (seconds) = 64.010 30,3455 Wall clock TIME (seconds) = 9.004 CPU/machine TIME (seconds) = 8.880 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 30,12 Wall clock TIME (seconds) = 0.260 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 30,45 Wall clock TIME (seconds) = 10.936 CPU/machine TIME (seconds) = 10.780 Wall clock TIME (seconds) = 64.653 CPU/machine TIME (seconds) = 64.010 30,78 Wall clock TIME (seconds) = 0.416 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 30,8546 Wall clock TIME (seconds) = 0.428 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 30,474 Wall clock TIME (seconds) = 10.563 CPU/machine TIME (seconds) = 9.590 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 30,188 Wall clock TIME (seconds) = 0.692 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 30,7899 Wall clock TIME (seconds) = 10.507 CPU/machine TIME (seconds) = 10.060 Wall clock TIME (seconds) = 67.678 CPU/machine TIME (seconds) = 64.010 30,9 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 30,774 Wall clock TIME (seconds) = 10.082 CPU/machine TIME (seconds) = 10.080 Wall clock TIME (seconds) = 64.048 CPU/machine TIME (seconds) = 64.010 31,3455 Wall clock TIME (seconds) = 10.601 CPU/machine TIME (seconds) = 10.190 Wall clock TIME (seconds) = 67.176 CPU/machine TIME (seconds) = 64.010 31,12 Wall clock TIME (seconds) = 0.333 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 31,45 Wall clock TIME (seconds) = 9.670 CPU/machine TIME (seconds) = 9.660 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 31,78 Wall clock TIME (seconds) = 0.294 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 31,8546 Wall clock TIME (seconds) = 12.241 CPU/machine TIME (seconds) = 10.670 Wall clock TIME (seconds) = 66.459 CPU/machine TIME (seconds) = 64.010 31,474 Wall clock TIME (seconds) = 1.471 CPU/machine TIME (seconds) = 1.040 Wall clock TIME (seconds) = 64.092 CPU/machine TIME (seconds) = 64.010 31,188 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.080 31,7899 Wall clock TIME (seconds) = 9.595 CPU/machine TIME (seconds) = 9.590 Wall clock TIME (seconds) = 64.106 CPU/machine TIME (seconds) = 64.010 31,9 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 31,774 Wall clock TIME (seconds) = 9.636 CPU/machine TIME (seconds) = 9.630 Wall clock TIME (seconds) = 64.226 CPU/machine TIME (seconds) = 64.010 32,3455 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.070 32,12 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 32,45 Wall clock TIME (seconds) = 9.134 CPU/machine TIME (seconds) = 9.130 Wall clock TIME (seconds) = 64.215 CPU/machine TIME (seconds) = 64.010 32,78 Wall clock TIME (seconds) = 10.017 CPU/machine TIME (seconds) = 9.380 Wall clock TIME (seconds) = 64.916 CPU/machine TIME (seconds) = 64.010 32,8546 Wall clock TIME (seconds) = 9.340 CPU/machine TIME (seconds) = 9.210 Wall clock TIME (seconds) = 64.064 CPU/machine TIME (seconds) = 64.010 32,474 Wall clock TIME (seconds) = 8.889 CPU/machine TIME (seconds) = 8.790 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 32,188 Wall clock TIME (seconds) = 6.230 CPU/machine TIME (seconds) = 6.050 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 32,7899 Wall clock TIME (seconds) = 10.137 CPU/machine TIME (seconds) = 9.900 Wall clock TIME (seconds) = 66.260 CPU/machine TIME (seconds) = 64.010 32,9 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 32,774 Wall clock TIME (seconds) = 0.398 CPU/machine TIME (seconds) = 0.390 Wall clock TIME (seconds) = 69.244 CPU/machine TIME (seconds) = 69.240 33,3455 Wall clock TIME (seconds) = 9.547 CPU/machine TIME (seconds) = 9.490 Wall clock TIME (seconds) = 66.830 CPU/machine TIME (seconds) = 64.010 33,12 Wall clock TIME (seconds) = 0.267 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 33,45 Wall clock TIME (seconds) = 10.751 CPU/machine TIME (seconds) = 9.760 Wall clock TIME (seconds) = 65.312 CPU/machine TIME (seconds) = 64.010 33,78 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.050 33,8546 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.070 33,474 Wall clock TIME (seconds) = 10.339 CPU/machine TIME (seconds) = 10.140 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 33,188 Wall clock TIME (seconds) = 9.707 CPU/machine TIME (seconds) = 9.580 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 33,7899 Wall clock TIME (seconds) = 9.895 CPU/machine TIME (seconds) = 9.840 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 33,9 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 33,774 Wall clock TIME (seconds) = 9.526 CPU/machine TIME (seconds) = 9.510 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 34,3455 Wall clock TIME (seconds) = 10.695 CPU/machine TIME (seconds) = 10.650 Wall clock TIME (seconds) = 64.897 CPU/machine TIME (seconds) = 64.010 34,12 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 34,45 Wall clock TIME (seconds) = 0.418 CPU/machine TIME (seconds) = 0.420 Wall clock TIME (seconds) = 68.153 CPU/machine TIME (seconds) = 68.140 34,78 Wall clock TIME (seconds) = 10.492 CPU/machine TIME (seconds) = 10.470 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 34,8546 Wall clock TIME (seconds) = 10.168 CPU/machine TIME (seconds) = 9.770 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 34,474 Wall clock TIME (seconds) = 9.912 CPU/machine TIME (seconds) = 9.870 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 34,188 Wall clock TIME (seconds) = 11.452 CPU/machine TIME (seconds) = 11.280 Wall clock TIME (seconds) = 64.096 CPU/machine TIME (seconds) = 64.010 34,7899 Wall clock TIME (seconds) = 8.665 CPU/machine TIME (seconds) = 8.610 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 34,9 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 34,774 Wall clock TIME (seconds) = 12.223 CPU/machine TIME (seconds) = 11.770 Wall clock TIME (seconds) = 67.133 CPU/machine TIME (seconds) = 64.010 35,3455 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.070 35,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.050 35,45 Wall clock TIME (seconds) = 9.782 CPU/machine TIME (seconds) = 9.780 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 35,78 Wall clock TIME (seconds) = 9.739 CPU/machine TIME (seconds) = 9.690 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 35,8546 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 35,474 Wall clock TIME (seconds) = 9.877 CPU/machine TIME (seconds) = 9.390 Wall clock TIME (seconds) = 65.089 CPU/machine TIME (seconds) = 64.010 35,188 Wall clock TIME (seconds) = 9.880 CPU/machine TIME (seconds) = 9.580 Wall clock TIME (seconds) = 64.874 CPU/machine TIME (seconds) = 64.010 35,7899 Wall clock TIME (seconds) = 9.891 CPU/machine TIME (seconds) = 9.700 Wall clock TIME (seconds) = 64.035 CPU/machine TIME (seconds) = 64.010 35,9 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 35,774 Wall clock TIME (seconds) = 10.278 CPU/machine TIME (seconds) = 9.880 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 36,3455 Wall clock TIME (seconds) = 9.745 CPU/machine TIME (seconds) = 9.520 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 36,12 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 36,45 Wall clock TIME (seconds) = 7.036 CPU/machine TIME (seconds) = 7.030 Wall clock TIME (seconds) = 64.035 CPU/machine TIME (seconds) = 64.010 36,78 Wall clock TIME (seconds) = 0.172 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 36,8546 Wall clock TIME (seconds) = 0.109 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 36,474 Wall clock TIME (seconds) = 12.469 CPU/machine TIME (seconds) = 10.190 Wall clock TIME (seconds) = 64.927 CPU/machine TIME (seconds) = 64.010 36,188 Wall clock TIME (seconds) = 10.447 CPU/machine TIME (seconds) = 10.130 Wall clock TIME (seconds) = 64.566 CPU/machine TIME (seconds) = 64.010 36,7899 Wall clock TIME (seconds) = 11.988 CPU/machine TIME (seconds) = 10.340 Wall clock TIME (seconds) = 64.242 CPU/machine TIME (seconds) = 64.010 36,9 Wall clock TIME (seconds) = 0.219 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 36,774 Wall clock TIME (seconds) = 9.879 CPU/machine TIME (seconds) = 9.800 Wall clock TIME (seconds) = 64.121 CPU/machine TIME (seconds) = 64.010 37,3455 Wall clock TIME (seconds) = 10.106 CPU/machine TIME (seconds) = 10.090 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 37,12 Wall clock TIME (seconds) = 0.201 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 37,45 Wall clock TIME (seconds) = 10.157 CPU/machine TIME (seconds) = 10.140 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 37,78 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 37,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 37,474 Wall clock TIME (seconds) = 9.128 CPU/machine TIME (seconds) = 9.130 Wall clock TIME (seconds) = 64.078 CPU/machine TIME (seconds) = 64.010 37,188 Wall clock TIME (seconds) = 0.126 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 37,7899 Wall clock TIME (seconds) = 10.928 CPU/machine TIME (seconds) = 10.420 Wall clock TIME (seconds) = 64.835 CPU/machine TIME (seconds) = 64.010 37,9 Wall clock TIME (seconds) = 0.282 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 37,774 Wall clock TIME (seconds) = 3.369 CPU/machine TIME (seconds) = 3.290 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 38,3455 Wall clock TIME (seconds) = 0.239 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.060 38,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 38,45 Wall clock TIME (seconds) = 10.408 CPU/machine TIME (seconds) = 10.400 Wall clock TIME (seconds) = 65.263 CPU/machine TIME (seconds) = 64.010 38,78 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.050 38,8546 Wall clock TIME (seconds) = 9.174 CPU/machine TIME (seconds) = 9.170 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 38,474 Wall clock TIME (seconds) = 8.713 CPU/machine TIME (seconds) = 8.440 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 38,188 Wall clock TIME (seconds) = 11.645 CPU/machine TIME (seconds) = 9.980 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 38,7899 Wall clock TIME (seconds) = 10.351 CPU/machine TIME (seconds) = 10.160 Wall clock TIME (seconds) = 64.722 CPU/machine TIME (seconds) = 64.010 38,9 Wall clock TIME (seconds) = 0.234 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 38,774 Wall clock TIME (seconds) = 10.534 CPU/machine TIME (seconds) = 10.340 Wall clock TIME (seconds) = 65.887 CPU/machine TIME (seconds) = 64.010 39,3455 Wall clock TIME (seconds) = 8.804 CPU/machine TIME (seconds) = 8.780 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 39,12 Wall clock TIME (seconds) = 0.202 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 39,45 Wall clock TIME (seconds) = 10.447 CPU/machine TIME (seconds) = 10.430 Wall clock TIME (seconds) = 64.283 CPU/machine TIME (seconds) = 64.010 39,78 Wall clock TIME (seconds) = 10.027 CPU/machine TIME (seconds) = 9.790 Wall clock TIME (seconds) = 66.059 CPU/machine TIME (seconds) = 64.010 39,8546 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 39,474 Wall clock TIME (seconds) = 4.559 CPU/machine TIME (seconds) = 4.550 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 39,188 Wall clock TIME (seconds) = 0.318 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 39,7899 Wall clock TIME (seconds) = 9.622 CPU/machine TIME (seconds) = 9.620 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 39,9 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 39,774 Wall clock TIME (seconds) = 7.493 CPU/machine TIME (seconds) = 7.480 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 40,3455 Wall clock TIME (seconds) = 0.097 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 40,12 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 40,45 Wall clock TIME (seconds) = 10.350 CPU/machine TIME (seconds) = 10.340 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 40,78 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 40,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 40,474 Wall clock TIME (seconds) = 10.675 CPU/machine TIME (seconds) = 10.660 Wall clock TIME (seconds) = 66.074 CPU/machine TIME (seconds) = 64.010 40,188 Wall clock TIME (seconds) = 9.169 CPU/machine TIME (seconds) = 8.930 Wall clock TIME (seconds) = 64.232 CPU/machine TIME (seconds) = 64.010 40,7899 Wall clock TIME (seconds) = 9.869 CPU/machine TIME (seconds) = 9.820 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 40,9 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 40,774 Wall clock TIME (seconds) = 9.246 CPU/machine TIME (seconds) = 9.240 Wall clock TIME (seconds) = 64.169 CPU/machine TIME (seconds) = 64.010 41,3455 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.060 41,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.050 41,45 Wall clock TIME (seconds) = 8.983 CPU/machine TIME (seconds) = 8.970 Wall clock TIME (seconds) = 64.169 CPU/machine TIME (seconds) = 64.010 41,78 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 41,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.020 41,474 Wall clock TIME (seconds) = 9.273 CPU/machine TIME (seconds) = 9.260 Wall clock TIME (seconds) = 64.058 CPU/machine TIME (seconds) = 64.010 41,188 Wall clock TIME (seconds) = 10.818 CPU/machine TIME (seconds) = 10.200 Wall clock TIME (seconds) = 67.483 CPU/machine TIME (seconds) = 64.010 41,7899 Wall clock TIME (seconds) = 9.291 CPU/machine TIME (seconds) = 9.270 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 41,9 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 41,774 Wall clock TIME (seconds) = 8.470 CPU/machine TIME (seconds) = 8.460 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 42,3455 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 42,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 42,45 Wall clock TIME (seconds) = 9.234 CPU/machine TIME (seconds) = 9.230 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 42,78 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 42,8546 Wall clock TIME (seconds) = 9.927 CPU/machine TIME (seconds) = 9.760 Wall clock TIME (seconds) = 64.833 CPU/machine TIME (seconds) = 64.010 42,474 Wall clock TIME (seconds) = 10.437 CPU/machine TIME (seconds) = 10.160 Wall clock TIME (seconds) = 67.616 CPU/machine TIME (seconds) = 64.010 42,188 Wall clock TIME (seconds) = 10.454 CPU/machine TIME (seconds) = 10.190 Wall clock TIME (seconds) = 66.660 CPU/machine TIME (seconds) = 64.010 42,7899 Wall clock TIME (seconds) = 10.155 CPU/machine TIME (seconds) = 10.030 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 42,9 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 42,774 Wall clock TIME (seconds) = 10.228 CPU/machine TIME (seconds) = 10.230 Wall clock TIME (seconds) = 64.103 CPU/machine TIME (seconds) = 64.010 43,3455 Wall clock TIME (seconds) = 10.276 CPU/machine TIME (seconds) = 10.240 Wall clock TIME (seconds) = 67.330 CPU/machine TIME (seconds) = 64.010 43,12 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.060 43,45 Wall clock TIME (seconds) = 10.090 CPU/machine TIME (seconds) = 9.740 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 43,78 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.070 43,8546 Wall clock TIME (seconds) = 8.564 CPU/machine TIME (seconds) = 8.510 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 43,474 Wall clock TIME (seconds) = 10.783 CPU/machine TIME (seconds) = 10.740 Wall clock TIME (seconds) = 67.713 CPU/machine TIME (seconds) = 64.010 43,188 Wall clock TIME (seconds) = 2.083 CPU/machine TIME (seconds) = 2.040 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 43,7899 Wall clock TIME (seconds) = 9.303 CPU/machine TIME (seconds) = 9.290 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 43,9 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 43,774 Wall clock TIME (seconds) = 9.830 CPU/machine TIME (seconds) = 9.830 Wall clock TIME (seconds) = 64.421 CPU/machine TIME (seconds) = 64.010 44,3455 Wall clock TIME (seconds) = 9.337 CPU/machine TIME (seconds) = 9.230 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 44,12 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 44,45 Wall clock TIME (seconds) = 9.611 CPU/machine TIME (seconds) = 9.610 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 44,78 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 44,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 44,474 Wall clock TIME (seconds) = 10.539 CPU/machine TIME (seconds) = 10.300 Wall clock TIME (seconds) = 66.732 CPU/machine TIME (seconds) = 64.010 44,188 Wall clock TIME (seconds) = 9.416 CPU/machine TIME (seconds) = 9.210 Wall clock TIME (seconds) = 64.101 CPU/machine TIME (seconds) = 64.010 44,7899 Wall clock TIME (seconds) = 9.283 CPU/machine TIME (seconds) = 9.200 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,9 Wall clock TIME (seconds) = 0.242 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 44,774 Wall clock TIME (seconds) = 9.774 CPU/machine TIME (seconds) = 9.070 Wall clock TIME (seconds) = 64.552 CPU/machine TIME (seconds) = 64.010 45,3455 Wall clock TIME (seconds) = 9.880 CPU/machine TIME (seconds) = 9.140 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 45,12 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.070 45,45 Wall clock TIME (seconds) = 0.783 CPU/machine TIME (seconds) = 0.480 Wall clock TIME (seconds) = 75.164 CPU/machine TIME (seconds) = 71.890 45,78 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.080 45,8546 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 45,474 Wall clock TIME (seconds) = 8.911 CPU/machine TIME (seconds) = 8.800 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 45,188 Wall clock TIME (seconds) = 0.140 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 45,7899 Wall clock TIME (seconds) = 10.113 CPU/machine TIME (seconds) = 10.110 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 45,9 Wall clock TIME (seconds) = 0.115 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 45,774 Wall clock TIME (seconds) = 9.643 CPU/machine TIME (seconds) = 9.490 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 46,3455 Wall clock TIME (seconds) = 1.384 CPU/machine TIME (seconds) = 1.170 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 46,12 Wall clock TIME (seconds) = 0.115 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.075 CPU/machine TIME (seconds) = 0.070 46,45 Wall clock TIME (seconds) = 11.270 CPU/machine TIME (seconds) = 10.150 Wall clock TIME (seconds) = 66.451 CPU/machine TIME (seconds) = 64.010 46,78 Wall clock TIME (seconds) = 11.348 CPU/machine TIME (seconds) = 9.500 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 46,8546 Wall clock TIME (seconds) = 0.149 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.114 CPU/machine TIME (seconds) = 0.110 46,474 Wall clock TIME (seconds) = 11.481 CPU/machine TIME (seconds) = 11.340 Wall clock TIME (seconds) = 66.633 CPU/machine TIME (seconds) = 64.010 46,188 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 46,7899 Wall clock TIME (seconds) = 10.492 CPU/machine TIME (seconds) = 10.460 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 46,9 Wall clock TIME (seconds) = 0.113 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 46,774 Wall clock TIME (seconds) = 9.780 CPU/machine TIME (seconds) = 9.770 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 47,3455 Wall clock TIME (seconds) = 9.115 CPU/machine TIME (seconds) = 9.100 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,12 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.030 47,45 Wall clock TIME (seconds) = 10.028 CPU/machine TIME (seconds) = 10.000 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 47,78 Wall clock TIME (seconds) = 0.167 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.060 47,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.060 47,474 Wall clock TIME (seconds) = 9.944 CPU/machine TIME (seconds) = 9.680 Wall clock TIME (seconds) = 65.128 CPU/machine TIME (seconds) = 64.010 47,188 Wall clock TIME (seconds) = 0.133 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 47,7899 Wall clock TIME (seconds) = 10.113 CPU/machine TIME (seconds) = 10.090 Wall clock TIME (seconds) = 64.862 CPU/machine TIME (seconds) = 64.010 47,9 Wall clock TIME (seconds) = 0.174 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 47,774 Wall clock TIME (seconds) = 9.667 CPU/machine TIME (seconds) = 9.620 Wall clock TIME (seconds) = 64.055 CPU/machine TIME (seconds) = 64.010 48,3455 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 48,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 48,45 Wall clock TIME (seconds) = 8.664 CPU/machine TIME (seconds) = 8.650 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 48,78 Wall clock TIME (seconds) = 0.644 CPU/machine TIME (seconds) = 0.490 Wall clock TIME (seconds) = 69.138 CPU/machine TIME (seconds) = 69.130 48,8546 Wall clock TIME (seconds) = 0.333 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.112 CPU/machine TIME (seconds) = 0.110 48,474 Wall clock TIME (seconds) = 9.547 CPU/machine TIME (seconds) = 9.400 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 48,188 Wall clock TIME (seconds) = 0.771 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 48,7899 Wall clock TIME (seconds) = 9.656 CPU/machine TIME (seconds) = 9.650 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 48,9 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 48,774 Wall clock TIME (seconds) = 9.827 CPU/machine TIME (seconds) = 9.660 Wall clock TIME (seconds) = 64.115 CPU/machine TIME (seconds) = 64.010 49,3455 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.136 CPU/machine TIME (seconds) = 0.130 49,12 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.030 49,45 Wall clock TIME (seconds) = 9.954 CPU/machine TIME (seconds) = 9.950 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 49,78 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.100 49,8546 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.120 49,474 Wall clock TIME (seconds) = 10.070 CPU/machine TIME (seconds) = 9.890 Wall clock TIME (seconds) = 65.434 CPU/machine TIME (seconds) = 64.010 49,188 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 49,7899 Wall clock TIME (seconds) = 9.621 CPU/machine TIME (seconds) = 9.610 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 49,9 Wall clock TIME (seconds) = 0.092 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 49,774 Wall clock TIME (seconds) = 9.701 CPU/machine TIME (seconds) = 9.690 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 50,3455 Wall clock TIME (seconds) = 9.233 CPU/machine TIME (seconds) = 9.190 Wall clock TIME (seconds) = 65.546 CPU/machine TIME (seconds) = 64.010 50,12 Wall clock TIME (seconds) = 0.223 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 50,45 Wall clock TIME (seconds) = 10.062 CPU/machine TIME (seconds) = 10.060 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 50,78 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 50,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.020 50,474 Wall clock TIME (seconds) = 10.493 CPU/machine TIME (seconds) = 10.480 Wall clock TIME (seconds) = 65.487 CPU/machine TIME (seconds) = 64.010 50,188 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 50,7899 Wall clock TIME (seconds) = 8.353 CPU/machine TIME (seconds) = 8.350 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 50,9 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 50,774 Wall clock TIME (seconds) = 9.903 CPU/machine TIME (seconds) = 9.900 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 51,3455 Wall clock TIME (seconds) = 9.806 CPU/machine TIME (seconds) = 9.780 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 51,12 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 51,45 Wall clock TIME (seconds) = 9.036 CPU/machine TIME (seconds) = 9.030 Wall clock TIME (seconds) = 65.914 CPU/machine TIME (seconds) = 64.010 51,78 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.090 51,8546 Wall clock TIME (seconds) = 0.168 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.070 51,474 Wall clock TIME (seconds) = 8.133 CPU/machine TIME (seconds) = 8.120 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 51,188 Wall clock TIME (seconds) = 0.174 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 51,7899 Wall clock TIME (seconds) = 9.582 CPU/machine TIME (seconds) = 9.350 Wall clock TIME (seconds) = 66.124 CPU/machine TIME (seconds) = 64.010 51,9 Wall clock TIME (seconds) = 0.308 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.020 51,774 Wall clock TIME (seconds) = 8.848 CPU/machine TIME (seconds) = 8.840 Wall clock TIME (seconds) = 64.062 CPU/machine TIME (seconds) = 64.010 52,3455 Wall clock TIME (seconds) = 0.101 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 52,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 52,45 Wall clock TIME (seconds) = 10.915 CPU/machine TIME (seconds) = 10.530 Wall clock TIME (seconds) = 64.511 CPU/machine TIME (seconds) = 64.010 52,78 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.060 52,8546 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.070 52,474 Wall clock TIME (seconds) = 11.074 CPU/machine TIME (seconds) = 9.450 Wall clock TIME (seconds) = 64.202 CPU/machine TIME (seconds) = 64.010 52,188 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 52,7899 Wall clock TIME (seconds) = 10.468 CPU/machine TIME (seconds) = 10.320 Wall clock TIME (seconds) = 65.560 CPU/machine TIME (seconds) = 64.010 52,9 Wall clock TIME (seconds) = 0.194 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 52,774 Wall clock TIME (seconds) = 9.414 CPU/machine TIME (seconds) = 9.320 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 53,3455 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.060 53,12 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.096 CPU/machine TIME (seconds) = 0.090 53,45 Wall clock TIME (seconds) = 12.485 CPU/machine TIME (seconds) = 12.110 Wall clock TIME (seconds) = 66.630 CPU/machine TIME (seconds) = 64.010 53,78 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 53,8546 Wall clock TIME (seconds) = 9.470 CPU/machine TIME (seconds) = 9.450 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 53,474 Wall clock TIME (seconds) = 1.994 CPU/machine TIME (seconds) = 1.930 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 53,188 Wall clock TIME (seconds) = 0.152 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 53,7899 Wall clock TIME (seconds) = 9.318 CPU/machine TIME (seconds) = 9.320 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 53,9 Wall clock TIME (seconds) = 0.054 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 53,774 Wall clock TIME (seconds) = 8.704 CPU/machine TIME (seconds) = 8.710 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 54,3455 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.070 54,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.070 54,45 Wall clock TIME (seconds) = 11.725 CPU/machine TIME (seconds) = 10.550 Wall clock TIME (seconds) = 64.238 CPU/machine TIME (seconds) = 64.010 54,78 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 54,8546 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.070 54,474 Wall clock TIME (seconds) = 10.719 CPU/machine TIME (seconds) = 10.620 Wall clock TIME (seconds) = 65.193 CPU/machine TIME (seconds) = 64.010 54,188 Wall clock TIME (seconds) = 0.132 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 54,7899 Wall clock TIME (seconds) = 8.701 CPU/machine TIME (seconds) = 8.410 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 54,9 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 54,774 Wall clock TIME (seconds) = 9.399 CPU/machine TIME (seconds) = 9.390 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 55,3455 Wall clock TIME (seconds) = 10.168 CPU/machine TIME (seconds) = 9.770 Wall clock TIME (seconds) = 66.032 CPU/machine TIME (seconds) = 64.010 55,12 Wall clock TIME (seconds) = 0.367 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 55,45 Wall clock TIME (seconds) = 10.589 CPU/machine TIME (seconds) = 10.280 Wall clock TIME (seconds) = 64.111 CPU/machine TIME (seconds) = 64.010 55,78 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 55,8546 Wall clock TIME (seconds) = 8.899 CPU/machine TIME (seconds) = 8.890 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 55,474 Wall clock TIME (seconds) = 11.535 CPU/machine TIME (seconds) = 9.540 Wall clock TIME (seconds) = 64.076 CPU/machine TIME (seconds) = 64.010 55,188 Wall clock TIME (seconds) = 0.558 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 55,7899 Wall clock TIME (seconds) = 9.461 CPU/machine TIME (seconds) = 9.390 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 55,9 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 55,774 Wall clock TIME (seconds) = 10.035 CPU/machine TIME (seconds) = 10.000 Wall clock TIME (seconds) = 64.679 CPU/machine TIME (seconds) = 64.010 56,3455 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.050 56,12 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 56,45 Wall clock TIME (seconds) = 9.386 CPU/machine TIME (seconds) = 9.380 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 56,78 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.070 56,8546 Wall clock TIME (seconds) = 9.875 CPU/machine TIME (seconds) = 9.880 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 56,474 Wall clock TIME (seconds) = 9.606 CPU/machine TIME (seconds) = 9.550 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 56,188 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 56,7899 Wall clock TIME (seconds) = 9.123 CPU/machine TIME (seconds) = 9.120 Wall clock TIME (seconds) = 64.033 CPU/machine TIME (seconds) = 64.010 56,9 Wall clock TIME (seconds) = 0.133 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 56,774 Wall clock TIME (seconds) = 10.037 CPU/machine TIME (seconds) = 9.950 Wall clock TIME (seconds) = 65.514 CPU/machine TIME (seconds) = 64.010 57,3455 Wall clock TIME (seconds) = 0.568 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.130 CPU/machine TIME (seconds) = 0.120 57,12 Wall clock TIME (seconds) = 0.427 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.100 57,45 Wall clock TIME (seconds) = 10.256 CPU/machine TIME (seconds) = 10.230 Wall clock TIME (seconds) = 64.191 CPU/machine TIME (seconds) = 64.010 57,78 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 57,8546 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 57,474 Wall clock TIME (seconds) = 9.452 CPU/machine TIME (seconds) = 9.420 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 57,188 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.020 57,7899 Wall clock TIME (seconds) = 9.877 CPU/machine TIME (seconds) = 9.850 Wall clock TIME (seconds) = 64.584 CPU/machine TIME (seconds) = 64.010 57,9 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 57,774 Wall clock TIME (seconds) = 9.765 CPU/machine TIME (seconds) = 9.750 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 58,3455 Wall clock TIME (seconds) = 0.272 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.060 58,12 Wall clock TIME (seconds) = 0.101 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.105 CPU/machine TIME (seconds) = 0.100 58,45 Wall clock TIME (seconds) = 10.193 CPU/machine TIME (seconds) = 10.090 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 58,78 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.040 58,8546 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.020 58,474 Wall clock TIME (seconds) = 10.627 CPU/machine TIME (seconds) = 10.200 Wall clock TIME (seconds) = 64.133 CPU/machine TIME (seconds) = 64.010 58,188 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.020 58,7899 Wall clock TIME (seconds) = 10.333 CPU/machine TIME (seconds) = 10.210 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 58,9 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 58,774 Wall clock TIME (seconds) = 9.475 CPU/machine TIME (seconds) = 9.470 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 59,3455 Wall clock TIME (seconds) = 10.545 CPU/machine TIME (seconds) = 10.410 Wall clock TIME (seconds) = 65.058 CPU/machine TIME (seconds) = 64.010 59,12 Wall clock TIME (seconds) = 0.351 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.100 59,45 Wall clock TIME (seconds) = 11.564 CPU/machine TIME (seconds) = 11.060 Wall clock TIME (seconds) = 65.107 CPU/machine TIME (seconds) = 64.010 59,78 Wall clock TIME (seconds) = 0.326 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.040 59,8546 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.085 CPU/machine TIME (seconds) = 0.080 59,474 Wall clock TIME (seconds) = 10.263 CPU/machine TIME (seconds) = 10.170 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,188 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 59,7899 Wall clock TIME (seconds) = 9.341 CPU/machine TIME (seconds) = 9.290 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,9 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 59,774 Wall clock TIME (seconds) = 10.459 CPU/machine TIME (seconds) = 10.450 Wall clock TIME (seconds) = 64.677 CPU/machine TIME (seconds) = 64.010 60,3455 Wall clock TIME (seconds) = 0.160 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.163 CPU/machine TIME (seconds) = 0.160 60,12 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.080 60,45 Wall clock TIME (seconds) = 10.864 CPU/machine TIME (seconds) = 10.860 Wall clock TIME (seconds) = 64.112 CPU/machine TIME (seconds) = 64.010 60,78 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.100 60,8546 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.154 CPU/machine TIME (seconds) = 0.150 60,474 Wall clock TIME (seconds) = 9.448 CPU/machine TIME (seconds) = 9.250 Wall clock TIME (seconds) = 64.600 CPU/machine TIME (seconds) = 64.010 60,188 Wall clock TIME (seconds) = 0.145 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 60,7899 Wall clock TIME (seconds) = 10.574 CPU/machine TIME (seconds) = 10.570 Wall clock TIME (seconds) = 65.787 CPU/machine TIME (seconds) = 64.010 60,9 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 60,774 Wall clock TIME (seconds) = 11.084 CPU/machine TIME (seconds) = 11.080 Wall clock TIME (seconds) = 65.927 CPU/machine TIME (seconds) = 64.010 61,3455 Wall clock TIME (seconds) = 0.169 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.160 61,12 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 61,45 Wall clock TIME (seconds) = 9.952 CPU/machine TIME (seconds) = 9.950 Wall clock TIME (seconds) = 64.179 CPU/machine TIME (seconds) = 64.010 61,78 Wall clock TIME (seconds) = 0.087 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.085 CPU/machine TIME (seconds) = 0.080 61,8546 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.149 CPU/machine TIME (seconds) = 0.140 61,474 Wall clock TIME (seconds) = 10.326 CPU/machine TIME (seconds) = 10.320 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 61,188 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.040 61,7899 Wall clock TIME (seconds) = 9.426 CPU/machine TIME (seconds) = 9.410 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 61,9 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 61,774 Wall clock TIME (seconds) = 5.071 CPU/machine TIME (seconds) = 5.070 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 62,3455 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 62,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 62,45 Wall clock TIME (seconds) = 0.894 CPU/machine TIME (seconds) = 0.880 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 62,78 Wall clock TIME (seconds) = 0.063 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.080 62,8546 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.130 62,474 Wall clock TIME (seconds) = 7.445 CPU/machine TIME (seconds) = 7.440 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 62,188 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 62,7899 Wall clock TIME (seconds) = 11.265 CPU/machine TIME (seconds) = 11.260 Wall clock TIME (seconds) = 67.507 CPU/machine TIME (seconds) = 64.010 62,9 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.040 62,774 Wall clock TIME (seconds) = 7.559 CPU/machine TIME (seconds) = 7.470 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 63,3455 Wall clock TIME (seconds) = 10.677 CPU/machine TIME (seconds) = 10.510 Wall clock TIME (seconds) = 64.433 CPU/machine TIME (seconds) = 64.010 63,12 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 63,45 Wall clock TIME (seconds) = 11.807 CPU/machine TIME (seconds) = 11.590 Wall clock TIME (seconds) = 66.319 CPU/machine TIME (seconds) = 64.010 63,78 Wall clock TIME (seconds) = 0.120 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.081 CPU/machine TIME (seconds) = 0.080 63,8546 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.076 CPU/machine TIME (seconds) = 0.070 63,474 Wall clock TIME (seconds) = 10.373 CPU/machine TIME (seconds) = 10.360 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 63,188 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 63,7899 Wall clock TIME (seconds) = 9.691 CPU/machine TIME (seconds) = 9.680 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 63,9 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 63,774 Wall clock TIME (seconds) = 11.540 CPU/machine TIME (seconds) = 11.490 Wall clock TIME (seconds) = 64.424 CPU/machine TIME (seconds) = 64.010 64,3455 Wall clock TIME (seconds) = 0.077 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.100 64,12 Wall clock TIME (seconds) = 0.262 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.120 64,45 Wall clock TIME (seconds) = 10.103 CPU/machine TIME (seconds) = 10.040 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 64,78 Wall clock TIME (seconds) = 0.208 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.090 64,8546 Wall clock TIME (seconds) = 9.758 CPU/machine TIME (seconds) = 9.750 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 64,474 Wall clock TIME (seconds) = 4.803 CPU/machine TIME (seconds) = 4.580 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 64,188 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 64,7899 Wall clock TIME (seconds) = 6.062 CPU/machine TIME (seconds) = 6.050 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 64,9 Wall clock TIME (seconds) = 0.085 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 64,774 Wall clock TIME (seconds) = 13.324 CPU/machine TIME (seconds) = 12.700 Wall clock TIME (seconds) = 66.891 CPU/machine TIME (seconds) = 64.010 65,3455 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 65,12 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 65,45 Wall clock TIME (seconds) = 10.185 CPU/machine TIME (seconds) = 10.180 Wall clock TIME (seconds) = 64.074 CPU/machine TIME (seconds) = 64.010 65,78 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 65,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.060 65,474 Wall clock TIME (seconds) = 7.100 CPU/machine TIME (seconds) = 7.090 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 65,188 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.050 65,7899 Wall clock TIME (seconds) = 9.977 CPU/machine TIME (seconds) = 9.970 Wall clock TIME (seconds) = 64.107 CPU/machine TIME (seconds) = 64.010 65,9 Wall clock TIME (seconds) = 0.221 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 65,774 Wall clock TIME (seconds) = 9.289 CPU/machine TIME (seconds) = 9.280 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 66,3455 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.168 CPU/machine TIME (seconds) = 0.160 66,12 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.118 CPU/machine TIME (seconds) = 0.120 66,45 Wall clock TIME (seconds) = 11.165 CPU/machine TIME (seconds) = 11.070 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 66,78 Wall clock TIME (seconds) = 0.359 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.110 66,8546 Wall clock TIME (seconds) = 0.142 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 66,474 Wall clock TIME (seconds) = 5.044 CPU/machine TIME (seconds) = 5.040 Wall clock TIME (seconds) = 64.044 CPU/machine TIME (seconds) = 64.010 66,188 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.050 66,7899 Wall clock TIME (seconds) = 10.298 CPU/machine TIME (seconds) = 10.290 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 66,9 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 66,774 Wall clock TIME (seconds) = 10.037 CPU/machine TIME (seconds) = 10.040 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 67,3455 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.159 CPU/machine TIME (seconds) = 0.150 67,12 Wall clock TIME (seconds) = 0.130 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.080 67,45 Wall clock TIME (seconds) = 9.110 CPU/machine TIME (seconds) = 8.910 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 67,78 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.020 67,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 67,474 Wall clock TIME (seconds) = 10.154 CPU/machine TIME (seconds) = 10.150 Wall clock TIME (seconds) = 65.170 CPU/machine TIME (seconds) = 64.010 67,188 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.050 67,7899 Wall clock TIME (seconds) = 10.489 CPU/machine TIME (seconds) = 10.450 Wall clock TIME (seconds) = 65.973 CPU/machine TIME (seconds) = 64.010 67,9 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 67,774 Wall clock TIME (seconds) = 8.742 CPU/machine TIME (seconds) = 8.710 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 68,3455 Wall clock TIME (seconds) = 0.376 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.063 CPU/machine TIME (seconds) = 0.060 68,12 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.060 68,45 Wall clock TIME (seconds) = 9.474 CPU/machine TIME (seconds) = 9.210 Wall clock TIME (seconds) = 66.631 CPU/machine TIME (seconds) = 64.010 68,78 Wall clock TIME (seconds) = 0.236 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.100 68,8546 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 68,474 Wall clock TIME (seconds) = 11.339 CPU/machine TIME (seconds) = 11.320 Wall clock TIME (seconds) = 66.390 CPU/machine TIME (seconds) = 64.010 68,188 Wall clock TIME (seconds) = 0.666 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.040 68,7899 Wall clock TIME (seconds) = 10.129 CPU/machine TIME (seconds) = 10.030 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 68,9 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 68,774 Wall clock TIME (seconds) = 10.085 CPU/machine TIME (seconds) = 10.080 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 69,3455 Wall clock TIME (seconds) = 9.160 CPU/machine TIME (seconds) = 9.110 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 69,12 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 69,45 Wall clock TIME (seconds) = 8.718 CPU/machine TIME (seconds) = 8.710 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 69,78 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.090 CPU/machine TIME (seconds) = 0.090 69,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 69,474 Wall clock TIME (seconds) = 6.030 CPU/machine TIME (seconds) = 6.030 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 69,188 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.050 69,7899 Wall clock TIME (seconds) = 11.344 CPU/machine TIME (seconds) = 11.330 Wall clock TIME (seconds) = 66.195 CPU/machine TIME (seconds) = 64.010 69,9 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 69,774 Wall clock TIME (seconds) = 11.096 CPU/machine TIME (seconds) = 11.080 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 70,3455 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.136 CPU/machine TIME (seconds) = 0.130 70,12 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.060 70,45 Wall clock TIME (seconds) = 10.842 CPU/machine TIME (seconds) = 10.840 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 70,78 Wall clock TIME (seconds) = 8.616 CPU/machine TIME (seconds) = 8.540 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 70,8546 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 70,474 Wall clock TIME (seconds) = 9.037 CPU/machine TIME (seconds) = 9.000 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 70,188 Wall clock TIME (seconds) = 0.137 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.050 70,7899 Wall clock TIME (seconds) = 10.225 CPU/machine TIME (seconds) = 10.150 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 70,9 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 70,774 Wall clock TIME (seconds) = 0.776 CPU/machine TIME (seconds) = 0.770 Wall clock TIME (seconds) = 64.078 CPU/machine TIME (seconds) = 64.010 71,3455 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.103 CPU/machine TIME (seconds) = 0.100 71,12 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.123 CPU/machine TIME (seconds) = 0.120 71,45 Wall clock TIME (seconds) = 14.695 CPU/machine TIME (seconds) = 14.370 Wall clock TIME (seconds) = 66.263 CPU/machine TIME (seconds) = 64.010 71,78 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 71,8546 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 71,474 Wall clock TIME (seconds) = 10.082 CPU/machine TIME (seconds) = 10.070 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 71,188 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.063 CPU/machine TIME (seconds) = 0.050 71,7899 Wall clock TIME (seconds) = 10.382 CPU/machine TIME (seconds) = 10.370 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 71,9 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.020 71,774 Wall clock TIME (seconds) = 9.647 CPU/machine TIME (seconds) = 9.640 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 72,3455 Wall clock TIME (seconds) = 0.297 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.152 CPU/machine TIME (seconds) = 0.150 72,12 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.100 72,45 Wall clock TIME (seconds) = 10.384 CPU/machine TIME (seconds) = 10.310 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 72,78 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 72,8546 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.020 72,474 Wall clock TIME (seconds) = 10.024 CPU/machine TIME (seconds) = 10.010 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 72,188 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 72,7899 Wall clock TIME (seconds) = 8.780 CPU/machine TIME (seconds) = 8.770 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 72,9 Wall clock TIME (seconds) = 0.142 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 72,774 Wall clock TIME (seconds) = 8.797 CPU/machine TIME (seconds) = 8.770 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 grid size = 12 max robots = 72 1,3455 Computed optimal makespan:5 total makespan = 5 1,12 Computed optimal makespan:13 total makespan = 13 1,45 Computed optimal makespan:8 total makespan = 8 1,78 Computed optimal makespan:11 total makespan = 11 1,8546 Computed optimal makespan:10 total makespan = 10 1,474 Computed optimal makespan:6 total makespan = 6 1,188 Computed optimal makespan:6 total makespan = 6 1,7899 Computed optimal makespan:7 total makespan = 7 1,9 Computed optimal makespan:8 total makespan = 8 1,774 Computed optimal makespan:3 total makespan = 3 2,3455 Computed optimal makespan:6 total makespan = 6 2,12 Computed optimal makespan:8 total makespan = 8 2,45 Computed optimal makespan:10 total makespan = 10 2,78 Computed optimal makespan:19 total makespan = 19 2,8546 Computed optimal makespan:10 total makespan = 10 2,474 Computed optimal makespan:12 total makespan = 12 2,188 Computed optimal makespan:15 total makespan = 15 2,7899 Computed optimal makespan:12 total makespan = 12 2,9 total makespan = 0 2,774 Computed optimal makespan:10 total makespan = 10 3,3455 Computed optimal makespan:13 total makespan = 13 3,12 Computed optimal makespan:10 total makespan = 10 3,45 Computed optimal makespan:16 total makespan = 16 3,78 Computed optimal makespan:11 total makespan = 11 3,8546 Computed optimal makespan:12 total makespan = 12 3,474 Computed optimal makespan:14 total makespan = 14 3,188 Computed optimal makespan:13 total makespan = 13 3,7899 Computed optimal makespan:15 total makespan = 15 3,9 total makespan = 0 3,774 Computed optimal makespan:13 total makespan = 13 4,3455 Computed optimal makespan:12 total makespan = 12 4,12 Computed optimal makespan:14 total makespan = 14 4,45 Computed optimal makespan:13 total makespan = 13 4,78 Computed optimal makespan:17 total makespan = 17 4,8546 Computed optimal makespan:17 total makespan = 17 4,474 Computed optimal makespan:12 total makespan = 12 4,188 Computed optimal makespan:17 total makespan = 17 4,7899 Computed optimal makespan:20 total makespan = 20 4,9 total makespan = 0 4,774 Computed optimal makespan:9 total makespan = 9 5,3455 Computed optimal makespan:14 total makespan = 14 5,12 Computed optimal makespan:13 total makespan = 13 5,45 Computed optimal makespan:12 total makespan = 12 5,78 Computed optimal makespan:19 total makespan = 19 5,8546 total makespan = 0 5,474 Computed optimal makespan:15 total makespan = 15 5,188 Computed optimal makespan:17 total makespan = 17 5,7899 Computed optimal makespan:14 total makespan = 14 5,9 total makespan = 0 5,774 Computed optimal makespan:8 total makespan = 8 6,3455 Computed optimal makespan:13 total makespan = 13 6,12 Computed optimal makespan:16 total makespan = 16 6,45 Computed optimal makespan:17 total makespan = 17 6,78 total makespan = 0 6,8546 total makespan = 0 6,474 Computed optimal makespan:20 total makespan = 20 6,188 Computed optimal makespan:17 total makespan = 17 6,7899 Computed optimal makespan:16 total makespan = 16 6,9 total makespan = 0 6,774 Computed optimal makespan:9 total makespan = 9 7,3455 Computed optimal makespan:14 total makespan = 14 7,12 Computed optimal makespan:14 total makespan = 14 7,45 Computed optimal makespan:16 total makespan = 16 7,78 total makespan = 0 7,8546 Computed optimal makespan:14 total makespan = 14 7,474 Computed optimal makespan:17 total makespan = 17 7,188 Computed optimal makespan:15 total makespan = 15 7,7899 Computed optimal makespan:21 total makespan = 21 7,9 total makespan = 0 7,774 Computed optimal makespan:13 total makespan = 13 8,3455 Computed optimal makespan:15 total makespan = 15 8,12 Computed optimal makespan:12 total makespan = 12 8,45 total makespan = 0 8,78 total makespan = 0 8,8546 total makespan = 0 8,474 Computed optimal makespan:10 total makespan = 10 8,188 total makespan = 0 8,7899 total makespan = 0 8,9 total makespan = 0 8,774 Computed optimal makespan:15 total makespan = 15 9,3455 Computed optimal makespan:18 total makespan = 18 9,12 total makespan = 0 9,45 total makespan = 0 9,78 total makespan = 0 9,8546 Computed optimal makespan:15 total makespan = 15 9,474 Computed optimal makespan:16 total makespan = 16 9,188 Computed optimal makespan:19 total makespan = 19 9,7899 total makespan = 0 9,9 total makespan = 0 9,774 total makespan = 0 10,3455 total makespan = 0 10,12 total makespan = 0 10,45 total makespan = 0 10,78 Computed optimal makespan:12 total makespan = 12 10,8546 Computed optimal makespan:19 total makespan = 19 10,474 Computed optimal makespan:19 total makespan = 19 10,188 total makespan = 0 10,7899 total makespan = 0 10,9 total makespan = 0 10,774 total makespan = 0 11,3455 total makespan = 0 11,12 Computed optimal makespan:15 total makespan = 15 11,45 total makespan = 0 11,78 total makespan = 0 11,8546 total makespan = 0 11,474 Computed optimal makespan:14 total makespan = 14 11,188 total makespan = 0 11,7899 total makespan = 0 11,9 total makespan = 0 11,774 Computed optimal makespan:20 total makespan = 20 12,3455 total makespan = 0 12,12 Computed optimal makespan:16 total makespan = 16 12,45 Computed optimal makespan:24 total makespan = 24 12,78 total makespan = 0 12,8546 Computed optimal makespan:19 total makespan = 19 12,474 Computed optimal makespan:21 total makespan = 21 12,188 total makespan = 0 12,7899 total makespan = 0 12,9 total makespan = 0 12,774 Computed optimal makespan:15 total makespan = 15 13,3455 total makespan = 0 13,12 total makespan = 0 13,45 total makespan = 0 13,78 total makespan = 0 13,8546 Computed optimal makespan:22 total makespan = 22 13,474 Computed optimal makespan:14 total makespan = 14 13,188 total makespan = 0 13,7899 Computed optimal makespan:22 total makespan = 22 13,9 total makespan = 0 13,774 total makespan = 0 14,3455 Computed optimal makespan:18 total makespan = 18 14,12 total makespan = 0 14,45 total makespan = 0 14,78 Computed optimal makespan:12 total makespan = 12 14,8546 total makespan = 0 14,474 total makespan = 0 14,188 total makespan = 0 14,7899 total makespan = 0 14,9 total makespan = 0 14,774 Computed optimal makespan:17 total makespan = 17 15,3455 total makespan = 0 15,12 total makespan = 0 15,45 total makespan = 0 15,78 total makespan = 0 15,8546 total makespan = 0 15,474 Computed optimal makespan:21 total makespan = 21 15,188 total makespan = 0 15,7899 total makespan = 0 15,9 total makespan = 0 15,774 total makespan = 0 16,3455 total makespan = 0 16,12 total makespan = 0 16,45 total makespan = 0 16,78 total makespan = 0 16,8546 total makespan = 0 16,474 total makespan = 0 16,188 total makespan = 0 16,7899 total makespan = 0 16,9 total makespan = 0 16,774 total makespan = 0 17,3455 total makespan = 0 17,12 total makespan = 0 17,45 total makespan = 0 17,78 total makespan = 0 17,8546 total makespan = 0 17,474 total makespan = 0 17,188 total makespan = 0 17,7899 total makespan = 0 17,9 total makespan = 0 17,774 total makespan = 0 18,3455 total makespan = 0 18,12 total makespan = 0 18,45 total makespan = 0 18,78 total makespan = 0 18,8546 total makespan = 0 18,474 total makespan = 0 18,188 total makespan = 0 18,7899 total makespan = 0 18,9 total makespan = 0 18,774 total makespan = 0 19,3455 total makespan = 0 19,12 total makespan = 0 19,45 total makespan = 0 19,78 total makespan = 0 19,8546 total makespan = 0 19,474 total makespan = 0 19,188 total makespan = 0 19,7899 total makespan = 0 19,9 total makespan = 0 19,774 total makespan = 0 20,3455 total makespan = 0 20,12 total makespan = 0 20,45 total makespan = 0 20,78 total makespan = 0 20,8546 total makespan = 0 20,474 total makespan = 0 20,188 total makespan = 0 20,7899 total makespan = 0 20,9 total makespan = 0 20,774 total makespan = 0 21,3455 total makespan = 0 21,12 total makespan = 0 21,45 total makespan = 0 21,78 total makespan = 0 21,8546 total makespan = 0 21,474 total makespan = 0 21,188 total makespan = 0 21,7899 total makespan = 0 21,9 total makespan = 0 21,774 total makespan = 0 22,3455 total makespan = 0 22,12 total makespan = 0 22,45 total makespan = 0 22,78 total makespan = 0 22,8546 total makespan = 0 22,474 total makespan = 0 22,188 total makespan = 0 22,7899 total makespan = 0 22,9 total makespan = 0 22,774 total makespan = 0 23,3455 total makespan = 0 23,12 total makespan = 0 23,45 total makespan = 0 23,78 total makespan = 0 23,8546 total makespan = 0 23,474 total makespan = 0 23,188 total makespan = 0 23,7899 total makespan = 0 23,9 total makespan = 0 23,774 total makespan = 0 24,3455 total makespan = 0 24,12 total makespan = 0 24,45 total makespan = 0 24,78 total makespan = 0 24,8546 total makespan = 0 24,474 total makespan = 0 24,188 total makespan = 0 24,7899 total makespan = 0 24,9 total makespan = 0 24,774 total makespan = 0 25,3455 total makespan = 0 25,12 total makespan = 0 25,45 total makespan = 0 25,78 total makespan = 0 25,8546 total makespan = 0 25,474 total makespan = 0 25,188 total makespan = 0 25,7899 total makespan = 0 25,9 total makespan = 0 25,774 total makespan = 0 26,3455 total makespan = 0 26,12 total makespan = 0 26,45 total makespan = 0 26,78 total makespan = 0 26,8546 total makespan = 0 26,474 total makespan = 0 26,188 total makespan = 0 26,7899 total makespan = 0 26,9 total makespan = 0 26,774 total makespan = 0 27,3455 total makespan = 0 27,12 total makespan = 0 27,45 total makespan = 0 27,78 total makespan = 0 27,8546 total makespan = 0 27,474 total makespan = 0 27,188 total makespan = 0 27,7899 total makespan = 0 27,9 total makespan = 0 27,774 total makespan = 0 28,3455 total makespan = 0 28,12 total makespan = 0 28,45 total makespan = 0 28,78 total makespan = 0 28,8546 total makespan = 0 28,474 total makespan = 0 28,188 total makespan = 0 28,7899 total makespan = 0 28,9 total makespan = 0 28,774 total makespan = 0 29,3455 total makespan = 0 29,12 total makespan = 0 29,45 total makespan = 0 29,78 total makespan = 0 29,8546 total makespan = 0 29,474 total makespan = 0 29,188 total makespan = 0 29,7899 total makespan = 0 29,9 total makespan = 0 29,774 total makespan = 0 30,3455 total makespan = 0 30,12 total makespan = 0 30,45 total makespan = 0 30,78 total makespan = 0 30,8546 total makespan = 0 30,474 total makespan = 0 30,188 total makespan = 0 30,7899 total makespan = 0 30,9 total makespan = 0 30,774 total makespan = 0 31,3455 total makespan = 0 31,12 total makespan = 0 31,45 total makespan = 0 31,78 total makespan = 0 31,8546 total makespan = 0 31,474 total makespan = 0 31,188 total makespan = 0 31,7899 total makespan = 0 31,9 total makespan = 0 31,774 total makespan = 0 32,3455 total makespan = 0 32,12 total makespan = 0 32,45 total makespan = 0 32,78 total makespan = 0 32,8546 total makespan = 0 32,474 total makespan = 0 32,188 total makespan = 0 32,7899 total makespan = 0 32,9 total makespan = 0 32,774 total makespan = 0 33,3455 total makespan = 0 33,12 total makespan = 0 33,45 total makespan = 0 33,78 total makespan = 0 33,8546 total makespan = 0 33,474 total makespan = 0 33,188 total makespan = 0 33,7899 total makespan = 0 33,9 total makespan = 0 33,774 total makespan = 0 34,3455 total makespan = 0 34,12 total makespan = 0 34,45 total makespan = 0 34,78 total makespan = 0 34,8546 total makespan = 0 34,474 total makespan = 0 34,188 total makespan = 0 34,7899 total makespan = 0 34,9 total makespan = 0 34,774 total makespan = 0 35,3455 total makespan = 0 35,12 total makespan = 0 35,45 total makespan = 0 35,78 total makespan = 0 35,8546 total makespan = 0 35,474 total makespan = 0 35,188 total makespan = 0 35,7899 total makespan = 0 35,9 total makespan = 0 35,774 total makespan = 0 36,3455 total makespan = 0 36,12 total makespan = 0 36,45 total makespan = 0 36,78 total makespan = 0 36,8546 total makespan = 0 36,474 total makespan = 0 36,188 total makespan = 0 36,7899 total makespan = 0 36,9 total makespan = 0 36,774 total makespan = 0 37,3455 total makespan = 0 37,12 total makespan = 0 37,45 total makespan = 0 37,78 total makespan = 0 37,8546 total makespan = 0 37,474 total makespan = 0 37,188 total makespan = 0 37,7899 total makespan = 0 37,9 total makespan = 0 37,774 total makespan = 0 38,3455 total makespan = 0 38,12 total makespan = 0 38,45 total makespan = 0 38,78 total makespan = 0 38,8546 total makespan = 0 38,474 total makespan = 0 38,188 total makespan = 0 38,7899 total makespan = 0 38,9 total makespan = 0 38,774 total makespan = 0 39,3455 total makespan = 0 39,12 total makespan = 0 39,45 total makespan = 0 39,78 total makespan = 0 39,8546 total makespan = 0 39,474 total makespan = 0 39,188 total makespan = 0 39,7899 total makespan = 0 39,9 total makespan = 0 39,774 total makespan = 0 40,3455 total makespan = 0 40,12 total makespan = 0 40,45 total makespan = 0 40,78 total makespan = 0 40,8546 total makespan = 0 40,474 total makespan = 0 40,188 total makespan = 0 40,7899 total makespan = 0 40,9 total makespan = 0 40,774 total makespan = 0 41,3455 total makespan = 0 41,12 total makespan = 0 41,45 total makespan = 0 41,78 total makespan = 0 41,8546 total makespan = 0 41,474 total makespan = 0 41,188 total makespan = 0 41,7899 total makespan = 0 41,9 total makespan = 0 41,774 total makespan = 0 42,3455 total makespan = 0 42,12 total makespan = 0 42,45 total makespan = 0 42,78 total makespan = 0 42,8546 total makespan = 0 42,474 total makespan = 0 42,188 total makespan = 0 42,7899 total makespan = 0 42,9 total makespan = 0 42,774 total makespan = 0 43,3455 total makespan = 0 43,12 total makespan = 0 43,45 total makespan = 0 43,78 total makespan = 0 43,8546 total makespan = 0 43,474 total makespan = 0 43,188 total makespan = 0 43,7899 total makespan = 0 43,9 total makespan = 0 43,774 total makespan = 0 44,3455 total makespan = 0 44,12 total makespan = 0 44,45 total makespan = 0 44,78 total makespan = 0 44,8546 total makespan = 0 44,474 total makespan = 0 44,188 total makespan = 0 44,7899 total makespan = 0 44,9 total makespan = 0 44,774 total makespan = 0 45,3455 total makespan = 0 45,12 total makespan = 0 45,45 total makespan = 0 45,78 total makespan = 0 45,8546 total makespan = 0 45,474 total makespan = 0 45,188 total makespan = 0 45,7899 total makespan = 0 45,9 total makespan = 0 45,774 total makespan = 0 46,3455 total makespan = 0 46,12 total makespan = 0 46,45 total makespan = 0 46,78 total makespan = 0 46,8546 total makespan = 0 46,474 total makespan = 0 46,188 total makespan = 0 46,7899 total makespan = 0 46,9 total makespan = 0 46,774 total makespan = 0 47,3455 total makespan = 0 47,12 total makespan = 0 47,45 total makespan = 0 47,78 total makespan = 0 47,8546 total makespan = 0 47,474 total makespan = 0 47,188 total makespan = 0 47,7899 total makespan = 0 47,9 total makespan = 0 47,774 total makespan = 0 48,3455 total makespan = 0 48,12 total makespan = 0 48,45 total makespan = 0 48,78 total makespan = 0 48,8546 total makespan = 0 48,474 total makespan = 0 48,188 total makespan = 0 48,7899 total makespan = 0 48,9 total makespan = 0 48,774 total makespan = 0 49,3455 total makespan = 0 49,12 total makespan = 0 49,45 total makespan = 0 49,78 total makespan = 0 49,8546 total makespan = 0 49,474 total makespan = 0 49,188 total makespan = 0 49,7899 total makespan = 0 49,9 total makespan = 0 49,774 total makespan = 0 50,3455 total makespan = 0 50,12 total makespan = 0 50,45 total makespan = 0 50,78 total makespan = 0 50,8546 total makespan = 0 50,474 total makespan = 0 50,188 total makespan = 0 50,7899 total makespan = 0 50,9 total makespan = 0 50,774 total makespan = 0 51,3455 total makespan = 0 51,12 total makespan = 0 51,45 total makespan = 0 51,78 total makespan = 0 51,8546 total makespan = 0 51,474 total makespan = 0 51,188 total makespan = 0 51,7899 total makespan = 0 51,9 total makespan = 0 51,774 total makespan = 0 52,3455 total makespan = 0 52,12 total makespan = 0 52,45 total makespan = 0 52,78 total makespan = 0 52,8546 total makespan = 0 52,474 total makespan = 0 52,188 total makespan = 0 52,7899 total makespan = 0 52,9 total makespan = 0 52,774 total makespan = 0 53,3455 total makespan = 0 53,12 total makespan = 0 53,45 total makespan = 0 53,78 total makespan = 0 53,8546 total makespan = 0 53,474 total makespan = 0 53,188 total makespan = 0 53,7899 total makespan = 0 53,9 total makespan = 0 53,774 total makespan = 0 54,3455 total makespan = 0 54,12 total makespan = 0 54,45 total makespan = 0 54,78 total makespan = 0 54,8546 total makespan = 0 54,474 total makespan = 0 54,188 total makespan = 0 54,7899 total makespan = 0 54,9 total makespan = 0 54,774 total makespan = 0 55,3455 total makespan = 0 55,12 total makespan = 0 55,45 total makespan = 0 55,78 total makespan = 0 55,8546 total makespan = 0 55,474 total makespan = 0 55,188 total makespan = 0 55,7899 total makespan = 0 55,9 total makespan = 0 55,774 total makespan = 0 56,3455 total makespan = 0 56,12 total makespan = 0 56,45 total makespan = 0 56,78 total makespan = 0 56,8546 total makespan = 0 56,474 total makespan = 0 56,188 total makespan = 0 56,7899 total makespan = 0 56,9 total makespan = 0 56,774 total makespan = 0 57,3455 total makespan = 0 57,12 total makespan = 0 57,45 total makespan = 0 57,78 total makespan = 0 57,8546 total makespan = 0 57,474 total makespan = 0 57,188 total makespan = 0 57,7899 total makespan = 0 57,9 total makespan = 0 57,774 total makespan = 0 58,3455 total makespan = 0 58,12 total makespan = 0 58,45 total makespan = 0 58,78 total makespan = 0 58,8546 total makespan = 0 58,474 total makespan = 0 58,188 total makespan = 0 58,7899 total makespan = 0 58,9 total makespan = 0 58,774 total makespan = 0 59,3455 total makespan = 0 59,12 total makespan = 0 59,45 total makespan = 0 59,78 total makespan = 0 59,8546 total makespan = 0 59,474 total makespan = 0 59,188 total makespan = 0 59,7899 total makespan = 0 59,9 total makespan = 0 59,774 total makespan = 0 60,3455 total makespan = 0 60,12 total makespan = 0 60,45 total makespan = 0 60,78 total makespan = 0 60,8546 total makespan = 0 60,474 total makespan = 0 60,188 total makespan = 0 60,7899 total makespan = 0 60,9 total makespan = 0 60,774 total makespan = 0 61,3455 total makespan = 0 61,12 total makespan = 0 61,45 total makespan = 0 61,78 total makespan = 0 61,8546 total makespan = 0 61,474 total makespan = 0 61,188 total makespan = 0 61,7899 total makespan = 0 61,9 total makespan = 0 61,774 total makespan = 0 62,3455 total makespan = 0 62,12 total makespan = 0 62,45 total makespan = 0 62,78 total makespan = 0 62,8546 total makespan = 0 62,474 total makespan = 0 62,188 total makespan = 0 62,7899 total makespan = 0 62,9 total makespan = 0 62,774 total makespan = 0 63,3455 total makespan = 0 63,12 total makespan = 0 63,45 total makespan = 0 63,78 total makespan = 0 63,8546 total makespan = 0 63,474 total makespan = 0 63,188 total makespan = 0 63,7899 total makespan = 0 63,9 total makespan = 0 63,774 total makespan = 0 64,3455 total makespan = 0 64,12 total makespan = 0 64,45 total makespan = 0 64,78 total makespan = 0 64,8546 total makespan = 0 64,474 total makespan = 0 64,188 total makespan = 0 64,7899 total makespan = 0 64,9 total makespan = 0 64,774 total makespan = 0 65,3455 total makespan = 0 65,12 total makespan = 0 65,45 total makespan = 0 65,78 total makespan = 0 65,8546 total makespan = 0 65,474 total makespan = 0 65,188 total makespan = 0 65,7899 total makespan = 0 65,9 total makespan = 0 65,774 total makespan = 0 66,3455 total makespan = 0 66,12 total makespan = 0 66,45 total makespan = 0 66,78 total makespan = 0 66,8546 total makespan = 0 66,474 total makespan = 0 66,188 total makespan = 0 66,7899 total makespan = 0 66,9 total makespan = 0 66,774 total makespan = 0 67,3455 total makespan = 0 67,12 total makespan = 0 67,45 total makespan = 0 67,78 total makespan = 0 67,8546 total makespan = 0 67,474 total makespan = 0 67,188 total makespan = 0 67,7899 total makespan = 0 67,9 total makespan = 0 67,774 total makespan = 0 68,3455 total makespan = 0 68,12 total makespan = 0 68,45 total makespan = 0 68,78 total makespan = 0 68,8546 total makespan = 0 68,474 total makespan = 0 68,188 total makespan = 0 68,7899 total makespan = 0 68,9 total makespan = 0 68,774 total makespan = 0 69,3455 total makespan = 0 69,12 total makespan = 0 69,45 total makespan = 0 69,78 total makespan = 0 69,8546 total makespan = 0 69,474 total makespan = 0 69,188 total makespan = 0 69,7899 total makespan = 0 69,9 total makespan = 0 69,774 total makespan = 0 70,3455 total makespan = 0 70,12 total makespan = 0 70,45 total makespan = 0 70,78 total makespan = 0 70,8546 total makespan = 0 70,474 total makespan = 0 70,188 total makespan = 0 70,7899 total makespan = 0 70,9 total makespan = 0 70,774 total makespan = 0 71,3455 total makespan = 0 71,12 total makespan = 0 71,45 total makespan = 0 71,78 total makespan = 0 71,8546 total makespan = 0 71,474 total makespan = 0 71,188 total makespan = 0 71,7899 total makespan = 0 71,9 total makespan = 0 71,774 total makespan = 0 72,3455 total makespan = 0 72,12 total makespan = 0 72,45 total makespan = 0 72,78 total makespan = 0 72,8546 total makespan = 0 72,474 total makespan = 0 72,188 total makespan = 0 72,7899 total makespan = 0 72,9 total makespan = 0 72,774 total makespan = 0