grid size = 12 max robots = 72 1,3455 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,12 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,45 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,78 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,8546 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,474 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,188 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,7899 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,9 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,774 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 2,3455 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 2,12 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 2,45 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.066 CPU/machine TIME (seconds) = 0.060 2,78 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.070 Wall clock TIME (seconds) = 0.426 CPU/machine TIME (seconds) = 0.430 2,8546 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.100 2,474 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 0.196 CPU/machine TIME (seconds) = 0.190 2,188 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.050 Wall clock TIME (seconds) = 0.223 CPU/machine TIME (seconds) = 0.220 2,7899 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.050 Wall clock TIME (seconds) = 0.273 CPU/machine TIME (seconds) = 0.270 2,9 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.084 CPU/machine TIME (seconds) = 0.080 2,774 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 3,3455 Wall clock TIME (seconds) = 9.715 CPU/machine TIME (seconds) = 9.550 Wall clock TIME (seconds) = 64.360 CPU/machine TIME (seconds) = 64.010 3,12 Wall clock TIME (seconds) = 3.889 CPU/machine TIME (seconds) = 3.700 Wall clock TIME (seconds) = 26.660 CPU/machine TIME (seconds) = 26.650 3,45 Wall clock TIME (seconds) = 10.205 CPU/machine TIME (seconds) = 10.150 Wall clock TIME (seconds) = 64.440 CPU/machine TIME (seconds) = 64.010 3,78 Wall clock TIME (seconds) = 6.775 CPU/machine TIME (seconds) = 6.500 Wall clock TIME (seconds) = 40.817 CPU/machine TIME (seconds) = 40.810 3,8546 Wall clock TIME (seconds) = 3.069 CPU/machine TIME (seconds) = 3.040 Wall clock TIME (seconds) = 19.305 CPU/machine TIME (seconds) = 19.300 3,474 Wall clock TIME (seconds) = 9.967 CPU/machine TIME (seconds) = 9.920 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 3,188 Wall clock TIME (seconds) = 7.753 CPU/machine TIME (seconds) = 7.590 Wall clock TIME (seconds) = 46.954 CPU/machine TIME (seconds) = 46.950 3,7899 Wall clock TIME (seconds) = 10.086 CPU/machine TIME (seconds) = 10.050 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 3,9 Wall clock TIME (seconds) = 9.833 CPU/machine TIME (seconds) = 9.790 Wall clock TIME (seconds) = 65.176 CPU/machine TIME (seconds) = 64.010 3,774 Wall clock TIME (seconds) = 10.634 CPU/machine TIME (seconds) = 10.580 Wall clock TIME (seconds) = 65.668 CPU/machine TIME (seconds) = 64.010 4,3455 Wall clock TIME (seconds) = 13.462 CPU/machine TIME (seconds) = 13.040 Wall clock TIME (seconds) = 65.458 CPU/machine TIME (seconds) = 64.010 4,12 Wall clock TIME (seconds) = 11.310 CPU/machine TIME (seconds) = 11.160 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 4,45 Wall clock TIME (seconds) = 12.133 CPU/machine TIME (seconds) = 12.050 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 4,78 Wall clock TIME (seconds) = 10.815 CPU/machine TIME (seconds) = 10.740 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 4,8546 Wall clock TIME (seconds) = 10.968 CPU/machine TIME (seconds) = 10.950 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 4,474 Wall clock TIME (seconds) = 11.935 CPU/machine TIME (seconds) = 11.910 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 4,188 Wall clock TIME (seconds) = 12.432 CPU/machine TIME (seconds) = 12.400 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 4,7899 Wall clock TIME (seconds) = 12.081 CPU/machine TIME (seconds) = 12.060 Wall clock TIME (seconds) = 64.037 CPU/machine TIME (seconds) = 64.010 4,9 Wall clock TIME (seconds) = 9.589 CPU/machine TIME (seconds) = 9.540 Wall clock TIME (seconds) = 64.072 CPU/machine TIME (seconds) = 64.010 4,774 Wall clock TIME (seconds) = 12.090 CPU/machine TIME (seconds) = 12.020 Wall clock TIME (seconds) = 64.209 CPU/machine TIME (seconds) = 64.010 5,3455 Wall clock TIME (seconds) = 10.809 CPU/machine TIME (seconds) = 10.770 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 5,12 Wall clock TIME (seconds) = 10.148 CPU/machine TIME (seconds) = 10.100 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 5,45 Wall clock TIME (seconds) = 15.525 CPU/machine TIME (seconds) = 15.440 Wall clock TIME (seconds) = 65.382 CPU/machine TIME (seconds) = 64.010 5,78 Wall clock TIME (seconds) = 10.929 CPU/machine TIME (seconds) = 10.890 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 5,8546 Wall clock TIME (seconds) = 11.635 CPU/machine TIME (seconds) = 11.530 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 5,474 Wall clock TIME (seconds) = 13.259 CPU/machine TIME (seconds) = 13.190 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 5,188 Wall clock TIME (seconds) = 13.954 CPU/machine TIME (seconds) = 13.820 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 5,7899 Wall clock TIME (seconds) = 14.650 CPU/machine TIME (seconds) = 14.610 Wall clock TIME (seconds) = 64.725 CPU/machine TIME (seconds) = 64.010 5,9 Wall clock TIME (seconds) = 13.217 CPU/machine TIME (seconds) = 13.200 Wall clock TIME (seconds) = 64.081 CPU/machine TIME (seconds) = 64.010 5,774 Wall clock TIME (seconds) = 13.002 CPU/machine TIME (seconds) = 12.930 Wall clock TIME (seconds) = 64.161 CPU/machine TIME (seconds) = 64.010 6,3455 Wall clock TIME (seconds) = 11.247 CPU/machine TIME (seconds) = 11.220 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 6,12 Wall clock TIME (seconds) = 10.108 CPU/machine TIME (seconds) = 10.050 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 6,45 Wall clock TIME (seconds) = 14.619 CPU/machine TIME (seconds) = 14.580 Wall clock TIME (seconds) = 66.046 CPU/machine TIME (seconds) = 64.010 6,78 Wall clock TIME (seconds) = 13.448 CPU/machine TIME (seconds) = 13.390 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 6,8546 Wall clock TIME (seconds) = 10.053 CPU/machine TIME (seconds) = 9.900 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 6,474 Wall clock TIME (seconds) = 13.896 CPU/machine TIME (seconds) = 13.710 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 6,188 Wall clock TIME (seconds) = 13.339 CPU/machine TIME (seconds) = 13.190 Wall clock TIME (seconds) = 67.212 CPU/machine TIME (seconds) = 64.010 6,7899 Wall clock TIME (seconds) = 6.589 CPU/machine TIME (seconds) = 6.400 Wall clock TIME (seconds) = 64.052 CPU/machine TIME (seconds) = 64.010 6,9 Wall clock TIME (seconds) = 9.441 CPU/machine TIME (seconds) = 9.400 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 6,774 Wall clock TIME (seconds) = 8.968 CPU/machine TIME (seconds) = 8.920 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 7,3455 Wall clock TIME (seconds) = 10.637 CPU/machine TIME (seconds) = 10.520 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 7,12 Wall clock TIME (seconds) = 10.516 CPU/machine TIME (seconds) = 10.400 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 7,45 Wall clock TIME (seconds) = 8.221 CPU/machine TIME (seconds) = 8.170 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 7,78 Wall clock TIME (seconds) = 8.830 CPU/machine TIME (seconds) = 8.700 Wall clock TIME (seconds) = 64.033 CPU/machine TIME (seconds) = 64.010 7,8546 Wall clock TIME (seconds) = 12.502 CPU/machine TIME (seconds) = 12.350 Wall clock TIME (seconds) = 64.244 CPU/machine TIME (seconds) = 64.010 7,474 Wall clock TIME (seconds) = 8.515 CPU/machine TIME (seconds) = 8.460 Wall clock TIME (seconds) = 64.430 CPU/machine TIME (seconds) = 64.010 7,188 Wall clock TIME (seconds) = 9.355 CPU/machine TIME (seconds) = 9.320 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 7,7899 Wall clock TIME (seconds) = 13.764 CPU/machine TIME (seconds) = 13.630 Wall clock TIME (seconds) = 66.642 CPU/machine TIME (seconds) = 64.010 7,9 Wall clock TIME (seconds) = 15.347 CPU/machine TIME (seconds) = 15.230 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 7,774 Wall clock TIME (seconds) = 14.987 CPU/machine TIME (seconds) = 14.860 Wall clock TIME (seconds) = 64.107 CPU/machine TIME (seconds) = 64.010 8,3455 Wall clock TIME (seconds) = 15.001 CPU/machine TIME (seconds) = 14.950 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 8,12 Wall clock TIME (seconds) = 11.327 CPU/machine TIME (seconds) = 11.290 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 8,45 Wall clock TIME (seconds) = 16.738 CPU/machine TIME (seconds) = 16.630 Wall clock TIME (seconds) = 64.304 CPU/machine TIME (seconds) = 64.010 8,78 Wall clock TIME (seconds) = 9.450 CPU/machine TIME (seconds) = 9.380 Wall clock TIME (seconds) = 64.053 CPU/machine TIME (seconds) = 64.010 8,8546 Wall clock TIME (seconds) = 13.142 CPU/machine TIME (seconds) = 13.080 Wall clock TIME (seconds) = 65.912 CPU/machine TIME (seconds) = 64.010 8,474 Wall clock TIME (seconds) = 8.353 CPU/machine TIME (seconds) = 8.320 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 8,188 Wall clock TIME (seconds) = 12.738 CPU/machine TIME (seconds) = 12.690 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 8,7899 Wall clock TIME (seconds) = 8.892 CPU/machine TIME (seconds) = 8.760 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 8,9 Wall clock TIME (seconds) = 16.196 CPU/machine TIME (seconds) = 16.160 Wall clock TIME (seconds) = 65.785 CPU/machine TIME (seconds) = 64.010 8,774 Wall clock TIME (seconds) = 18.585 CPU/machine TIME (seconds) = 18.310 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 9,3455 Wall clock TIME (seconds) = 11.926 CPU/machine TIME (seconds) = 11.840 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 9,12 Wall clock TIME (seconds) = 20.795 CPU/machine TIME (seconds) = 20.470 Wall clock TIME (seconds) = 65.122 CPU/machine TIME (seconds) = 64.010 9,45 Wall clock TIME (seconds) = 21.881 CPU/machine TIME (seconds) = 21.700 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 9,78 Wall clock TIME (seconds) = 10.131 CPU/machine TIME (seconds) = 10.090 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 9,8546 Wall clock TIME (seconds) = 17.481 CPU/machine TIME (seconds) = 17.080 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 9,474 Wall clock TIME (seconds) = 22.021 CPU/machine TIME (seconds) = 21.990 Wall clock TIME (seconds) = 65.632 CPU/machine TIME (seconds) = 64.010 9,188 Wall clock TIME (seconds) = 12.378 CPU/machine TIME (seconds) = 12.360 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 9,7899 Wall clock TIME (seconds) = 19.444 CPU/machine TIME (seconds) = 19.360 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 9,9 Wall clock TIME (seconds) = 22.402 CPU/machine TIME (seconds) = 22.330 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 9,774 Wall clock TIME (seconds) = 22.290 CPU/machine TIME (seconds) = 21.860 Wall clock TIME (seconds) = 67.278 CPU/machine TIME (seconds) = 64.010 10,3455 Wall clock TIME (seconds) = 22.763 CPU/machine TIME (seconds) = 22.680 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 10,12 Wall clock TIME (seconds) = 21.850 CPU/machine TIME (seconds) = 21.810 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 10,45 Wall clock TIME (seconds) = 24.940 CPU/machine TIME (seconds) = 24.800 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 10,78 Wall clock TIME (seconds) = 24.512 CPU/machine TIME (seconds) = 24.470 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 10,8546 Wall clock TIME (seconds) = 23.378 CPU/machine TIME (seconds) = 23.110 Wall clock TIME (seconds) = 66.072 CPU/machine TIME (seconds) = 64.010 10,474 Wall clock TIME (seconds) = 23.070 CPU/machine TIME (seconds) = 22.920 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 10,188 Wall clock TIME (seconds) = 14.291 CPU/machine TIME (seconds) = 14.250 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 10,7899 Wall clock TIME (seconds) = 19.015 CPU/machine TIME (seconds) = 18.930 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 10,9 Wall clock TIME (seconds) = 26.120 CPU/machine TIME (seconds) = 26.090 Wall clock TIME (seconds) = 67.001 CPU/machine TIME (seconds) = 64.010 10,774 Wall clock TIME (seconds) = 21.450 CPU/machine TIME (seconds) = 21.420 Wall clock TIME (seconds) = 66.172 CPU/machine TIME (seconds) = 64.010 11,3455 Wall clock TIME (seconds) = 26.659 CPU/machine TIME (seconds) = 26.620 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 11,12 Wall clock TIME (seconds) = 22.846 CPU/machine TIME (seconds) = 22.190 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 11,45 Wall clock TIME (seconds) = 24.957 CPU/machine TIME (seconds) = 24.770 Wall clock TIME (seconds) = 65.602 CPU/machine TIME (seconds) = 64.010 11,78 Wall clock TIME (seconds) = 26.484 CPU/machine TIME (seconds) = 26.370 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 11,8546 Wall clock TIME (seconds) = 23.545 CPU/machine TIME (seconds) = 23.520 Wall clock TIME (seconds) = 67.334 CPU/machine TIME (seconds) = 64.010 11,474 Wall clock TIME (seconds) = 22.423 CPU/machine TIME (seconds) = 22.390 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 11,188 Wall clock TIME (seconds) = 24.868 CPU/machine TIME (seconds) = 24.820 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 11,7899 Wall clock TIME (seconds) = 21.420 CPU/machine TIME (seconds) = 21.360 Wall clock TIME (seconds) = 67.138 CPU/machine TIME (seconds) = 64.010 11,9 Wall clock TIME (seconds) = 19.539 CPU/machine TIME (seconds) = 19.490 Wall clock TIME (seconds) = 64.396 CPU/machine TIME (seconds) = 64.010 11,774 Wall clock TIME (seconds) = 24.134 CPU/machine TIME (seconds) = 24.030 Wall clock TIME (seconds) = 65.537 CPU/machine TIME (seconds) = 64.010 12,3455 Wall clock TIME (seconds) = 24.759 CPU/machine TIME (seconds) = 24.690 Wall clock TIME (seconds) = 64.176 CPU/machine TIME (seconds) = 64.010 12,12 Wall clock TIME (seconds) = 22.863 CPU/machine TIME (seconds) = 22.780 Wall clock TIME (seconds) = 64.225 CPU/machine TIME (seconds) = 64.010 12,45 Wall clock TIME (seconds) = 21.521 CPU/machine TIME (seconds) = 21.470 Wall clock TIME (seconds) = 65.170 CPU/machine TIME (seconds) = 64.010 12,78 Wall clock TIME (seconds) = 20.569 CPU/machine TIME (seconds) = 20.530 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 12,8546 Wall clock TIME (seconds) = 24.565 CPU/machine TIME (seconds) = 24.490 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 12,474 Wall clock TIME (seconds) = 21.683 CPU/machine TIME (seconds) = 21.500 Wall clock TIME (seconds) = 64.781 CPU/machine TIME (seconds) = 64.010 12,188 Wall clock TIME (seconds) = 25.787 CPU/machine TIME (seconds) = 25.730 Wall clock TIME (seconds) = 64.142 CPU/machine TIME (seconds) = 64.010 12,7899 Wall clock TIME (seconds) = 23.263 CPU/machine TIME (seconds) = 23.200 Wall clock TIME (seconds) = 65.815 CPU/machine TIME (seconds) = 64.010 12,9 Wall clock TIME (seconds) = 19.767 CPU/machine TIME (seconds) = 19.740 Wall clock TIME (seconds) = 64.148 CPU/machine TIME (seconds) = 64.010 12,774 Wall clock TIME (seconds) = 18.202 CPU/machine TIME (seconds) = 18.170 Wall clock TIME (seconds) = 64.080 CPU/machine TIME (seconds) = 64.010 13,3455 Wall clock TIME (seconds) = 22.034 CPU/machine TIME (seconds) = 21.770 Wall clock TIME (seconds) = 64.238 CPU/machine TIME (seconds) = 64.010 13,12 Wall clock TIME (seconds) = 22.799 CPU/machine TIME (seconds) = 22.710 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 13,45 Wall clock TIME (seconds) = 22.630 CPU/machine TIME (seconds) = 22.500 Wall clock TIME (seconds) = 64.810 CPU/machine TIME (seconds) = 64.010 13,78 Wall clock TIME (seconds) = 22.281 CPU/machine TIME (seconds) = 22.240 Wall clock TIME (seconds) = 64.551 CPU/machine TIME (seconds) = 64.010 13,8546 Wall clock TIME (seconds) = 19.263 CPU/machine TIME (seconds) = 19.230 Wall clock TIME (seconds) = 64.150 CPU/machine TIME (seconds) = 64.010 13,474 Wall clock TIME (seconds) = 22.308 CPU/machine TIME (seconds) = 22.230 Wall clock TIME (seconds) = 65.363 CPU/machine TIME (seconds) = 64.010 13,188 Wall clock TIME (seconds) = 21.254 CPU/machine TIME (seconds) = 21.230 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 13,7899 Wall clock TIME (seconds) = 19.145 CPU/machine TIME (seconds) = 18.300 Wall clock TIME (seconds) = 65.773 CPU/machine TIME (seconds) = 64.010 13,9 Wall clock TIME (seconds) = 18.880 CPU/machine TIME (seconds) = 18.800 Wall clock TIME (seconds) = 64.078 CPU/machine TIME (seconds) = 64.010 13,774 Wall clock TIME (seconds) = 19.543 CPU/machine TIME (seconds) = 19.500 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 14,3455 Wall clock TIME (seconds) = 22.082 CPU/machine TIME (seconds) = 22.010 Wall clock TIME (seconds) = 64.800 CPU/machine TIME (seconds) = 64.010 14,12 Wall clock TIME (seconds) = 18.102 CPU/machine TIME (seconds) = 18.040 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 14,45 Wall clock TIME (seconds) = 23.181 CPU/machine TIME (seconds) = 23.140 Wall clock TIME (seconds) = 65.257 CPU/machine TIME (seconds) = 64.010 14,78 Wall clock TIME (seconds) = 22.604 CPU/machine TIME (seconds) = 22.430 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 14,8546 Wall clock TIME (seconds) = 20.448 CPU/machine TIME (seconds) = 20.320 Wall clock TIME (seconds) = 65.558 CPU/machine TIME (seconds) = 64.010 14,474 Wall clock TIME (seconds) = 18.720 CPU/machine TIME (seconds) = 18.660 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 14,188 Wall clock TIME (seconds) = 22.894 CPU/machine TIME (seconds) = 22.620 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 14,7899 Wall clock TIME (seconds) = 19.767 CPU/machine TIME (seconds) = 19.710 Wall clock TIME (seconds) = 65.547 CPU/machine TIME (seconds) = 64.010 14,9 Wall clock TIME (seconds) = 19.507 CPU/machine TIME (seconds) = 19.450 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 14,774 Wall clock TIME (seconds) = 18.466 CPU/machine TIME (seconds) = 18.340 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 15,3455 Wall clock TIME (seconds) = 20.780 CPU/machine TIME (seconds) = 20.700 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 15,12 Wall clock TIME (seconds) = 17.482 CPU/machine TIME (seconds) = 17.390 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 15,45 Wall clock TIME (seconds) = 19.694 CPU/machine TIME (seconds) = 19.660 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 15,78 Wall clock TIME (seconds) = 19.589 CPU/machine TIME (seconds) = 19.560 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 15,8546 Wall clock TIME (seconds) = 18.605 CPU/machine TIME (seconds) = 18.540 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 15,474 Wall clock TIME (seconds) = 20.471 CPU/machine TIME (seconds) = 20.350 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 15,188 Wall clock TIME (seconds) = 22.320 CPU/machine TIME (seconds) = 22.130 Wall clock TIME (seconds) = 68.863 CPU/machine TIME (seconds) = 64.010 15,7899 Wall clock TIME (seconds) = 20.868 CPU/machine TIME (seconds) = 20.650 Wall clock TIME (seconds) = 65.527 CPU/machine TIME (seconds) = 64.010 15,9 Wall clock TIME (seconds) = 16.978 CPU/machine TIME (seconds) = 16.960 Wall clock TIME (seconds) = 64.075 CPU/machine TIME (seconds) = 64.010 15,774 Wall clock TIME (seconds) = 19.834 CPU/machine TIME (seconds) = 19.600 Wall clock TIME (seconds) = 68.959 CPU/machine TIME (seconds) = 64.010 16,3455 Wall clock TIME (seconds) = 19.050 CPU/machine TIME (seconds) = 18.980 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 16,12 Wall clock TIME (seconds) = 18.975 CPU/machine TIME (seconds) = 18.730 Wall clock TIME (seconds) = 64.217 CPU/machine TIME (seconds) = 64.010 16,45 Wall clock TIME (seconds) = 22.185 CPU/machine TIME (seconds) = 22.040 Wall clock TIME (seconds) = 65.419 CPU/machine TIME (seconds) = 64.010 16,78 Wall clock TIME (seconds) = 17.960 CPU/machine TIME (seconds) = 17.910 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 16,8546 Wall clock TIME (seconds) = 21.401 CPU/machine TIME (seconds) = 21.280 Wall clock TIME (seconds) = 72.920 CPU/machine TIME (seconds) = 64.030 16,474 Wall clock TIME (seconds) = 19.327 CPU/machine TIME (seconds) = 19.300 Wall clock TIME (seconds) = 67.989 CPU/machine TIME (seconds) = 64.010 16,188 Wall clock TIME (seconds) = 21.026 CPU/machine TIME (seconds) = 20.990 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 16,7899 Wall clock TIME (seconds) = 19.009 CPU/machine TIME (seconds) = 18.960 Wall clock TIME (seconds) = 73.478 CPU/machine TIME (seconds) = 64.010 16,9 Wall clock TIME (seconds) = 19.486 CPU/machine TIME (seconds) = 19.440 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 16,774 Wall clock TIME (seconds) = 20.832 CPU/machine TIME (seconds) = 20.760 Wall clock TIME (seconds) = 66.325 CPU/machine TIME (seconds) = 64.010 17,3455 Wall clock TIME (seconds) = 19.933 CPU/machine TIME (seconds) = 19.840 Wall clock TIME (seconds) = 68.075 CPU/machine TIME (seconds) = 64.010 17,12 Wall clock TIME (seconds) = 18.715 CPU/machine TIME (seconds) = 18.670 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 17,45 Wall clock TIME (seconds) = 21.660 CPU/machine TIME (seconds) = 21.560 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 17,78 Wall clock TIME (seconds) = 20.766 CPU/machine TIME (seconds) = 20.520 Wall clock TIME (seconds) = 71.561 CPU/machine TIME (seconds) = 64.010 17,8546 Wall clock TIME (seconds) = 16.641 CPU/machine TIME (seconds) = 16.590 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 17,474 Wall clock TIME (seconds) = 19.508 CPU/machine TIME (seconds) = 19.460 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 17,188 Wall clock TIME (seconds) = 17.760 CPU/machine TIME (seconds) = 17.710 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 17,7899 Wall clock TIME (seconds) = 18.732 CPU/machine TIME (seconds) = 18.700 Wall clock TIME (seconds) = 86.659 CPU/machine TIME (seconds) = 64.010 17,9 Wall clock TIME (seconds) = 22.689 CPU/machine TIME (seconds) = 22.650 Wall clock TIME (seconds) = 69.741 CPU/machine TIME (seconds) = 64.010 17,774 Wall clock TIME (seconds) = 19.626 CPU/machine TIME (seconds) = 19.600 Wall clock TIME (seconds) = 64.135 CPU/machine TIME (seconds) = 64.010 18,3455 Wall clock TIME (seconds) = 19.188 CPU/machine TIME (seconds) = 19.140 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 18,12 Wall clock TIME (seconds) = 18.860 CPU/machine TIME (seconds) = 18.840 Wall clock TIME (seconds) = 70.521 CPU/machine TIME (seconds) = 64.010 18,45 Wall clock TIME (seconds) = 18.208 CPU/machine TIME (seconds) = 18.100 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 18,78 Wall clock TIME (seconds) = 20.289 CPU/machine TIME (seconds) = 20.230 Wall clock TIME (seconds) = 67.968 CPU/machine TIME (seconds) = 64.010 18,8546 Wall clock TIME (seconds) = 21.728 CPU/machine TIME (seconds) = 21.590 Wall clock TIME (seconds) = 81.002 CPU/machine TIME (seconds) = 64.010 18,474 Wall clock TIME (seconds) = 18.411 CPU/machine TIME (seconds) = 18.210 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 18,188 Wall clock TIME (seconds) = 19.827 CPU/machine TIME (seconds) = 19.680 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 18,7899 Wall clock TIME (seconds) = 20.441 CPU/machine TIME (seconds) = 20.390 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 18,9 Wall clock TIME (seconds) = 22.597 CPU/machine TIME (seconds) = 22.280 Wall clock TIME (seconds) = 64.496 CPU/machine TIME (seconds) = 64.010 18,774 Wall clock TIME (seconds) = 20.051 CPU/machine TIME (seconds) = 20.030 Wall clock TIME (seconds) = 64.076 CPU/machine TIME (seconds) = 64.010 19,3455 Wall clock TIME (seconds) = 19.297 CPU/machine TIME (seconds) = 19.240 Wall clock TIME (seconds) = 70.049 CPU/machine TIME (seconds) = 64.010 19,12 Wall clock TIME (seconds) = 19.042 CPU/machine TIME (seconds) = 18.990 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 19,45 Wall clock TIME (seconds) = 19.176 CPU/machine TIME (seconds) = 18.930 Wall clock TIME (seconds) = 80.599 CPU/machine TIME (seconds) = 64.010 19,78 Wall clock TIME (seconds) = 21.720 CPU/machine TIME (seconds) = 21.650 Wall clock TIME (seconds) = 72.655 CPU/machine TIME (seconds) = 64.010 19,8546 Wall clock TIME (seconds) = 22.811 CPU/machine TIME (seconds) = 22.270 Wall clock TIME (seconds) = 71.702 CPU/machine TIME (seconds) = 64.010 19,474 Wall clock TIME (seconds) = 17.176 CPU/machine TIME (seconds) = 17.100 Wall clock TIME (seconds) = 64.049 CPU/machine TIME (seconds) = 64.010 19,188 Wall clock TIME (seconds) = 21.703 CPU/machine TIME (seconds) = 21.620 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 19,7899 Wall clock TIME (seconds) = 19.229 CPU/machine TIME (seconds) = 19.120 Wall clock TIME (seconds) = 70.257 CPU/machine TIME (seconds) = 64.010 19,9 Wall clock TIME (seconds) = 19.474 CPU/machine TIME (seconds) = 19.300 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 19,774 Wall clock TIME (seconds) = 20.315 CPU/machine TIME (seconds) = 20.210 Wall clock TIME (seconds) = 73.481 CPU/machine TIME (seconds) = 64.010 20,3455 Wall clock TIME (seconds) = 21.392 CPU/machine TIME (seconds) = 21.280 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 20,12 Wall clock TIME (seconds) = 16.801 CPU/machine TIME (seconds) = 16.730 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 20,45 Wall clock TIME (seconds) = 19.807 CPU/machine TIME (seconds) = 19.750 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 20,78 Wall clock TIME (seconds) = 21.184 CPU/machine TIME (seconds) = 21.050 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 20,8546 Wall clock TIME (seconds) = 20.401 CPU/machine TIME (seconds) = 20.350 Wall clock TIME (seconds) = 68.656 CPU/machine TIME (seconds) = 64.010 20,474 Wall clock TIME (seconds) = 17.172 CPU/machine TIME (seconds) = 17.150 Wall clock TIME (seconds) = 64.104 CPU/machine TIME (seconds) = 64.010 20,188 Wall clock TIME (seconds) = 18.866 CPU/machine TIME (seconds) = 18.840 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 20,7899 Wall clock TIME (seconds) = 18.110 CPU/machine TIME (seconds) = 18.070 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 20,9 Wall clock TIME (seconds) = 21.555 CPU/machine TIME (seconds) = 21.500 Wall clock TIME (seconds) = 95.608 CPU/machine TIME (seconds) = 64.010 20,774 Wall clock TIME (seconds) = 20.006 CPU/machine TIME (seconds) = 19.930 Wall clock TIME (seconds) = 66.302 CPU/machine TIME (seconds) = 64.010 21,3455 Wall clock TIME (seconds) = 20.012 CPU/machine TIME (seconds) = 19.980 Wall clock TIME (seconds) = 64.130 CPU/machine TIME (seconds) = 64.010 21,12 Wall clock TIME (seconds) = 17.537 CPU/machine TIME (seconds) = 17.460 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 21,45 Wall clock TIME (seconds) = 19.459 CPU/machine TIME (seconds) = 19.430 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 21,78 Wall clock TIME (seconds) = 19.233 CPU/machine TIME (seconds) = 19.120 Wall clock TIME (seconds) = 74.329 CPU/machine TIME (seconds) = 64.010 21,8546 Wall clock TIME (seconds) = 17.659 CPU/machine TIME (seconds) = 17.550 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 21,474 Wall clock TIME (seconds) = 18.045 CPU/machine TIME (seconds) = 17.970 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 21,188 Wall clock TIME (seconds) = 21.318 CPU/machine TIME (seconds) = 21.230 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 21,7899 Wall clock TIME (seconds) = 22.322 CPU/machine TIME (seconds) = 20.210 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 21,9 Wall clock TIME (seconds) = 18.578 CPU/machine TIME (seconds) = 18.540 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 21,774 Wall clock TIME (seconds) = 17.740 CPU/machine TIME (seconds) = 17.660 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 22,3455 Wall clock TIME (seconds) = 18.601 CPU/machine TIME (seconds) = 18.570 Wall clock TIME (seconds) = 97.349 CPU/machine TIME (seconds) = 64.010 22,12 Wall clock TIME (seconds) = 18.570 CPU/machine TIME (seconds) = 18.320 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 22,45 Wall clock TIME (seconds) = 21.687 CPU/machine TIME (seconds) = 21.580 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 22,78 Wall clock TIME (seconds) = 18.107 CPU/machine TIME (seconds) = 17.990 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 22,8546 Wall clock TIME (seconds) = 16.074 CPU/machine TIME (seconds) = 16.020 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 22,474 Wall clock TIME (seconds) = 18.983 CPU/machine TIME (seconds) = 18.710 Wall clock TIME (seconds) = 91.269 CPU/machine TIME (seconds) = 64.030 22,188 Wall clock TIME (seconds) = 19.058 CPU/machine TIME (seconds) = 19.010 Wall clock TIME (seconds) = 75.329 CPU/machine TIME (seconds) = 64.010 22,7899 Wall clock TIME (seconds) = 19.966 CPU/machine TIME (seconds) = 19.900 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 22,9 Wall clock TIME (seconds) = 21.563 CPU/machine TIME (seconds) = 21.520 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 22,774 Wall clock TIME (seconds) = 21.856 CPU/machine TIME (seconds) = 21.160 Wall clock TIME (seconds) = 87.048 CPU/machine TIME (seconds) = 64.010 23,3455 Wall clock TIME (seconds) = 18.883 CPU/machine TIME (seconds) = 18.740 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 23,12 Wall clock TIME (seconds) = 17.486 CPU/machine TIME (seconds) = 17.400 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 23,45 Wall clock TIME (seconds) = 19.883 CPU/machine TIME (seconds) = 19.840 Wall clock TIME (seconds) = 84.899 CPU/machine TIME (seconds) = 64.030 23,78 Wall clock TIME (seconds) = 20.100 CPU/machine TIME (seconds) = 19.790 Wall clock TIME (seconds) = 76.591 CPU/machine TIME (seconds) = 64.010 23,8546 Wall clock TIME (seconds) = 21.037 CPU/machine TIME (seconds) = 20.940 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 23,474 Wall clock TIME (seconds) = 19.152 CPU/machine TIME (seconds) = 19.100 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 23,188 Wall clock TIME (seconds) = 19.545 CPU/machine TIME (seconds) = 19.490 Wall clock TIME (seconds) = 68.764 CPU/machine TIME (seconds) = 64.010 23,7899 Wall clock TIME (seconds) = 17.071 CPU/machine TIME (seconds) = 16.990 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 23,9 Wall clock TIME (seconds) = 18.064 CPU/machine TIME (seconds) = 17.950 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 23,774 Wall clock TIME (seconds) = 17.219 CPU/machine TIME (seconds) = 17.160 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 24,3455 Wall clock TIME (seconds) = 18.131 CPU/machine TIME (seconds) = 18.090 Wall clock TIME (seconds) = 85.123 CPU/machine TIME (seconds) = 64.010 24,12 Wall clock TIME (seconds) = 18.908 CPU/machine TIME (seconds) = 18.840 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 24,45 Wall clock TIME (seconds) = 20.735 CPU/machine TIME (seconds) = 20.690 Wall clock TIME (seconds) = 80.440 CPU/machine TIME (seconds) = 64.010 24,78 Wall clock TIME (seconds) = 15.790 CPU/machine TIME (seconds) = 15.760 Wall clock TIME (seconds) = 64.082 CPU/machine TIME (seconds) = 64.010 24,8546 Wall clock TIME (seconds) = 19.257 CPU/machine TIME (seconds) = 19.200 Wall clock TIME (seconds) = 71.059 CPU/machine TIME (seconds) = 64.010 24,474 Wall clock TIME (seconds) = 20.007 CPU/machine TIME (seconds) = 19.770 Wall clock TIME (seconds) = 71.086 CPU/machine TIME (seconds) = 64.010 24,188 Wall clock TIME (seconds) = 19.980 CPU/machine TIME (seconds) = 19.880 Wall clock TIME (seconds) = 73.908 CPU/machine TIME (seconds) = 64.010 24,7899 Wall clock TIME (seconds) = 21.873 CPU/machine TIME (seconds) = 21.810 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 24,9 Wall clock TIME (seconds) = 17.475 CPU/machine TIME (seconds) = 17.420 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 24,774 Wall clock TIME (seconds) = 19.584 CPU/machine TIME (seconds) = 19.550 Wall clock TIME (seconds) = 75.682 CPU/machine TIME (seconds) = 64.010 25,3455 Wall clock TIME (seconds) = 21.575 CPU/machine TIME (seconds) = 21.460 Wall clock TIME (seconds) = 71.119 CPU/machine TIME (seconds) = 64.010 25,12 Wall clock TIME (seconds) = 20.663 CPU/machine TIME (seconds) = 20.270 Wall clock TIME (seconds) = 64.054 CPU/machine TIME (seconds) = 64.010 25,45 Wall clock TIME (seconds) = 18.280 CPU/machine TIME (seconds) = 18.250 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 25,78 Wall clock TIME (seconds) = 21.583 CPU/machine TIME (seconds) = 21.550 Wall clock TIME (seconds) = 68.212 CPU/machine TIME (seconds) = 64.010 25,8546 Wall clock TIME (seconds) = 17.449 CPU/machine TIME (seconds) = 17.400 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 25,474 Wall clock TIME (seconds) = 19.378 CPU/machine TIME (seconds) = 19.280 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 25,188 Wall clock TIME (seconds) = 15.443 CPU/machine TIME (seconds) = 15.410 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 25,7899 Wall clock TIME (seconds) = 20.371 CPU/machine TIME (seconds) = 20.290 Wall clock TIME (seconds) = 97.844 CPU/machine TIME (seconds) = 64.010 25,9 Wall clock TIME (seconds) = 22.175 CPU/machine TIME (seconds) = 21.790 Wall clock TIME (seconds) = 69.599 CPU/machine TIME (seconds) = 64.010 25,774 Wall clock TIME (seconds) = 17.974 CPU/machine TIME (seconds) = 17.910 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 26,3455 Wall clock TIME (seconds) = 19.848 CPU/machine TIME (seconds) = 19.820 Wall clock TIME (seconds) = 67.481 CPU/machine TIME (seconds) = 64.010 26,12 Wall clock TIME (seconds) = 17.724 CPU/machine TIME (seconds) = 17.640 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 26,45 Wall clock TIME (seconds) = 21.934 CPU/machine TIME (seconds) = 21.840 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 26,78 Wall clock TIME (seconds) = 18.785 CPU/machine TIME (seconds) = 18.740 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 26,8546 Wall clock TIME (seconds) = 16.285 CPU/machine TIME (seconds) = 16.230 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 26,474 Wall clock TIME (seconds) = 20.216 CPU/machine TIME (seconds) = 20.130 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 26,188 Wall clock TIME (seconds) = 19.919 CPU/machine TIME (seconds) = 19.740 Wall clock TIME (seconds) = 75.641 CPU/machine TIME (seconds) = 64.020 26,7899 Wall clock TIME (seconds) = 19.719 CPU/machine TIME (seconds) = 19.650 Wall clock TIME (seconds) = 82.976 CPU/machine TIME (seconds) = 64.010 26,9 Wall clock TIME (seconds) = 22.258 CPU/machine TIME (seconds) = 22.000 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 26,774 Wall clock TIME (seconds) = 17.044 CPU/machine TIME (seconds) = 17.000 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 27,3455 Wall clock TIME (seconds) = 19.592 CPU/machine TIME (seconds) = 19.530 Wall clock TIME (seconds) = 83.304 CPU/machine TIME (seconds) = 64.010 27,12 Wall clock TIME (seconds) = 18.533 CPU/machine TIME (seconds) = 18.430 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 27,45 Wall clock TIME (seconds) = 18.634 CPU/machine TIME (seconds) = 18.610 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 27,78 Wall clock TIME (seconds) = 20.243 CPU/machine TIME (seconds) = 20.180 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 27,8546 Wall clock TIME (seconds) = 19.632 CPU/machine TIME (seconds) = 19.530 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 27,474 Wall clock TIME (seconds) = 18.378 CPU/machine TIME (seconds) = 18.350 Wall clock TIME (seconds) = 86.301 CPU/machine TIME (seconds) = 64.020 27,188 Wall clock TIME (seconds) = 18.908 CPU/machine TIME (seconds) = 18.770 Wall clock TIME (seconds) = 75.963 CPU/machine TIME (seconds) = 64.010 27,7899 Wall clock TIME (seconds) = 21.563 CPU/machine TIME (seconds) = 21.420 Wall clock TIME (seconds) = 78.679 CPU/machine TIME (seconds) = 64.010 27,9 Wall clock TIME (seconds) = 18.852 CPU/machine TIME (seconds) = 18.780 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 27,774 Wall clock TIME (seconds) = 21.617 CPU/machine TIME (seconds) = 21.530 Wall clock TIME (seconds) = 67.248 CPU/machine TIME (seconds) = 64.010 28,3455 Wall clock TIME (seconds) = 17.590 CPU/machine TIME (seconds) = 17.540 Wall clock TIME (seconds) = 64.060 CPU/machine TIME (seconds) = 64.010 28,12 Wall clock TIME (seconds) = 19.255 CPU/machine TIME (seconds) = 19.220 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 28,45 Wall clock TIME (seconds) = 17.815 CPU/machine TIME (seconds) = 17.790 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 28,78 Wall clock TIME (seconds) = 16.695 CPU/machine TIME (seconds) = 16.550 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 28,8546 Wall clock TIME (seconds) = 17.029 CPU/machine TIME (seconds) = 16.960 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 28,474 Wall clock TIME (seconds) = 19.583 CPU/machine TIME (seconds) = 19.550 Wall clock TIME (seconds) = 83.295 CPU/machine TIME (seconds) = 64.010 28,188 Wall clock TIME (seconds) = 22.429 CPU/machine TIME (seconds) = 22.070 Wall clock TIME (seconds) = 81.426 CPU/machine TIME (seconds) = 64.010 28,7899 Wall clock TIME (seconds) = 19.027 CPU/machine TIME (seconds) = 18.900 Wall clock TIME (seconds) = 66.478 CPU/machine TIME (seconds) = 64.010 28,9 Wall clock TIME (seconds) = 19.414 CPU/machine TIME (seconds) = 19.230 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 28,774 Wall clock TIME (seconds) = 22.898 CPU/machine TIME (seconds) = 20.780 Wall clock TIME (seconds) = 72.646 CPU/machine TIME (seconds) = 64.010 29,3455 Wall clock TIME (seconds) = 17.674 CPU/machine TIME (seconds) = 17.650 Wall clock TIME (seconds) = 64.082 CPU/machine TIME (seconds) = 64.010 29,12 Wall clock TIME (seconds) = 18.185 CPU/machine TIME (seconds) = 18.160 Wall clock TIME (seconds) = 71.539 CPU/machine TIME (seconds) = 64.010 29,45 Wall clock TIME (seconds) = 19.438 CPU/machine TIME (seconds) = 19.340 Wall clock TIME (seconds) = 64.048 CPU/machine TIME (seconds) = 64.010 29,78 Wall clock TIME (seconds) = 21.139 CPU/machine TIME (seconds) = 20.980 Wall clock TIME (seconds) = 80.363 CPU/machine TIME (seconds) = 64.010 29,8546 Wall clock TIME (seconds) = 20.624 CPU/machine TIME (seconds) = 20.040 Wall clock TIME (seconds) = 70.713 CPU/machine TIME (seconds) = 64.010 29,474 Wall clock TIME (seconds) = 17.310 CPU/machine TIME (seconds) = 17.170 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 29,188 Wall clock TIME (seconds) = 17.748 CPU/machine TIME (seconds) = 17.640 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 29,7899 Wall clock TIME (seconds) = 18.190 CPU/machine TIME (seconds) = 18.160 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 29,9 Wall clock TIME (seconds) = 19.665 CPU/machine TIME (seconds) = 19.400 Wall clock TIME (seconds) = 70.905 CPU/machine TIME (seconds) = 64.010 29,774 Wall clock TIME (seconds) = 22.277 CPU/machine TIME (seconds) = 22.220 Wall clock TIME (seconds) = 76.190 CPU/machine TIME (seconds) = 64.010 30,3455 Wall clock TIME (seconds) = 14.948 CPU/machine TIME (seconds) = 14.930 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 30,12 Wall clock TIME (seconds) = 15.920 CPU/machine TIME (seconds) = 15.670 Wall clock TIME (seconds) = 64.235 CPU/machine TIME (seconds) = 64.010 30,45 Wall clock TIME (seconds) = 17.959 CPU/machine TIME (seconds) = 17.780 Wall clock TIME (seconds) = 71.801 CPU/machine TIME (seconds) = 64.020 30,78 Wall clock TIME (seconds) = 17.550 CPU/machine TIME (seconds) = 17.390 Wall clock TIME (seconds) = 68.397 CPU/machine TIME (seconds) = 64.010 30,8546 Wall clock TIME (seconds) = 17.473 CPU/machine TIME (seconds) = 17.400 Wall clock TIME (seconds) = 70.431 CPU/machine TIME (seconds) = 64.010 30,474 Wall clock TIME (seconds) = 18.483 CPU/machine TIME (seconds) = 18.390 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 30,188 Wall clock TIME (seconds) = 17.808 CPU/machine TIME (seconds) = 17.590 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 30,7899 Wall clock TIME (seconds) = 17.722 CPU/machine TIME (seconds) = 17.690 Wall clock TIME (seconds) = 70.029 CPU/machine TIME (seconds) = 64.010 30,9 Wall clock TIME (seconds) = 20.078 CPU/machine TIME (seconds) = 20.040 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 30,774 Wall clock TIME (seconds) = 18.308 CPU/machine TIME (seconds) = 17.440 Wall clock TIME (seconds) = 65.743 CPU/machine TIME (seconds) = 64.010 31,3455 Wall clock TIME (seconds) = 15.847 CPU/machine TIME (seconds) = 15.820 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 31,12 Wall clock TIME (seconds) = 15.211 CPU/machine TIME (seconds) = 15.110 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 31,45 Wall clock TIME (seconds) = 19.516 CPU/machine TIME (seconds) = 19.480 Wall clock TIME (seconds) = 83.378 CPU/machine TIME (seconds) = 64.030 31,78 Wall clock TIME (seconds) = 17.044 CPU/machine TIME (seconds) = 16.810 Wall clock TIME (seconds) = 92.214 CPU/machine TIME (seconds) = 64.040 31,8546 Wall clock TIME (seconds) = 19.627 CPU/machine TIME (seconds) = 19.610 Wall clock TIME (seconds) = 84.082 CPU/machine TIME (seconds) = 64.040 31,474 Wall clock TIME (seconds) = 16.189 CPU/machine TIME (seconds) = 16.100 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 31,188 Wall clock TIME (seconds) = 15.304 CPU/machine TIME (seconds) = 15.240 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 31,7899 Wall clock TIME (seconds) = 17.908 CPU/machine TIME (seconds) = 17.620 Wall clock TIME (seconds) = 98.454 CPU/machine TIME (seconds) = 64.010 31,9 Wall clock TIME (seconds) = 16.278 CPU/machine TIME (seconds) = 16.160 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 31,774 Wall clock TIME (seconds) = 21.716 CPU/machine TIME (seconds) = 19.430 Wall clock TIME (seconds) = 75.853 CPU/machine TIME (seconds) = 64.010 32,3455 Wall clock TIME (seconds) = 20.230 CPU/machine TIME (seconds) = 18.110 Wall clock TIME (seconds) = 69.887 CPU/machine TIME (seconds) = 64.020 32,12 Wall clock TIME (seconds) = 17.030 CPU/machine TIME (seconds) = 16.990 Wall clock TIME (seconds) = 64.150 CPU/machine TIME (seconds) = 64.010 32,45 Wall clock TIME (seconds) = 16.879 CPU/machine TIME (seconds) = 16.820 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,78 Wall clock TIME (seconds) = 17.125 CPU/machine TIME (seconds) = 17.080 Wall clock TIME (seconds) = 78.357 CPU/machine TIME (seconds) = 64.010 32,8546 Wall clock TIME (seconds) = 16.915 CPU/machine TIME (seconds) = 16.900 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 32,474 Wall clock TIME (seconds) = 17.391 CPU/machine TIME (seconds) = 17.280 Wall clock TIME (seconds) = 68.838 CPU/machine TIME (seconds) = 64.010 32,188 Wall clock TIME (seconds) = 17.460 CPU/machine TIME (seconds) = 17.370 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 32,7899 Wall clock TIME (seconds) = 17.498 CPU/machine TIME (seconds) = 17.420 Wall clock TIME (seconds) = 83.934 CPU/machine TIME (seconds) = 64.010 32,9 Wall clock TIME (seconds) = 17.821 CPU/machine TIME (seconds) = 17.610 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 32,774 Wall clock TIME (seconds) = 20.657 CPU/machine TIME (seconds) = 20.600 Wall clock TIME (seconds) = 89.449 CPU/machine TIME (seconds) = 64.010 33,3455 Wall clock TIME (seconds) = 15.879 CPU/machine TIME (seconds) = 15.820 Wall clock TIME (seconds) = 64.071 CPU/machine TIME (seconds) = 64.010 33,12 Wall clock TIME (seconds) = 16.669 CPU/machine TIME (seconds) = 16.570 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 33,45 Wall clock TIME (seconds) = 19.112 CPU/machine TIME (seconds) = 19.010 Wall clock TIME (seconds) = 64.115 CPU/machine TIME (seconds) = 64.010 33,78 Wall clock TIME (seconds) = 16.900 CPU/machine TIME (seconds) = 16.810 Wall clock TIME (seconds) = 86.145 CPU/machine TIME (seconds) = 64.010 33,8546 Wall clock TIME (seconds) = 16.267 CPU/machine TIME (seconds) = 16.060 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 33,474 Wall clock TIME (seconds) = 16.758 CPU/machine TIME (seconds) = 16.680 Wall clock TIME (seconds) = 106.385 CPU/machine TIME (seconds) = 64.030 33,188 Wall clock TIME (seconds) = 17.108 CPU/machine TIME (seconds) = 16.910 Wall clock TIME (seconds) = 74.365 CPU/machine TIME (seconds) = 64.010 33,7899 Wall clock TIME (seconds) = 17.519 CPU/machine TIME (seconds) = 17.480 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 33,9 Wall clock TIME (seconds) = 16.651 CPU/machine TIME (seconds) = 16.490 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 33,774 Wall clock TIME (seconds) = 17.300 CPU/machine TIME (seconds) = 17.280 Wall clock TIME (seconds) = 79.880 CPU/machine TIME (seconds) = 64.030 34,3455 Wall clock TIME (seconds) = 16.917 CPU/machine TIME (seconds) = 16.810 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 34,12 Wall clock TIME (seconds) = 16.183 CPU/machine TIME (seconds) = 16.110 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 34,45 Wall clock TIME (seconds) = 18.145 CPU/machine TIME (seconds) = 17.970 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 34,78 Wall clock TIME (seconds) = 16.448 CPU/machine TIME (seconds) = 16.400 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 34,8546 Wall clock TIME (seconds) = 16.237 CPU/machine TIME (seconds) = 16.210 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 34,474 Wall clock TIME (seconds) = 15.619 CPU/machine TIME (seconds) = 15.530 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 34,188 Wall clock TIME (seconds) = 15.510 CPU/machine TIME (seconds) = 15.440 Wall clock TIME (seconds) = 88.505 CPU/machine TIME (seconds) = 64.030 34,7899 Wall clock TIME (seconds) = 18.753 CPU/machine TIME (seconds) = 18.530 Wall clock TIME (seconds) = 92.732 CPU/machine TIME (seconds) = 64.010 34,9 Wall clock TIME (seconds) = 18.897 CPU/machine TIME (seconds) = 18.740 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 34,774 Wall clock TIME (seconds) = 16.687 CPU/machine TIME (seconds) = 16.560 Wall clock TIME (seconds) = 64.169 CPU/machine TIME (seconds) = 64.010 35,3455 Wall clock TIME (seconds) = 16.843 CPU/machine TIME (seconds) = 16.770 Wall clock TIME (seconds) = 65.867 CPU/machine TIME (seconds) = 64.010 35,12 Wall clock TIME (seconds) = 16.844 CPU/machine TIME (seconds) = 16.830 Wall clock TIME (seconds) = 75.555 CPU/machine TIME (seconds) = 64.010 35,45 Wall clock TIME (seconds) = 16.190 CPU/machine TIME (seconds) = 16.010 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 35,78 Wall clock TIME (seconds) = 17.341 CPU/machine TIME (seconds) = 17.310 Wall clock TIME (seconds) = 77.584 CPU/machine TIME (seconds) = 64.010 35,8546 Wall clock TIME (seconds) = 14.409 CPU/machine TIME (seconds) = 14.380 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 35,474 Wall clock TIME (seconds) = 16.614 CPU/machine TIME (seconds) = 16.570 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 35,188 Wall clock TIME (seconds) = 16.149 CPU/machine TIME (seconds) = 16.090 Wall clock TIME (seconds) = 65.385 CPU/machine TIME (seconds) = 64.010 35,7899 Wall clock TIME (seconds) = 19.254 CPU/machine TIME (seconds) = 18.740 Wall clock TIME (seconds) = 89.959 CPU/machine TIME (seconds) = 64.010 35,9 Wall clock TIME (seconds) = 16.130 CPU/machine TIME (seconds) = 15.880 Wall clock TIME (seconds) = 64.170 CPU/machine TIME (seconds) = 64.010 35,774 Wall clock TIME (seconds) = 17.200 CPU/machine TIME (seconds) = 17.180 Wall clock TIME (seconds) = 91.650 CPU/machine TIME (seconds) = 64.010 36,3455 Wall clock TIME (seconds) = 19.142 CPU/machine TIME (seconds) = 16.940 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 36,12 Wall clock TIME (seconds) = 16.983 CPU/machine TIME (seconds) = 16.800 Wall clock TIME (seconds) = 75.640 CPU/machine TIME (seconds) = 64.010 36,45 Wall clock TIME (seconds) = 17.593 CPU/machine TIME (seconds) = 17.540 Wall clock TIME (seconds) = 64.083 CPU/machine TIME (seconds) = 64.010 36,78 Wall clock TIME (seconds) = 15.554 CPU/machine TIME (seconds) = 15.510 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 36,8546 Wall clock TIME (seconds) = 16.302 CPU/machine TIME (seconds) = 16.280 Wall clock TIME (seconds) = 93.516 CPU/machine TIME (seconds) = 64.010 36,474 Wall clock TIME (seconds) = 15.695 CPU/machine TIME (seconds) = 15.570 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 36,188 Wall clock TIME (seconds) = 16.584 CPU/machine TIME (seconds) = 16.470 Wall clock TIME (seconds) = 97.183 CPU/machine TIME (seconds) = 64.010 36,7899 Wall clock TIME (seconds) = 19.090 CPU/machine TIME (seconds) = 18.820 Wall clock TIME (seconds) = 82.176 CPU/machine TIME (seconds) = 64.010 36,9 Wall clock TIME (seconds) = 18.492 CPU/machine TIME (seconds) = 18.170 Wall clock TIME (seconds) = 75.336 CPU/machine TIME (seconds) = 64.010 36,774 Wall clock TIME (seconds) = 16.874 CPU/machine TIME (seconds) = 16.750 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 37,3455 Wall clock TIME (seconds) = 16.920 CPU/machine TIME (seconds) = 16.760 Wall clock TIME (seconds) = 88.157 CPU/machine TIME (seconds) = 64.010 37,12 Wall clock TIME (seconds) = 17.232 CPU/machine TIME (seconds) = 17.170 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 37,45 Wall clock TIME (seconds) = 16.559 CPU/machine TIME (seconds) = 16.490 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 37,78 Wall clock TIME (seconds) = 16.485 CPU/machine TIME (seconds) = 16.450 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 37,8546 Wall clock TIME (seconds) = 15.109 CPU/machine TIME (seconds) = 15.050 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 37,474 Wall clock TIME (seconds) = 16.494 CPU/machine TIME (seconds) = 16.420 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,188 Wall clock TIME (seconds) = 15.307 CPU/machine TIME (seconds) = 15.290 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 37,7899 Wall clock TIME (seconds) = 16.715 CPU/machine TIME (seconds) = 16.680 Wall clock TIME (seconds) = 108.339 CPU/machine TIME (seconds) = 64.020 37,9 Wall clock TIME (seconds) = 15.798 CPU/machine TIME (seconds) = 15.650 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 37,774 Wall clock TIME (seconds) = 16.250 CPU/machine TIME (seconds) = 16.150 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 38,3455 Wall clock TIME (seconds) = 16.283 CPU/machine TIME (seconds) = 16.120 Wall clock TIME (seconds) = 95.288 CPU/machine TIME (seconds) = 64.010 38,12 Wall clock TIME (seconds) = 15.997 CPU/machine TIME (seconds) = 15.970 Wall clock TIME (seconds) = 69.133 CPU/machine TIME (seconds) = 64.010 38,45 Wall clock TIME (seconds) = 14.174 CPU/machine TIME (seconds) = 14.160 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 38,78 Wall clock TIME (seconds) = 16.507 CPU/machine TIME (seconds) = 16.480 Wall clock TIME (seconds) = 75.873 CPU/machine TIME (seconds) = 64.010 38,8546 Wall clock TIME (seconds) = 15.478 CPU/machine TIME (seconds) = 15.450 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 38,474 Wall clock TIME (seconds) = 16.670 CPU/machine TIME (seconds) = 16.530 Wall clock TIME (seconds) = 96.051 CPU/machine TIME (seconds) = 64.010 38,188 Wall clock TIME (seconds) = 16.180 CPU/machine TIME (seconds) = 16.130 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 38,7899 Wall clock TIME (seconds) = 17.193 CPU/machine TIME (seconds) = 16.840 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 38,9 Wall clock TIME (seconds) = 16.935 CPU/machine TIME (seconds) = 16.730 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 38,774 Wall clock TIME (seconds) = 16.306 CPU/machine TIME (seconds) = 16.270 Wall clock TIME (seconds) = 75.375 CPU/machine TIME (seconds) = 64.010 39,3455 Wall clock TIME (seconds) = 15.541 CPU/machine TIME (seconds) = 15.490 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 39,12 Wall clock TIME (seconds) = 15.142 CPU/machine TIME (seconds) = 15.090 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 39,45 Wall clock TIME (seconds) = 16.191 CPU/machine TIME (seconds) = 15.990 Wall clock TIME (seconds) = 83.470 CPU/machine TIME (seconds) = 64.010 39,78 Wall clock TIME (seconds) = 15.767 CPU/machine TIME (seconds) = 15.630 Wall clock TIME (seconds) = 87.298 CPU/machine TIME (seconds) = 64.040 39,8546 Wall clock TIME (seconds) = 14.251 CPU/machine TIME (seconds) = 14.130 Wall clock TIME (seconds) = 64.128 CPU/machine TIME (seconds) = 64.010 39,474 Wall clock TIME (seconds) = 16.359 CPU/machine TIME (seconds) = 16.310 Wall clock TIME (seconds) = 96.630 CPU/machine TIME (seconds) = 64.010 39,188 Wall clock TIME (seconds) = 17.172 CPU/machine TIME (seconds) = 17.050 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 39,7899 Wall clock TIME (seconds) = 16.759 CPU/machine TIME (seconds) = 16.690 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 39,9 Wall clock TIME (seconds) = 16.138 CPU/machine TIME (seconds) = 16.030 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 39,774 Wall clock TIME (seconds) = 17.011 CPU/machine TIME (seconds) = 16.980 Wall clock TIME (seconds) = 69.758 CPU/machine TIME (seconds) = 64.010 40,3455 Wall clock TIME (seconds) = 15.077 CPU/machine TIME (seconds) = 15.010 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 40,12 Wall clock TIME (seconds) = 16.374 CPU/machine TIME (seconds) = 16.350 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 40,45 Wall clock TIME (seconds) = 17.759 CPU/machine TIME (seconds) = 17.710 Wall clock TIME (seconds) = 68.492 CPU/machine TIME (seconds) = 64.010 40,78 Wall clock TIME (seconds) = 15.834 CPU/machine TIME (seconds) = 15.800 Wall clock TIME (seconds) = 64.129 CPU/machine TIME (seconds) = 64.010 40,8546 Wall clock TIME (seconds) = 14.630 CPU/machine TIME (seconds) = 14.600 Wall clock TIME (seconds) = 64.049 CPU/machine TIME (seconds) = 64.010 40,474 Wall clock TIME (seconds) = 15.358 CPU/machine TIME (seconds) = 15.180 Wall clock TIME (seconds) = 98.359 CPU/machine TIME (seconds) = 64.010 40,188 Wall clock TIME (seconds) = 16.700 CPU/machine TIME (seconds) = 16.530 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 40,7899 Wall clock TIME (seconds) = 14.560 CPU/machine TIME (seconds) = 14.390 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 40,9 Wall clock TIME (seconds) = 15.509 CPU/machine TIME (seconds) = 15.450 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 40,774 Wall clock TIME (seconds) = 14.459 CPU/machine TIME (seconds) = 14.410 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 41,3455 Wall clock TIME (seconds) = 15.579 CPU/machine TIME (seconds) = 15.310 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 41,12 Wall clock TIME (seconds) = 17.561 CPU/machine TIME (seconds) = 17.450 Wall clock TIME (seconds) = 81.406 CPU/machine TIME (seconds) = 64.010 41,45 Wall clock TIME (seconds) = 16.394 CPU/machine TIME (seconds) = 16.190 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 41,78 Wall clock TIME (seconds) = 16.852 CPU/machine TIME (seconds) = 16.790 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 41,8546 Wall clock TIME (seconds) = 16.114 CPU/machine TIME (seconds) = 16.100 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 41,474 Wall clock TIME (seconds) = 18.937 CPU/machine TIME (seconds) = 17.200 Wall clock TIME (seconds) = 81.161 CPU/machine TIME (seconds) = 64.010 41,188 Wall clock TIME (seconds) = 16.517 CPU/machine TIME (seconds) = 16.310 Wall clock TIME (seconds) = 72.496 CPU/machine TIME (seconds) = 64.030 41,7899 Wall clock TIME (seconds) = 16.302 CPU/machine TIME (seconds) = 16.210 Wall clock TIME (seconds) = 74.452 CPU/machine TIME (seconds) = 64.030 41,9 Wall clock TIME (seconds) = 16.643 CPU/machine TIME (seconds) = 16.610 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 41,774 Wall clock TIME (seconds) = 15.233 CPU/machine TIME (seconds) = 15.200 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 42,3455 Wall clock TIME (seconds) = 17.148 CPU/machine TIME (seconds) = 16.360 Wall clock TIME (seconds) = 115.709 CPU/machine TIME (seconds) = 64.010 42,12 Wall clock TIME (seconds) = 15.856 CPU/machine TIME (seconds) = 15.720 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 42,45 Wall clock TIME (seconds) = 16.530 CPU/machine TIME (seconds) = 16.460 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 42,78 Wall clock TIME (seconds) = 16.306 CPU/machine TIME (seconds) = 16.140 Wall clock TIME (seconds) = 66.765 CPU/machine TIME (seconds) = 64.010 42,8546 Wall clock TIME (seconds) = 16.216 CPU/machine TIME (seconds) = 16.090 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 42,474 Wall clock TIME (seconds) = 16.354 CPU/machine TIME (seconds) = 16.330 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 42,188 Wall clock TIME (seconds) = 17.345 CPU/machine TIME (seconds) = 17.300 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 42,7899 Wall clock TIME (seconds) = 15.749 CPU/machine TIME (seconds) = 15.470 Wall clock TIME (seconds) = 64.178 CPU/machine TIME (seconds) = 64.010 42,9 Wall clock TIME (seconds) = 14.065 CPU/machine TIME (seconds) = 14.040 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 42,774 Wall clock TIME (seconds) = 15.839 CPU/machine TIME (seconds) = 15.790 Wall clock TIME (seconds) = 65.332 CPU/machine TIME (seconds) = 64.010 43,3455 Wall clock TIME (seconds) = 16.553 CPU/machine TIME (seconds) = 15.840 Wall clock TIME (seconds) = 117.322 CPU/machine TIME (seconds) = 64.010 43,12 Wall clock TIME (seconds) = 16.479 CPU/machine TIME (seconds) = 16.410 Wall clock TIME (seconds) = 64.090 CPU/machine TIME (seconds) = 64.010 43,45 Wall clock TIME (seconds) = 16.367 CPU/machine TIME (seconds) = 16.290 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 43,78 Wall clock TIME (seconds) = 16.838 CPU/machine TIME (seconds) = 16.140 Wall clock TIME (seconds) = 75.078 CPU/machine TIME (seconds) = 64.010 43,8546 Wall clock TIME (seconds) = 16.476 CPU/machine TIME (seconds) = 16.460 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 43,474 Wall clock TIME (seconds) = 14.416 CPU/machine TIME (seconds) = 14.350 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 43,188 Wall clock TIME (seconds) = 15.400 CPU/machine TIME (seconds) = 15.350 Wall clock TIME (seconds) = 64.125 CPU/machine TIME (seconds) = 64.010 43,7899 Wall clock TIME (seconds) = 15.607 CPU/machine TIME (seconds) = 15.590 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 43,9 Wall clock TIME (seconds) = 14.420 CPU/machine TIME (seconds) = 14.350 Wall clock TIME (seconds) = 64.089 CPU/machine TIME (seconds) = 64.010 43,774 Wall clock TIME (seconds) = 17.170 CPU/machine TIME (seconds) = 17.090 Wall clock TIME (seconds) = 70.435 CPU/machine TIME (seconds) = 64.010 44,3455 Wall clock TIME (seconds) = 16.720 CPU/machine TIME (seconds) = 16.530 Wall clock TIME (seconds) = 97.652 CPU/machine TIME (seconds) = 64.010 44,12 Wall clock TIME (seconds) = 16.343 CPU/machine TIME (seconds) = 16.300 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 44,45 Wall clock TIME (seconds) = 16.801 CPU/machine TIME (seconds) = 16.620 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 44,78 Wall clock TIME (seconds) = 16.322 CPU/machine TIME (seconds) = 16.290 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 44,8546 Wall clock TIME (seconds) = 15.824 CPU/machine TIME (seconds) = 15.750 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 44,474 Wall clock TIME (seconds) = 15.609 CPU/machine TIME (seconds) = 15.520 Wall clock TIME (seconds) = 66.385 CPU/machine TIME (seconds) = 64.010 44,188 Wall clock TIME (seconds) = 16.155 CPU/machine TIME (seconds) = 16.050 Wall clock TIME (seconds) = 84.648 CPU/machine TIME (seconds) = 64.020 44,7899 Wall clock TIME (seconds) = 14.719 CPU/machine TIME (seconds) = 14.640 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 44,9 Wall clock TIME (seconds) = 15.262 CPU/machine TIME (seconds) = 15.050 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 44,774 Wall clock TIME (seconds) = 15.658 CPU/machine TIME (seconds) = 15.550 Wall clock TIME (seconds) = 107.054 CPU/machine TIME (seconds) = 64.010 45,3455 Wall clock TIME (seconds) = 16.736 CPU/machine TIME (seconds) = 16.700 Wall clock TIME (seconds) = 77.967 CPU/machine TIME (seconds) = 64.010 45,12 Wall clock TIME (seconds) = 16.121 CPU/machine TIME (seconds) = 15.940 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 45,45 Wall clock TIME (seconds) = 16.587 CPU/machine TIME (seconds) = 16.410 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 45,78 Wall clock TIME (seconds) = 16.451 CPU/machine TIME (seconds) = 16.430 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 45,8546 Wall clock TIME (seconds) = 16.552 CPU/machine TIME (seconds) = 16.440 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 45,474 Wall clock TIME (seconds) = 14.266 CPU/machine TIME (seconds) = 14.250 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 45,188 Wall clock TIME (seconds) = 16.810 CPU/machine TIME (seconds) = 16.760 Wall clock TIME (seconds) = 75.355 CPU/machine TIME (seconds) = 64.010 45,7899 Wall clock TIME (seconds) = 15.568 CPU/machine TIME (seconds) = 15.530 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 45,9 Wall clock TIME (seconds) = 15.492 CPU/machine TIME (seconds) = 15.410 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 45,774 Wall clock TIME (seconds) = 16.134 CPU/machine TIME (seconds) = 15.950 Wall clock TIME (seconds) = 103.421 CPU/machine TIME (seconds) = 64.010 46,3455 Wall clock TIME (seconds) = 16.460 CPU/machine TIME (seconds) = 16.420 Wall clock TIME (seconds) = 64.103 CPU/machine TIME (seconds) = 64.010 46,12 Wall clock TIME (seconds) = 14.432 CPU/machine TIME (seconds) = 14.400 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 46,45 Wall clock TIME (seconds) = 15.741 CPU/machine TIME (seconds) = 15.690 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 46,78 Wall clock TIME (seconds) = 16.635 CPU/machine TIME (seconds) = 16.600 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 46,8546 Wall clock TIME (seconds) = 16.711 CPU/machine TIME (seconds) = 16.520 Wall clock TIME (seconds) = 75.954 CPU/machine TIME (seconds) = 64.010 46,474 Wall clock TIME (seconds) = 14.554 CPU/machine TIME (seconds) = 14.500 Wall clock TIME (seconds) = 64.094 CPU/machine TIME (seconds) = 64.010 46,188 Wall clock TIME (seconds) = 16.538 CPU/machine TIME (seconds) = 16.420 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 46,7899 Wall clock TIME (seconds) = 14.091 CPU/machine TIME (seconds) = 14.050 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 46,9 Wall clock TIME (seconds) = 14.104 CPU/machine TIME (seconds) = 14.080 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 46,774 Wall clock TIME (seconds) = 15.943 CPU/machine TIME (seconds) = 15.920 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 47,3455 Wall clock TIME (seconds) = 15.059 CPU/machine TIME (seconds) = 14.880 Wall clock TIME (seconds) = 64.094 CPU/machine TIME (seconds) = 64.010 47,12 Wall clock TIME (seconds) = 15.101 CPU/machine TIME (seconds) = 15.050 Wall clock TIME (seconds) = 68.183 CPU/machine TIME (seconds) = 64.010 47,45 Wall clock TIME (seconds) = 15.650 CPU/machine TIME (seconds) = 15.610 Wall clock TIME (seconds) = 93.797 CPU/machine TIME (seconds) = 64.020 47,78 Wall clock TIME (seconds) = 16.218 CPU/machine TIME (seconds) = 16.200 Wall clock TIME (seconds) = 91.350 CPU/machine TIME (seconds) = 64.010 47,8546 Wall clock TIME (seconds) = 14.447 CPU/machine TIME (seconds) = 14.430 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,474 Wall clock TIME (seconds) = 16.599 CPU/machine TIME (seconds) = 16.530 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,188 Wall clock TIME (seconds) = 13.964 CPU/machine TIME (seconds) = 13.940 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 47,7899 Wall clock TIME (seconds) = 14.841 CPU/machine TIME (seconds) = 14.770 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 47,9 Wall clock TIME (seconds) = 14.779 CPU/machine TIME (seconds) = 14.650 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 47,774 Wall clock TIME (seconds) = 16.127 CPU/machine TIME (seconds) = 15.880 Wall clock TIME (seconds) = 65.022 CPU/machine TIME (seconds) = 64.010 48,3455 Wall clock TIME (seconds) = 16.559 CPU/machine TIME (seconds) = 16.530 Wall clock TIME (seconds) = 86.398 CPU/machine TIME (seconds) = 64.020 48,12 Wall clock TIME (seconds) = 15.447 CPU/machine TIME (seconds) = 15.410 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 48,45 Wall clock TIME (seconds) = 15.754 CPU/machine TIME (seconds) = 15.730 Wall clock TIME (seconds) = 64.107 CPU/machine TIME (seconds) = 64.010 48,78 Wall clock TIME (seconds) = 15.618 CPU/machine TIME (seconds) = 15.500 Wall clock TIME (seconds) = 104.703 CPU/machine TIME (seconds) = 64.010 48,8546 Wall clock TIME (seconds) = 16.095 CPU/machine TIME (seconds) = 15.980 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 48,474 Wall clock TIME (seconds) = 15.790 CPU/machine TIME (seconds) = 15.710 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 48,188 Wall clock TIME (seconds) = 16.465 CPU/machine TIME (seconds) = 16.230 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 48,7899 Wall clock TIME (seconds) = 13.567 CPU/machine TIME (seconds) = 13.440 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 48,9 Wall clock TIME (seconds) = 16.183 CPU/machine TIME (seconds) = 16.090 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 48,774 Wall clock TIME (seconds) = 15.709 CPU/machine TIME (seconds) = 15.680 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 49,3455 Wall clock TIME (seconds) = 16.538 CPU/machine TIME (seconds) = 16.340 Wall clock TIME (seconds) = 83.921 CPU/machine TIME (seconds) = 64.010 49,12 Wall clock TIME (seconds) = 14.790 CPU/machine TIME (seconds) = 14.730 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 49,45 Wall clock TIME (seconds) = 15.503 CPU/machine TIME (seconds) = 15.400 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 49,78 Wall clock TIME (seconds) = 13.936 CPU/machine TIME (seconds) = 13.810 Wall clock TIME (seconds) = 64.051 CPU/machine TIME (seconds) = 64.010 49,8546 Wall clock TIME (seconds) = 13.973 CPU/machine TIME (seconds) = 13.840 Wall clock TIME (seconds) = 64.051 CPU/machine TIME (seconds) = 64.010 49,474 Wall clock TIME (seconds) = 14.808 CPU/machine TIME (seconds) = 14.730 Wall clock TIME (seconds) = 81.919 CPU/machine TIME (seconds) = 64.010 49,188 Wall clock TIME (seconds) = 18.071 CPU/machine TIME (seconds) = 15.960 Wall clock TIME (seconds) = 76.725 CPU/machine TIME (seconds) = 64.010 49,7899 Wall clock TIME (seconds) = 15.196 CPU/machine TIME (seconds) = 15.110 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 49,9 Wall clock TIME (seconds) = 13.396 CPU/machine TIME (seconds) = 13.310 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 49,774 Wall clock TIME (seconds) = 14.636 CPU/machine TIME (seconds) = 14.570 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 50,3455 Wall clock TIME (seconds) = 16.471 CPU/machine TIME (seconds) = 16.410 Wall clock TIME (seconds) = 74.061 CPU/machine TIME (seconds) = 64.010 50,12 Wall clock TIME (seconds) = 12.808 CPU/machine TIME (seconds) = 12.660 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 50,45 Wall clock TIME (seconds) = 15.475 CPU/machine TIME (seconds) = 15.430 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 50,78 Wall clock TIME (seconds) = 15.200 CPU/machine TIME (seconds) = 15.130 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 50,8546 Wall clock TIME (seconds) = 15.292 CPU/machine TIME (seconds) = 15.170 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 50,474 Wall clock TIME (seconds) = 15.610 CPU/machine TIME (seconds) = 15.560 Wall clock TIME (seconds) = 95.875 CPU/machine TIME (seconds) = 64.010 50,188 Wall clock TIME (seconds) = 14.221 CPU/machine TIME (seconds) = 14.030 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 50,7899 Wall clock TIME (seconds) = 15.370 CPU/machine TIME (seconds) = 15.250 Wall clock TIME (seconds) = 103.379 CPU/machine TIME (seconds) = 64.020 50,9 Wall clock TIME (seconds) = 15.793 CPU/machine TIME (seconds) = 15.610 Wall clock TIME (seconds) = 73.449 CPU/machine TIME (seconds) = 64.010 50,774 Wall clock TIME (seconds) = 15.518 CPU/machine TIME (seconds) = 15.350 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 51,3455 Wall clock TIME (seconds) = 16.035 CPU/machine TIME (seconds) = 15.980 Wall clock TIME (seconds) = 64.390 CPU/machine TIME (seconds) = 64.010 51,12 Wall clock TIME (seconds) = 15.068 CPU/machine TIME (seconds) = 14.990 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 51,45 Wall clock TIME (seconds) = 15.904 CPU/machine TIME (seconds) = 15.810 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 51,78 Wall clock TIME (seconds) = 15.909 CPU/machine TIME (seconds) = 15.830 Wall clock TIME (seconds) = 75.665 CPU/machine TIME (seconds) = 64.010 51,8546 Wall clock TIME (seconds) = 15.949 CPU/machine TIME (seconds) = 15.920 Wall clock TIME (seconds) = 69.554 CPU/machine TIME (seconds) = 64.010 51,474 Wall clock TIME (seconds) = 15.566 CPU/machine TIME (seconds) = 15.540 Wall clock TIME (seconds) = 64.148 CPU/machine TIME (seconds) = 64.010 51,188 Wall clock TIME (seconds) = 15.595 CPU/machine TIME (seconds) = 15.500 Wall clock TIME (seconds) = 77.210 CPU/machine TIME (seconds) = 64.040 51,7899 Wall clock TIME (seconds) = 15.249 CPU/machine TIME (seconds) = 15.180 Wall clock TIME (seconds) = 69.479 CPU/machine TIME (seconds) = 64.010 51,9 Wall clock TIME (seconds) = 15.609 CPU/machine TIME (seconds) = 15.550 Wall clock TIME (seconds) = 88.906 CPU/machine TIME (seconds) = 64.010 51,774 Wall clock TIME (seconds) = 15.431 CPU/machine TIME (seconds) = 15.300 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 52,3455 Wall clock TIME (seconds) = 15.293 CPU/machine TIME (seconds) = 15.230 Wall clock TIME (seconds) = 69.273 CPU/machine TIME (seconds) = 64.010 52,12 Wall clock TIME (seconds) = 14.563 CPU/machine TIME (seconds) = 14.480 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 52,45 Wall clock TIME (seconds) = 15.705 CPU/machine TIME (seconds) = 15.660 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 52,78 Wall clock TIME (seconds) = 15.560 CPU/machine TIME (seconds) = 15.530 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 52,8546 Wall clock TIME (seconds) = 15.439 CPU/machine TIME (seconds) = 15.240 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 52,474 Wall clock TIME (seconds) = 13.785 CPU/machine TIME (seconds) = 13.660 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 52,188 Wall clock TIME (seconds) = 15.454 CPU/machine TIME (seconds) = 15.410 Wall clock TIME (seconds) = 80.126 CPU/machine TIME (seconds) = 64.010 52,7899 Wall clock TIME (seconds) = 14.323 CPU/machine TIME (seconds) = 14.310 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 52,9 Wall clock TIME (seconds) = 15.334 CPU/machine TIME (seconds) = 15.240 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 52,774 Wall clock TIME (seconds) = 15.409 CPU/machine TIME (seconds) = 15.380 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 53,3455 Wall clock TIME (seconds) = 15.373 CPU/machine TIME (seconds) = 15.300 Wall clock TIME (seconds) = 65.134 CPU/machine TIME (seconds) = 64.010 53,12 Wall clock TIME (seconds) = 14.861 CPU/machine TIME (seconds) = 14.830 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 53,45 Wall clock TIME (seconds) = 15.555 CPU/machine TIME (seconds) = 15.330 Wall clock TIME (seconds) = 82.133 CPU/machine TIME (seconds) = 64.010 53,78 Wall clock TIME (seconds) = 13.816 CPU/machine TIME (seconds) = 13.570 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 53,8546 Wall clock TIME (seconds) = 14.030 CPU/machine TIME (seconds) = 13.790 Wall clock TIME (seconds) = 83.035 CPU/machine TIME (seconds) = 64.020 53,474 Wall clock TIME (seconds) = 15.853 CPU/machine TIME (seconds) = 15.840 Wall clock TIME (seconds) = 91.114 CPU/machine TIME (seconds) = 64.010 53,188 Wall clock TIME (seconds) = 15.197 CPU/machine TIME (seconds) = 14.980 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 53,7899 Wall clock TIME (seconds) = 14.456 CPU/machine TIME (seconds) = 14.360 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 53,9 Wall clock TIME (seconds) = 15.429 CPU/machine TIME (seconds) = 15.260 Wall clock TIME (seconds) = 70.104 CPU/machine TIME (seconds) = 64.010 53,774 Wall clock TIME (seconds) = 15.756 CPU/machine TIME (seconds) = 15.510 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 54,3455 Wall clock TIME (seconds) = 14.466 CPU/machine TIME (seconds) = 14.380 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 54,12 Wall clock TIME (seconds) = 14.647 CPU/machine TIME (seconds) = 14.610 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 54,45 Wall clock TIME (seconds) = 13.383 CPU/machine TIME (seconds) = 13.360 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 54,78 Wall clock TIME (seconds) = 13.941 CPU/machine TIME (seconds) = 13.900 Wall clock TIME (seconds) = 113.848 CPU/machine TIME (seconds) = 64.010 54,8546 Wall clock TIME (seconds) = 14.962 CPU/machine TIME (seconds) = 14.790 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 54,474 Wall clock TIME (seconds) = 16.036 CPU/machine TIME (seconds) = 16.000 Wall clock TIME (seconds) = 73.232 CPU/machine TIME (seconds) = 64.010 54,188 Wall clock TIME (seconds) = 15.096 CPU/machine TIME (seconds) = 15.080 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 54,7899 Wall clock TIME (seconds) = 15.735 CPU/machine TIME (seconds) = 15.550 Wall clock TIME (seconds) = 79.187 CPU/machine TIME (seconds) = 64.010 54,9 Wall clock TIME (seconds) = 12.715 CPU/machine TIME (seconds) = 12.630 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 54,774 Wall clock TIME (seconds) = 14.901 CPU/machine TIME (seconds) = 14.820 Wall clock TIME (seconds) = 67.857 CPU/machine TIME (seconds) = 64.010 55,3455 Wall clock TIME (seconds) = 15.837 CPU/machine TIME (seconds) = 15.600 Wall clock TIME (seconds) = 104.943 CPU/machine TIME (seconds) = 64.010 55,12 Wall clock TIME (seconds) = 15.010 CPU/machine TIME (seconds) = 14.960 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 55,45 Wall clock TIME (seconds) = 15.179 CPU/machine TIME (seconds) = 15.080 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 55,78 Wall clock TIME (seconds) = 14.372 CPU/machine TIME (seconds) = 14.090 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 55,8546 Wall clock TIME (seconds) = 13.884 CPU/machine TIME (seconds) = 13.830 Wall clock TIME (seconds) = 79.034 CPU/machine TIME (seconds) = 64.010 55,474 Wall clock TIME (seconds) = 15.542 CPU/machine TIME (seconds) = 15.490 Wall clock TIME (seconds) = 94.908 CPU/machine TIME (seconds) = 64.010 55,188 Wall clock TIME (seconds) = 15.285 CPU/machine TIME (seconds) = 15.260 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 55,7899 Wall clock TIME (seconds) = 15.302 CPU/machine TIME (seconds) = 15.240 Wall clock TIME (seconds) = 75.792 CPU/machine TIME (seconds) = 64.010 55,9 Wall clock TIME (seconds) = 15.003 CPU/machine TIME (seconds) = 14.970 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 55,774 Wall clock TIME (seconds) = 13.193 CPU/machine TIME (seconds) = 13.100 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 56,3455 Wall clock TIME (seconds) = 14.370 CPU/machine TIME (seconds) = 14.310 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 56,12 Wall clock TIME (seconds) = 14.632 CPU/machine TIME (seconds) = 14.520 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 56,45 Wall clock TIME (seconds) = 12.226 CPU/machine TIME (seconds) = 12.180 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 56,78 Wall clock TIME (seconds) = 15.201 CPU/machine TIME (seconds) = 15.150 Wall clock TIME (seconds) = 74.379 CPU/machine TIME (seconds) = 64.010 56,8546 Wall clock TIME (seconds) = 14.952 CPU/machine TIME (seconds) = 14.880 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 56,474 Wall clock TIME (seconds) = 15.520 CPU/machine TIME (seconds) = 15.450 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 56,188 Wall clock TIME (seconds) = 14.870 CPU/machine TIME (seconds) = 14.650 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 56,7899 Wall clock TIME (seconds) = 15.360 CPU/machine TIME (seconds) = 15.320 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 56,9 Wall clock TIME (seconds) = 13.447 CPU/machine TIME (seconds) = 13.430 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 56,774 Wall clock TIME (seconds) = 15.759 CPU/machine TIME (seconds) = 15.500 Wall clock TIME (seconds) = 70.776 CPU/machine TIME (seconds) = 64.010 57,3455 Wall clock TIME (seconds) = 15.780 CPU/machine TIME (seconds) = 15.510 Wall clock TIME (seconds) = 71.244 CPU/machine TIME (seconds) = 64.010 57,12 Wall clock TIME (seconds) = 14.558 CPU/machine TIME (seconds) = 14.220 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 57,45 Wall clock TIME (seconds) = 14.110 CPU/machine TIME (seconds) = 14.070 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 57,78 Wall clock TIME (seconds) = 14.129 CPU/machine TIME (seconds) = 14.100 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 57,8546 Wall clock TIME (seconds) = 12.759 CPU/machine TIME (seconds) = 12.650 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 57,474 Wall clock TIME (seconds) = 14.658 CPU/machine TIME (seconds) = 14.550 Wall clock TIME (seconds) = 65.814 CPU/machine TIME (seconds) = 64.010 57,188 Wall clock TIME (seconds) = 13.991 CPU/machine TIME (seconds) = 13.920 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 57,7899 Wall clock TIME (seconds) = 15.020 CPU/machine TIME (seconds) = 14.980 Wall clock TIME (seconds) = 64.247 CPU/machine TIME (seconds) = 64.010 57,9 Wall clock TIME (seconds) = 11.181 CPU/machine TIME (seconds) = 11.120 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 57,774 Wall clock TIME (seconds) = 15.565 CPU/machine TIME (seconds) = 15.490 Wall clock TIME (seconds) = 64.380 CPU/machine TIME (seconds) = 64.010 58,3455 Wall clock TIME (seconds) = 15.759 CPU/machine TIME (seconds) = 15.720 Wall clock TIME (seconds) = 64.483 CPU/machine TIME (seconds) = 64.010 58,12 Wall clock TIME (seconds) = 13.973 CPU/machine TIME (seconds) = 13.930 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 58,45 Wall clock TIME (seconds) = 12.522 CPU/machine TIME (seconds) = 12.510 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 58,78 Wall clock TIME (seconds) = 14.439 CPU/machine TIME (seconds) = 14.320 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 58,8546 Wall clock TIME (seconds) = 15.028 CPU/machine TIME (seconds) = 15.010 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 58,474 Wall clock TIME (seconds) = 14.522 CPU/machine TIME (seconds) = 14.110 Wall clock TIME (seconds) = 83.786 CPU/machine TIME (seconds) = 64.030 58,188 Wall clock TIME (seconds) = 14.864 CPU/machine TIME (seconds) = 14.850 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 58,7899 Wall clock TIME (seconds) = 12.525 CPU/machine TIME (seconds) = 12.420 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 58,9 Wall clock TIME (seconds) = 14.520 CPU/machine TIME (seconds) = 14.470 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 58,774 Wall clock TIME (seconds) = 15.756 CPU/machine TIME (seconds) = 15.440 Wall clock TIME (seconds) = 92.849 CPU/machine TIME (seconds) = 64.010 59,3455 Wall clock TIME (seconds) = 15.593 CPU/machine TIME (seconds) = 15.160 Wall clock TIME (seconds) = 66.303 CPU/machine TIME (seconds) = 64.010 59,12 Wall clock TIME (seconds) = 14.649 CPU/machine TIME (seconds) = 14.620 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 59,45 Wall clock TIME (seconds) = 15.472 CPU/machine TIME (seconds) = 15.390 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 59,78 Wall clock TIME (seconds) = 14.999 CPU/machine TIME (seconds) = 14.730 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,8546 Wall clock TIME (seconds) = 14.787 CPU/machine TIME (seconds) = 14.730 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 59,474 Wall clock TIME (seconds) = 15.574 CPU/machine TIME (seconds) = 15.510 Wall clock TIME (seconds) = 88.222 CPU/machine TIME (seconds) = 64.010 59,188 Wall clock TIME (seconds) = 15.962 CPU/machine TIME (seconds) = 15.690 Wall clock TIME (seconds) = 88.036 CPU/machine TIME (seconds) = 64.010 59,7899 Wall clock TIME (seconds) = 15.156 CPU/machine TIME (seconds) = 14.860 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 59,9 Wall clock TIME (seconds) = 14.496 CPU/machine TIME (seconds) = 14.440 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 59,774 Wall clock TIME (seconds) = 15.010 CPU/machine TIME (seconds) = 14.980 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 60,3455 Wall clock TIME (seconds) = 14.995 CPU/machine TIME (seconds) = 14.860 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 60,12 Wall clock TIME (seconds) = 15.606 CPU/machine TIME (seconds) = 15.040 Wall clock TIME (seconds) = 72.688 CPU/machine TIME (seconds) = 64.010 60,45 Wall clock TIME (seconds) = 15.561 CPU/machine TIME (seconds) = 15.300 Wall clock TIME (seconds) = 64.047 CPU/machine TIME (seconds) = 64.010 60,78 Wall clock TIME (seconds) = 13.580 CPU/machine TIME (seconds) = 13.510 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 60,8546 Wall clock TIME (seconds) = 14.290 CPU/machine TIME (seconds) = 14.130 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 60,474 Wall clock TIME (seconds) = 12.702 CPU/machine TIME (seconds) = 12.670 Wall clock TIME (seconds) = 64.053 CPU/machine TIME (seconds) = 64.010 60,188 Wall clock TIME (seconds) = 14.839 CPU/machine TIME (seconds) = 14.670 Wall clock TIME (seconds) = 83.565 CPU/machine TIME (seconds) = 64.010 60,7899 Wall clock TIME (seconds) = 14.826 CPU/machine TIME (seconds) = 14.760 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 60,9 Wall clock TIME (seconds) = 11.417 CPU/machine TIME (seconds) = 11.370 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 60,774 Wall clock TIME (seconds) = 14.763 CPU/machine TIME (seconds) = 14.710 Wall clock TIME (seconds) = 90.886 CPU/machine TIME (seconds) = 64.010 61,3455 Wall clock TIME (seconds) = 14.766 CPU/machine TIME (seconds) = 14.670 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 61,12 Wall clock TIME (seconds) = 15.004 CPU/machine TIME (seconds) = 14.990 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 61,45 Wall clock TIME (seconds) = 15.619 CPU/machine TIME (seconds) = 15.510 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 61,78 Wall clock TIME (seconds) = 13.013 CPU/machine TIME (seconds) = 12.970 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 61,8546 Wall clock TIME (seconds) = 14.508 CPU/machine TIME (seconds) = 14.450 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 61,474 Wall clock TIME (seconds) = 15.144 CPU/machine TIME (seconds) = 15.090 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 61,188 Wall clock TIME (seconds) = 15.071 CPU/machine TIME (seconds) = 15.030 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 61,7899 Wall clock TIME (seconds) = 14.659 CPU/machine TIME (seconds) = 14.530 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 61,9 Wall clock TIME (seconds) = 14.293 CPU/machine TIME (seconds) = 14.230 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 61,774 Wall clock TIME (seconds) = 14.461 CPU/machine TIME (seconds) = 14.400 Wall clock TIME (seconds) = 67.939 CPU/machine TIME (seconds) = 64.010 62,3455 Wall clock TIME (seconds) = 14.597 CPU/machine TIME (seconds) = 14.460 Wall clock TIME (seconds) = 84.442 CPU/machine TIME (seconds) = 64.010 62,12 Wall clock TIME (seconds) = 14.965 CPU/machine TIME (seconds) = 14.710 Wall clock TIME (seconds) = 73.173 CPU/machine TIME (seconds) = 64.010 62,45 Wall clock TIME (seconds) = 14.899 CPU/machine TIME (seconds) = 14.880 Wall clock TIME (seconds) = 64.035 CPU/machine TIME (seconds) = 64.010 62,78 Wall clock TIME (seconds) = 13.207 CPU/machine TIME (seconds) = 13.150 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 62,8546 Wall clock TIME (seconds) = 14.002 CPU/machine TIME (seconds) = 13.920 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 62,474 Wall clock TIME (seconds) = 13.342 CPU/machine TIME (seconds) = 13.170 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 62,188 Wall clock TIME (seconds) = 17.514 CPU/machine TIME (seconds) = 14.580 Wall clock TIME (seconds) = 68.165 CPU/machine TIME (seconds) = 64.010 62,7899 Wall clock TIME (seconds) = 14.557 CPU/machine TIME (seconds) = 13.920 Wall clock TIME (seconds) = 68.322 CPU/machine TIME (seconds) = 64.010 62,9 Wall clock TIME (seconds) = 13.682 CPU/machine TIME (seconds) = 13.550 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 62,774 Wall clock TIME (seconds) = 16.739 CPU/machine TIME (seconds) = 14.380 Wall clock TIME (seconds) = 94.811 CPU/machine TIME (seconds) = 64.010 63,3455 Wall clock TIME (seconds) = 15.509 CPU/machine TIME (seconds) = 14.910 Wall clock TIME (seconds) = 80.495 CPU/machine TIME (seconds) = 64.010 63,12 Wall clock TIME (seconds) = 12.499 CPU/machine TIME (seconds) = 12.430 Wall clock TIME (seconds) = 63.999 CPU/machine TIME (seconds) = 64.010 63,45 Wall clock TIME (seconds) = 14.888 CPU/machine TIME (seconds) = 14.650 Wall clock TIME (seconds) = 64.775 CPU/machine TIME (seconds) = 64.010 63,78 Wall clock TIME (seconds) = 12.517 CPU/machine TIME (seconds) = 12.480 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 63,8546 Wall clock TIME (seconds) = 14.825 CPU/machine TIME (seconds) = 14.760 Wall clock TIME (seconds) = 64.119 CPU/machine TIME (seconds) = 64.010 63,474 Wall clock TIME (seconds) = 14.437 CPU/machine TIME (seconds) = 14.260 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 63,188 Wall clock TIME (seconds) = 14.385 CPU/machine TIME (seconds) = 14.230 Wall clock TIME (seconds) = 64.662 CPU/machine TIME (seconds) = 64.010 63,7899 Wall clock TIME (seconds) = 13.815 CPU/machine TIME (seconds) = 13.670 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 63,9 Wall clock TIME (seconds) = 12.260 CPU/machine TIME (seconds) = 12.230 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 63,774 Wall clock TIME (seconds) = 14.522 CPU/machine TIME (seconds) = 14.380 Wall clock TIME (seconds) = 73.449 CPU/machine TIME (seconds) = 64.010 64,3455 Wall clock TIME (seconds) = 14.432 CPU/machine TIME (seconds) = 14.390 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 64,12 Wall clock TIME (seconds) = 14.123 CPU/machine TIME (seconds) = 14.070 Wall clock TIME (seconds) = 73.966 CPU/machine TIME (seconds) = 64.010 64,45 Wall clock TIME (seconds) = 14.163 CPU/machine TIME (seconds) = 13.990 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 64,78 Wall clock TIME (seconds) = 12.371 CPU/machine TIME (seconds) = 12.230 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 64,8546 Wall clock TIME (seconds) = 14.086 CPU/machine TIME (seconds) = 14.030 Wall clock TIME (seconds) = 97.523 CPU/machine TIME (seconds) = 64.010 64,474 Wall clock TIME (seconds) = 12.419 CPU/machine TIME (seconds) = 12.410 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 64,188 Wall clock TIME (seconds) = 14.330 CPU/machine TIME (seconds) = 14.300 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 64,7899 Wall clock TIME (seconds) = 14.019 CPU/machine TIME (seconds) = 13.930 Wall clock TIME (seconds) = 65.221 CPU/machine TIME (seconds) = 64.010 64,9 Wall clock TIME (seconds) = 12.058 CPU/machine TIME (seconds) = 11.960 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 64,774 Wall clock TIME (seconds) = 17.210 CPU/machine TIME (seconds) = 14.990 Wall clock TIME (seconds) = 88.875 CPU/machine TIME (seconds) = 64.010 65,3455 Wall clock TIME (seconds) = 15.164 CPU/machine TIME (seconds) = 15.100 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 65,12 Wall clock TIME (seconds) = 13.482 CPU/machine TIME (seconds) = 13.400 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 65,45 Wall clock TIME (seconds) = 12.860 CPU/machine TIME (seconds) = 12.820 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 65,78 Wall clock TIME (seconds) = 13.157 CPU/machine TIME (seconds) = 13.040 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 65,8546 Wall clock TIME (seconds) = 14.944 CPU/machine TIME (seconds) = 14.640 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 65,474 Wall clock TIME (seconds) = 15.127 CPU/machine TIME (seconds) = 14.820 Wall clock TIME (seconds) = 82.473 CPU/machine TIME (seconds) = 64.030 65,188 Wall clock TIME (seconds) = 14.023 CPU/machine TIME (seconds) = 14.010 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 65,7899 Wall clock TIME (seconds) = 14.231 CPU/machine TIME (seconds) = 13.720 Wall clock TIME (seconds) = 69.366 CPU/machine TIME (seconds) = 64.010 65,9 Wall clock TIME (seconds) = 10.868 CPU/machine TIME (seconds) = 10.840 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 65,774 Wall clock TIME (seconds) = 15.251 CPU/machine TIME (seconds) = 15.100 Wall clock TIME (seconds) = 95.234 CPU/machine TIME (seconds) = 64.010 66,3455 Wall clock TIME (seconds) = 13.099 CPU/machine TIME (seconds) = 12.960 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 66,12 Wall clock TIME (seconds) = 13.236 CPU/machine TIME (seconds) = 13.180 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 66,45 Wall clock TIME (seconds) = 11.784 CPU/machine TIME (seconds) = 11.700 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 66,78 Wall clock TIME (seconds) = 11.925 CPU/machine TIME (seconds) = 11.900 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 66,8546 Wall clock TIME (seconds) = 13.851 CPU/machine TIME (seconds) = 13.830 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 66,474 Wall clock TIME (seconds) = 14.366 CPU/machine TIME (seconds) = 14.260 Wall clock TIME (seconds) = 67.963 CPU/machine TIME (seconds) = 64.010 66,188 Wall clock TIME (seconds) = 13.923 CPU/machine TIME (seconds) = 13.790 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 66,7899 Wall clock TIME (seconds) = 13.392 CPU/machine TIME (seconds) = 13.360 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 66,9 Wall clock TIME (seconds) = 10.691 CPU/machine TIME (seconds) = 10.650 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 66,774 Wall clock TIME (seconds) = 17.561 CPU/machine TIME (seconds) = 15.260 Wall clock TIME (seconds) = 97.965 CPU/machine TIME (seconds) = 64.010 67,3455 Wall clock TIME (seconds) = 14.603 CPU/machine TIME (seconds) = 14.570 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 67,12 Wall clock TIME (seconds) = 13.376 CPU/machine TIME (seconds) = 13.220 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 67,45 Wall clock TIME (seconds) = 11.791 CPU/machine TIME (seconds) = 11.750 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 67,78 Wall clock TIME (seconds) = 13.395 CPU/machine TIME (seconds) = 13.320 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 67,8546 Wall clock TIME (seconds) = 14.788 CPU/machine TIME (seconds) = 14.730 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 67,474 Wall clock TIME (seconds) = 14.689 CPU/machine TIME (seconds) = 14.630 Wall clock TIME (seconds) = 99.035 CPU/machine TIME (seconds) = 64.010 67,188 Wall clock TIME (seconds) = 14.255 CPU/machine TIME (seconds) = 13.900 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 67,7899 Wall clock TIME (seconds) = 11.955 CPU/machine TIME (seconds) = 11.900 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 67,9 Wall clock TIME (seconds) = 11.857 CPU/machine TIME (seconds) = 11.660 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 67,774 Wall clock TIME (seconds) = 15.651 CPU/machine TIME (seconds) = 15.570 Wall clock TIME (seconds) = 85.504 CPU/machine TIME (seconds) = 64.010 68,3455 Wall clock TIME (seconds) = 14.241 CPU/machine TIME (seconds) = 14.180 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 68,12 Wall clock TIME (seconds) = 12.644 CPU/machine TIME (seconds) = 12.590 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 68,45 Wall clock TIME (seconds) = 12.222 CPU/machine TIME (seconds) = 12.180 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 68,78 Wall clock TIME (seconds) = 13.894 CPU/machine TIME (seconds) = 13.810 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 68,8546 Wall clock TIME (seconds) = 15.134 CPU/machine TIME (seconds) = 14.900 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 68,474 Wall clock TIME (seconds) = 14.338 CPU/machine TIME (seconds) = 14.270 Wall clock TIME (seconds) = 75.097 CPU/machine TIME (seconds) = 64.010 68,188 Wall clock TIME (seconds) = 13.727 CPU/machine TIME (seconds) = 13.610 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 68,7899 Wall clock TIME (seconds) = 12.926 CPU/machine TIME (seconds) = 12.870 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 68,9 Wall clock TIME (seconds) = 11.343 CPU/machine TIME (seconds) = 11.260 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 68,774 Wall clock TIME (seconds) = 14.993 CPU/machine TIME (seconds) = 14.750 Wall clock TIME (seconds) = 90.302 CPU/machine TIME (seconds) = 64.010 69,3455 Wall clock TIME (seconds) = 14.260 CPU/machine TIME (seconds) = 14.230 Wall clock TIME (seconds) = 64.072 CPU/machine TIME (seconds) = 64.010 69,12 Wall clock TIME (seconds) = 12.474 CPU/machine TIME (seconds) = 12.440 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 69,45 Wall clock TIME (seconds) = 11.585 CPU/machine TIME (seconds) = 11.550 Wall clock TIME (seconds) = 64.079 CPU/machine TIME (seconds) = 64.010 69,78 Wall clock TIME (seconds) = 12.499 CPU/machine TIME (seconds) = 12.390 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 69,8546 Wall clock TIME (seconds) = 15.521 CPU/machine TIME (seconds) = 14.550 Wall clock TIME (seconds) = 65.406 CPU/machine TIME (seconds) = 64.010 69,474 Wall clock TIME (seconds) = 14.328 CPU/machine TIME (seconds) = 14.210 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 69,188 Wall clock TIME (seconds) = 13.493 CPU/machine TIME (seconds) = 13.210 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 69,7899 Wall clock TIME (seconds) = 12.150 CPU/machine TIME (seconds) = 12.110 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 69,9 Wall clock TIME (seconds) = 10.056 CPU/machine TIME (seconds) = 9.990 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 69,774 Wall clock TIME (seconds) = 14.955 CPU/machine TIME (seconds) = 14.830 Wall clock TIME (seconds) = 66.745 CPU/machine TIME (seconds) = 64.010 70,3455 Wall clock TIME (seconds) = 14.405 CPU/machine TIME (seconds) = 14.230 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 70,12 Wall clock TIME (seconds) = 12.590 CPU/machine TIME (seconds) = 12.450 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 70,45 Wall clock TIME (seconds) = 11.773 CPU/machine TIME (seconds) = 11.730 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 70,78 Wall clock TIME (seconds) = 12.633 CPU/machine TIME (seconds) = 12.610 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 70,8546 Wall clock TIME (seconds) = 14.349 CPU/machine TIME (seconds) = 14.190 Wall clock TIME (seconds) = 64.758 CPU/machine TIME (seconds) = 64.010 70,474 Wall clock TIME (seconds) = 14.481 CPU/machine TIME (seconds) = 14.370 Wall clock TIME (seconds) = 65.321 CPU/machine TIME (seconds) = 64.010 70,188 Wall clock TIME (seconds) = 13.615 CPU/machine TIME (seconds) = 13.550 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 70,7899 Wall clock TIME (seconds) = 10.349 CPU/machine TIME (seconds) = 10.230 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 70,9 Wall clock TIME (seconds) = 11.269 CPU/machine TIME (seconds) = 11.230 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 70,774 Wall clock TIME (seconds) = 12.271 CPU/machine TIME (seconds) = 12.240 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 71,3455 Wall clock TIME (seconds) = 12.963 CPU/machine TIME (seconds) = 12.820 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 71,12 Wall clock TIME (seconds) = 12.160 CPU/machine TIME (seconds) = 12.070 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 71,45 Wall clock TIME (seconds) = 11.973 CPU/machine TIME (seconds) = 11.900 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 71,78 Wall clock TIME (seconds) = 13.537 CPU/machine TIME (seconds) = 13.480 Wall clock TIME (seconds) = 67.404 CPU/machine TIME (seconds) = 64.010 71,8546 Wall clock TIME (seconds) = 13.886 CPU/machine TIME (seconds) = 13.690 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 71,474 Wall clock TIME (seconds) = 11.836 CPU/machine TIME (seconds) = 11.770 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 71,188 Wall clock TIME (seconds) = 12.856 CPU/machine TIME (seconds) = 12.780 Wall clock TIME (seconds) = 64.004 CPU/machine TIME (seconds) = 64.010 71,7899 Wall clock TIME (seconds) = 12.832 CPU/machine TIME (seconds) = 12.700 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 71,9 Wall clock TIME (seconds) = 10.462 CPU/machine TIME (seconds) = 10.420 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 71,774 Wall clock TIME (seconds) = 14.479 CPU/machine TIME (seconds) = 14.400 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 72,3455 Wall clock TIME (seconds) = 12.093 CPU/machine TIME (seconds) = 12.070 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 72,12 Wall clock TIME (seconds) = 11.893 CPU/machine TIME (seconds) = 11.850 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 72,45 Wall clock TIME (seconds) = 11.935 CPU/machine TIME (seconds) = 11.870 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 72,78 Wall clock TIME (seconds) = 14.782 CPU/machine TIME (seconds) = 13.850 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 72,8546 Wall clock TIME (seconds) = 13.918 CPU/machine TIME (seconds) = 13.880 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 72,474 Wall clock TIME (seconds) = 13.965 CPU/machine TIME (seconds) = 13.640 Wall clock TIME (seconds) = 65.131 CPU/machine TIME (seconds) = 64.010 72,188 Wall clock TIME (seconds) = 13.241 CPU/machine TIME (seconds) = 13.170 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 72,7899 Wall clock TIME (seconds) = 13.191 CPU/machine TIME (seconds) = 13.150 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 72,9 Wall clock TIME (seconds) = 11.051 CPU/machine TIME (seconds) = 10.940 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 72,774 Wall clock TIME (seconds) = 14.296 CPU/machine TIME (seconds) = 14.190 Wall clock TIME (seconds) = 67.787 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 total makespan = 0 3,12 Computed optimal makespan:10 total makespan = 10 3,45 total makespan = 0 3,78 Computed optimal makespan:11 total makespan = 11 3,8546 Computed optimal makespan:12 total makespan = 12 3,474 total makespan = 0 3,188 Computed optimal makespan:13 total makespan = 13 3,7899 total makespan = 0 3,9 total makespan = 0 3,774 total makespan = 0 4,3455 total makespan = 0 4,12 total makespan = 0 4,45 total makespan = 0 4,78 total makespan = 0 4,8546 total makespan = 0 4,474 total makespan = 0 4,188 total makespan = 0 4,7899 total makespan = 0 4,9 total makespan = 0 4,774 total makespan = 0 5,3455 total makespan = 0 5,12 total makespan = 0 5,45 total makespan = 0 5,78 total makespan = 0 5,8546 total makespan = 0 5,474 total makespan = 0 5,188 total makespan = 0 5,7899 total makespan = 0 5,9 total makespan = 0 5,774 total makespan = 0 6,3455 total makespan = 0 6,12 total makespan = 0 6,45 total makespan = 0 6,78 total makespan = 0 6,8546 total makespan = 0 6,474 total makespan = 0 6,188 total makespan = 0 6,7899 total makespan = 0 6,9 total makespan = 0 6,774 total makespan = 0 7,3455 total makespan = 0 7,12 total makespan = 0 7,45 total makespan = 0 7,78 total makespan = 0 7,8546 total makespan = 0 7,474 total makespan = 0 7,188 total makespan = 0 7,7899 total makespan = 0 7,9 total makespan = 0 7,774 total makespan = 0 8,3455 total makespan = 0 8,12 total makespan = 0 8,45 total makespan = 0 8,78 total makespan = 0 8,8546 total makespan = 0 8,474 total makespan = 0 8,188 total makespan = 0 8,7899 total makespan = 0 8,9 total makespan = 0 8,774 total makespan = 0 9,3455 total makespan = 0 9,12 total makespan = 0 9,45 total makespan = 0 9,78 total makespan = 0 9,8546 total makespan = 0 9,474 total makespan = 0 9,188 total makespan = 0 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 total makespan = 0 10,8546 total makespan = 0 10,474 total makespan = 0 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 total makespan = 0 11,45 total makespan = 0 11,78 total makespan = 0 11,8546 total makespan = 0 11,474 total makespan = 0 11,188 total makespan = 0 11,7899 total makespan = 0 11,9 total makespan = 0 11,774 total makespan = 0 12,3455 total makespan = 0 12,12 total makespan = 0 12,45 total makespan = 0 12,78 total makespan = 0 12,8546 total makespan = 0 12,474 total makespan = 0 12,188 total makespan = 0 12,7899 total makespan = 0 12,9 total makespan = 0 12,774 total makespan = 0 13,3455 total makespan = 0 13,12 total makespan = 0 13,45 total makespan = 0 13,78 total makespan = 0 13,8546 total makespan = 0 13,474 total makespan = 0 13,188 total makespan = 0 13,7899 total makespan = 0 13,9 total makespan = 0 13,774 total makespan = 0 14,3455 total makespan = 0 14,12 total makespan = 0 14,45 total makespan = 0 14,78 total makespan = 0 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 total makespan = 0 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 total makespan = 0 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