grid size = 12 max robots = 72 1,3455 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 1,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 1,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 1,78 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 1,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 1,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 1,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 1,7899 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 1,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.010 1,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.010 2,3455 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 2,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 2,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 2,78 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 2,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.020 2,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 2,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 2,7899 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 2,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 2,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 3,3455 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.020 3,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 3,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 3,78 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 3,8546 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 3,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 3,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.020 3,7899 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 3,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 3,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 4,3455 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.030 4,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.030 4,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 4,78 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 4,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.030 4,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 4,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 4,7899 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 4,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.020 4,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 5,3455 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.050 5,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.030 5,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.030 5,78 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.040 5,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.030 5,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 5,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.030 5,7899 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.030 5,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.040 5,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.040 6,3455 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.060 6,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.040 6,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.030 6,78 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 6,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.050 6,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 6,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.060 6,7899 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.050 6,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.030 6,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.040 7,3455 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.050 7,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.060 7,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.040 7,78 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.050 7,8546 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.060 7,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.070 7,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.040 7,7899 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.050 7,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.050 7,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 8,3455 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.060 8,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 14.415 CPU/machine TIME (seconds) = 14.410 8,45 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.060 8,78 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.050 Wall clock TIME (seconds) = 0.659 CPU/machine TIME (seconds) = 0.660 8,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.061 CPU/machine TIME (seconds) = 0.060 8,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.070 8,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.068 CPU/machine TIME (seconds) = 0.070 8,7899 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.072 CPU/machine TIME (seconds) = 0.070 8,9 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 8,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.051 CPU/machine TIME (seconds) = 0.050 9,3455 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.050 9,12 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.091 CPU/machine TIME (seconds) = 0.090 9,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.089 CPU/machine TIME (seconds) = 0.090 9,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.080 9,8546 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 9,474 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.080 9,188 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.070 9,7899 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.080 9,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.060 9,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.074 CPU/machine TIME (seconds) = 0.070 10,3455 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.101 CPU/machine TIME (seconds) = 0.100 10,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.099 CPU/machine TIME (seconds) = 0.100 10,45 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.093 CPU/machine TIME (seconds) = 0.090 10,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.083 CPU/machine TIME (seconds) = 0.080 10,8546 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.124 CPU/machine TIME (seconds) = 0.130 10,474 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.090 10,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.088 CPU/machine TIME (seconds) = 0.090 10,7899 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 10.358 CPU/machine TIME (seconds) = 10.350 10,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.101 CPU/machine TIME (seconds) = 0.100 10,774 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.214 CPU/machine TIME (seconds) = 0.210 11,3455 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.090 11,12 Wall clock TIME (seconds) = 0.112 CPU/machine TIME (seconds) = 0.100 Wall clock TIME (seconds) = 3.397 CPU/machine TIME (seconds) = 3.400 11,45 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.086 CPU/machine TIME (seconds) = 0.080 11,78 Wall clock TIME (seconds) = 8.743 CPU/machine TIME (seconds) = 8.740 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 11,8546 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.095 CPU/machine TIME (seconds) = 0.090 11,474 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.108 CPU/machine TIME (seconds) = 0.110 11,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.090 11,7899 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.100 11,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.114 CPU/machine TIME (seconds) = 0.110 11,774 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.112 CPU/machine TIME (seconds) = 0.110 12,3455 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.148 CPU/machine TIME (seconds) = 0.140 12,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.100 12,45 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 12,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.114 CPU/machine TIME (seconds) = 0.110 12,8546 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.251 CPU/machine TIME (seconds) = 0.250 12,474 Wall clock TIME (seconds) = 6.657 CPU/machine TIME (seconds) = 6.640 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 12,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.109 CPU/machine TIME (seconds) = 0.110 12,7899 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.560 CPU/machine TIME (seconds) = 0.560 12,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.150 12,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.106 CPU/machine TIME (seconds) = 0.100 13,3455 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.143 CPU/machine TIME (seconds) = 0.140 13,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.114 CPU/machine TIME (seconds) = 0.110 13,45 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.141 CPU/machine TIME (seconds) = 0.140 13,78 Wall clock TIME (seconds) = 7.044 CPU/machine TIME (seconds) = 7.030 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 13,8546 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.120 13,474 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 2.633 CPU/machine TIME (seconds) = 2.640 13,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.115 CPU/machine TIME (seconds) = 0.110 13,7899 Wall clock TIME (seconds) = 7.401 CPU/machine TIME (seconds) = 7.390 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 13,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.144 CPU/machine TIME (seconds) = 0.140 13,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.119 CPU/machine TIME (seconds) = 0.120 14,3455 Wall clock TIME (seconds) = 8.446 CPU/machine TIME (seconds) = 8.440 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 14,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.140 14,45 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.118 CPU/machine TIME (seconds) = 0.120 14,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 1.045 CPU/machine TIME (seconds) = 1.040 14,8546 Wall clock TIME (seconds) = 6.229 CPU/machine TIME (seconds) = 6.230 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 14,474 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.346 CPU/machine TIME (seconds) = 0.340 14,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.169 CPU/machine TIME (seconds) = 0.160 14,7899 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 7.882 CPU/machine TIME (seconds) = 7.880 14,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.122 CPU/machine TIME (seconds) = 0.120 14,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 48.471 CPU/machine TIME (seconds) = 48.470 15,3455 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.157 CPU/machine TIME (seconds) = 0.160 15,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.148 CPU/machine TIME (seconds) = 0.140 15,45 Wall clock TIME (seconds) = 0.240 CPU/machine TIME (seconds) = 0.240 Wall clock TIME (seconds) = 3.415 CPU/machine TIME (seconds) = 3.410 15,78 Wall clock TIME (seconds) = 5.714 CPU/machine TIME (seconds) = 5.710 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 15,8546 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 24.899 CPU/machine TIME (seconds) = 24.890 15,474 Wall clock TIME (seconds) = 7.885 CPU/machine TIME (seconds) = 7.870 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 15,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.176 CPU/machine TIME (seconds) = 0.180 15,7899 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.164 CPU/machine TIME (seconds) = 0.160 15,9 Wall clock TIME (seconds) = 0.033 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 8.255 CPU/machine TIME (seconds) = 8.250 15,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.142 CPU/machine TIME (seconds) = 0.140 16,3455 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.195 CPU/machine TIME (seconds) = 0.190 16,12 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.177 CPU/machine TIME (seconds) = 0.170 16,45 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.178 CPU/machine TIME (seconds) = 0.180 16,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 2.728 CPU/machine TIME (seconds) = 2.720 16,8546 Wall clock TIME (seconds) = 6.684 CPU/machine TIME (seconds) = 6.670 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 16,474 Wall clock TIME (seconds) = 5.128 CPU/machine TIME (seconds) = 5.110 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 16,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.154 CPU/machine TIME (seconds) = 0.160 16,7899 Wall clock TIME (seconds) = 4.984 CPU/machine TIME (seconds) = 4.970 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 16,9 Wall clock TIME (seconds) = 7.168 CPU/machine TIME (seconds) = 7.150 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 16,774 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.201 CPU/machine TIME (seconds) = 0.200 17,3455 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 7.990 CPU/machine TIME (seconds) = 7.990 17,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.202 CPU/machine TIME (seconds) = 0.200 17,45 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 1.708 CPU/machine TIME (seconds) = 1.700 17,78 Wall clock TIME (seconds) = 5.542 CPU/machine TIME (seconds) = 5.530 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 17,8546 Wall clock TIME (seconds) = 7.266 CPU/machine TIME (seconds) = 7.250 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 17,474 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.207 CPU/machine TIME (seconds) = 0.200 17,188 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.158 CPU/machine TIME (seconds) = 0.160 17,7899 Wall clock TIME (seconds) = 6.269 CPU/machine TIME (seconds) = 6.260 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 17,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.196 CPU/machine TIME (seconds) = 0.200 17,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 1.030 CPU/machine TIME (seconds) = 1.030 18,3455 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.200 CPU/machine TIME (seconds) = 0.200 18,12 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.235 CPU/machine TIME (seconds) = 0.230 18,45 Wall clock TIME (seconds) = 6.000 CPU/machine TIME (seconds) = 5.990 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 18,78 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.215 CPU/machine TIME (seconds) = 0.220 18,8546 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.453 CPU/machine TIME (seconds) = 0.450 18,474 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.070 Wall clock TIME (seconds) = 3.999 CPU/machine TIME (seconds) = 3.990 18,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.203 CPU/machine TIME (seconds) = 0.200 18,7899 Wall clock TIME (seconds) = 4.439 CPU/machine TIME (seconds) = 4.430 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 18,9 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.178 CPU/machine TIME (seconds) = 0.180 18,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.187 CPU/machine TIME (seconds) = 0.180 19,3455 Wall clock TIME (seconds) = 6.204 CPU/machine TIME (seconds) = 6.200 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 19,12 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.212 CPU/machine TIME (seconds) = 0.210 19,45 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.596 CPU/machine TIME (seconds) = 0.590 19,78 Wall clock TIME (seconds) = 6.059 CPU/machine TIME (seconds) = 6.050 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 19,8546 Wall clock TIME (seconds) = 8.688 CPU/machine TIME (seconds) = 8.680 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 19,474 Wall clock TIME (seconds) = 6.537 CPU/machine TIME (seconds) = 6.520 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 19,188 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.179 CPU/machine TIME (seconds) = 0.180 19,7899 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.227 CPU/machine TIME (seconds) = 0.230 19,9 Wall clock TIME (seconds) = 6.835 CPU/machine TIME (seconds) = 6.820 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 19,774 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.455 CPU/machine TIME (seconds) = 0.450 20,3455 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.234 CPU/machine TIME (seconds) = 0.230 20,12 Wall clock TIME (seconds) = 6.568 CPU/machine TIME (seconds) = 6.560 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 20,45 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.222 CPU/machine TIME (seconds) = 0.220 20,78 Wall clock TIME (seconds) = 5.919 CPU/machine TIME (seconds) = 5.910 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 20,8546 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 4.096 CPU/machine TIME (seconds) = 4.100 20,474 Wall clock TIME (seconds) = 6.387 CPU/machine TIME (seconds) = 6.390 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 20,188 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 1.315 CPU/machine TIME (seconds) = 1.310 20,7899 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.251 CPU/machine TIME (seconds) = 0.250 20,9 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 2.837 CPU/machine TIME (seconds) = 2.840 20,774 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.268 CPU/machine TIME (seconds) = 0.270 21,3455 Wall clock TIME (seconds) = 0.041 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 25.114 CPU/machine TIME (seconds) = 25.110 21,12 Wall clock TIME (seconds) = 5.983 CPU/machine TIME (seconds) = 5.980 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 21,45 Wall clock TIME (seconds) = 5.704 CPU/machine TIME (seconds) = 5.700 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 21,78 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.676 CPU/machine TIME (seconds) = 0.670 21,8546 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 9.698 CPU/machine TIME (seconds) = 9.700 21,474 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 4.203 CPU/machine TIME (seconds) = 4.200 21,188 Wall clock TIME (seconds) = 8.555 CPU/machine TIME (seconds) = 8.550 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 21,7899 Wall clock TIME (seconds) = 6.212 CPU/machine TIME (seconds) = 6.210 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 21,9 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.234 CPU/machine TIME (seconds) = 0.230 21,774 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.232 CPU/machine TIME (seconds) = 0.230 22,3455 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.286 CPU/machine TIME (seconds) = 0.280 22,12 Wall clock TIME (seconds) = 6.646 CPU/machine TIME (seconds) = 6.640 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 22,45 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.260 CPU/machine TIME (seconds) = 0.260 22,78 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.483 CPU/machine TIME (seconds) = 0.480 22,8546 Wall clock TIME (seconds) = 7.003 CPU/machine TIME (seconds) = 7.000 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 22,474 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.257 CPU/machine TIME (seconds) = 0.260 22,188 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 4.968 CPU/machine TIME (seconds) = 4.960 22,7899 Wall clock TIME (seconds) = 6.510 CPU/machine TIME (seconds) = 6.500 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 22,9 Wall clock TIME (seconds) = 7.222 CPU/machine TIME (seconds) = 7.220 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 22,774 Wall clock TIME (seconds) = 7.073 CPU/machine TIME (seconds) = 7.060 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 23,3455 Wall clock TIME (seconds) = 8.730 CPU/machine TIME (seconds) = 8.720 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 23,12 Wall clock TIME (seconds) = 7.119 CPU/machine TIME (seconds) = 7.110 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 23,45 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.730 CPU/machine TIME (seconds) = 0.730 23,78 Wall clock TIME (seconds) = 6.745 CPU/machine TIME (seconds) = 6.750 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 23,8546 Wall clock TIME (seconds) = 5.937 CPU/machine TIME (seconds) = 5.930 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 23,474 Wall clock TIME (seconds) = 6.271 CPU/machine TIME (seconds) = 6.270 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 23,188 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.320 CPU/machine TIME (seconds) = 0.320 23,7899 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.261 CPU/machine TIME (seconds) = 0.260 23,9 Wall clock TIME (seconds) = 5.608 CPU/machine TIME (seconds) = 5.600 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 23,774 Wall clock TIME (seconds) = 6.057 CPU/machine TIME (seconds) = 6.050 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 24,3455 Wall clock TIME (seconds) = 5.899 CPU/machine TIME (seconds) = 5.890 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 24,12 Wall clock TIME (seconds) = 6.498 CPU/machine TIME (seconds) = 6.490 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 24,45 Wall clock TIME (seconds) = 6.933 CPU/machine TIME (seconds) = 6.920 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 24,78 Wall clock TIME (seconds) = 7.045 CPU/machine TIME (seconds) = 7.040 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 24,8546 Wall clock TIME (seconds) = 6.195 CPU/machine TIME (seconds) = 6.180 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 24,474 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.302 CPU/machine TIME (seconds) = 0.300 24,188 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 1.206 CPU/machine TIME (seconds) = 1.210 24,7899 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.500 CPU/machine TIME (seconds) = 0.500 24,9 Wall clock TIME (seconds) = 5.261 CPU/machine TIME (seconds) = 5.250 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 24,774 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 7.153 CPU/machine TIME (seconds) = 7.150 25,3455 Wall clock TIME (seconds) = 6.565 CPU/machine TIME (seconds) = 6.550 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 25,12 Wall clock TIME (seconds) = 7.341 CPU/machine TIME (seconds) = 7.330 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 25,45 Wall clock TIME (seconds) = 5.276 CPU/machine TIME (seconds) = 5.260 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 25,78 Wall clock TIME (seconds) = 8.056 CPU/machine TIME (seconds) = 8.050 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 25,8546 Wall clock TIME (seconds) = 0.111 CPU/machine TIME (seconds) = 0.100 Wall clock TIME (seconds) = 23.304 CPU/machine TIME (seconds) = 23.300 25,474 Wall clock TIME (seconds) = 8.311 CPU/machine TIME (seconds) = 8.300 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 25,188 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 2.740 CPU/machine TIME (seconds) = 2.740 25,7899 Wall clock TIME (seconds) = 7.378 CPU/machine TIME (seconds) = 7.370 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 25,9 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 4.350 CPU/machine TIME (seconds) = 4.350 25,774 Wall clock TIME (seconds) = 6.362 CPU/machine TIME (seconds) = 6.350 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 26,3455 Wall clock TIME (seconds) = 6.826 CPU/machine TIME (seconds) = 6.810 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 26,12 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.110 Wall clock TIME (seconds) = 31.269 CPU/machine TIME (seconds) = 31.270 26,45 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 1.707 CPU/machine TIME (seconds) = 1.710 26,78 Wall clock TIME (seconds) = 6.772 CPU/machine TIME (seconds) = 6.760 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 26,8546 Wall clock TIME (seconds) = 6.767 CPU/machine TIME (seconds) = 6.760 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 26,474 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.591 CPU/machine TIME (seconds) = 0.590 26,188 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.365 CPU/machine TIME (seconds) = 0.360 26,7899 Wall clock TIME (seconds) = 7.185 CPU/machine TIME (seconds) = 7.180 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 26,9 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 6.452 CPU/machine TIME (seconds) = 6.440 26,774 Wall clock TIME (seconds) = 7.546 CPU/machine TIME (seconds) = 7.540 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 27,3455 Wall clock TIME (seconds) = 7.840 CPU/machine TIME (seconds) = 7.830 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 27,12 Wall clock TIME (seconds) = 6.181 CPU/machine TIME (seconds) = 6.170 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 27,45 Wall clock TIME (seconds) = 7.668 CPU/machine TIME (seconds) = 7.660 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 27,78 Wall clock TIME (seconds) = 6.542 CPU/machine TIME (seconds) = 6.530 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 27,8546 Wall clock TIME (seconds) = 4.896 CPU/machine TIME (seconds) = 4.880 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 27,474 Wall clock TIME (seconds) = 6.504 CPU/machine TIME (seconds) = 6.500 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 27,188 Wall clock TIME (seconds) = 7.032 CPU/machine TIME (seconds) = 7.020 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 27,7899 Wall clock TIME (seconds) = 6.839 CPU/machine TIME (seconds) = 6.830 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 27,9 Wall clock TIME (seconds) = 7.185 CPU/machine TIME (seconds) = 7.180 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 27,774 Wall clock TIME (seconds) = 8.494 CPU/machine TIME (seconds) = 8.490 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 28,3455 Wall clock TIME (seconds) = 5.396 CPU/machine TIME (seconds) = 5.390 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 28,12 Wall clock TIME (seconds) = 5.985 CPU/machine TIME (seconds) = 5.970 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 28,45 Wall clock TIME (seconds) = 6.833 CPU/machine TIME (seconds) = 6.820 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 28,78 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.374 CPU/machine TIME (seconds) = 0.370 28,8546 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 5.365 CPU/machine TIME (seconds) = 5.360 28,474 Wall clock TIME (seconds) = 6.549 CPU/machine TIME (seconds) = 6.540 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 28,188 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 1.357 CPU/machine TIME (seconds) = 1.360 28,7899 Wall clock TIME (seconds) = 7.329 CPU/machine TIME (seconds) = 7.320 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 28,9 Wall clock TIME (seconds) = 5.789 CPU/machine TIME (seconds) = 5.780 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 28,774 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 3.364 CPU/machine TIME (seconds) = 3.360 29,3455 Wall clock TIME (seconds) = 6.674 CPU/machine TIME (seconds) = 6.660 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 29,12 Wall clock TIME (seconds) = 7.177 CPU/machine TIME (seconds) = 7.160 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 29,45 Wall clock TIME (seconds) = 8.072 CPU/machine TIME (seconds) = 8.050 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 29,78 Wall clock TIME (seconds) = 6.961 CPU/machine TIME (seconds) = 6.950 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 29,8546 Wall clock TIME (seconds) = 8.096 CPU/machine TIME (seconds) = 8.090 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 29,474 Wall clock TIME (seconds) = 7.205 CPU/machine TIME (seconds) = 7.200 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 29,188 Wall clock TIME (seconds) = 6.378 CPU/machine TIME (seconds) = 6.370 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 29,7899 Wall clock TIME (seconds) = 6.385 CPU/machine TIME (seconds) = 6.370 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 29,9 Wall clock TIME (seconds) = 6.785 CPU/machine TIME (seconds) = 6.780 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 29,774 Wall clock TIME (seconds) = 7.065 CPU/machine TIME (seconds) = 7.060 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 30,3455 Wall clock TIME (seconds) = 7.401 CPU/machine TIME (seconds) = 7.390 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 30,12 Wall clock TIME (seconds) = 6.110 CPU/machine TIME (seconds) = 6.110 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 30,45 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 10.844 CPU/machine TIME (seconds) = 10.840 30,78 Wall clock TIME (seconds) = 6.885 CPU/machine TIME (seconds) = 6.880 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 30,8546 Wall clock TIME (seconds) = 7.242 CPU/machine TIME (seconds) = 7.230 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 30,474 Wall clock TIME (seconds) = 6.524 CPU/machine TIME (seconds) = 6.510 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 30,188 Wall clock TIME (seconds) = 7.062 CPU/machine TIME (seconds) = 7.050 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 30,7899 Wall clock TIME (seconds) = 6.267 CPU/machine TIME (seconds) = 6.260 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 30,9 Wall clock TIME (seconds) = 5.680 CPU/machine TIME (seconds) = 5.670 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 30,774 Wall clock TIME (seconds) = 5.918 CPU/machine TIME (seconds) = 5.910 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 31,3455 Wall clock TIME (seconds) = 8.456 CPU/machine TIME (seconds) = 8.440 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 31,12 Wall clock TIME (seconds) = 6.449 CPU/machine TIME (seconds) = 6.450 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 31,45 Wall clock TIME (seconds) = 6.978 CPU/machine TIME (seconds) = 6.970 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 31,78 Wall clock TIME (seconds) = 6.488 CPU/machine TIME (seconds) = 6.480 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 31,8546 Wall clock TIME (seconds) = 5.603 CPU/machine TIME (seconds) = 5.590 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 31,474 Wall clock TIME (seconds) = 7.434 CPU/machine TIME (seconds) = 7.420 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 31,188 Wall clock TIME (seconds) = 5.068 CPU/machine TIME (seconds) = 5.050 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 31,7899 Wall clock TIME (seconds) = 6.649 CPU/machine TIME (seconds) = 6.630 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 31,9 Wall clock TIME (seconds) = 6.114 CPU/machine TIME (seconds) = 6.100 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 31,774 Wall clock TIME (seconds) = 5.859 CPU/machine TIME (seconds) = 5.850 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,3455 Wall clock TIME (seconds) = 7.049 CPU/machine TIME (seconds) = 7.040 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,12 Wall clock TIME (seconds) = 7.978 CPU/machine TIME (seconds) = 7.970 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 32,45 Wall clock TIME (seconds) = 6.360 CPU/machine TIME (seconds) = 6.360 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 32,78 Wall clock TIME (seconds) = 7.071 CPU/machine TIME (seconds) = 7.060 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,8546 Wall clock TIME (seconds) = 6.081 CPU/machine TIME (seconds) = 6.070 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,474 Wall clock TIME (seconds) = 7.422 CPU/machine TIME (seconds) = 7.410 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 32,188 Wall clock TIME (seconds) = 6.263 CPU/machine TIME (seconds) = 6.250 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,7899 Wall clock TIME (seconds) = 8.386 CPU/machine TIME (seconds) = 8.380 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 32,9 Wall clock TIME (seconds) = 8.346 CPU/machine TIME (seconds) = 8.340 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,774 Wall clock TIME (seconds) = 7.230 CPU/machine TIME (seconds) = 7.220 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 33,3455 Wall clock TIME (seconds) = 8.753 CPU/machine TIME (seconds) = 8.750 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 33,12 Wall clock TIME (seconds) = 6.991 CPU/machine TIME (seconds) = 6.980 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 33,45 Wall clock TIME (seconds) = 7.033 CPU/machine TIME (seconds) = 7.020 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 33,78 Wall clock TIME (seconds) = 6.801 CPU/machine TIME (seconds) = 6.800 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 33,8546 Wall clock TIME (seconds) = 6.547 CPU/machine TIME (seconds) = 6.540 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 33,474 Wall clock TIME (seconds) = 6.930 CPU/machine TIME (seconds) = 6.920 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 33,188 Wall clock TIME (seconds) = 8.677 CPU/machine TIME (seconds) = 8.670 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 33,7899 Wall clock TIME (seconds) = 4.816 CPU/machine TIME (seconds) = 4.810 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 33,9 Wall clock TIME (seconds) = 6.537 CPU/machine TIME (seconds) = 6.530 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 33,774 Wall clock TIME (seconds) = 6.238 CPU/machine TIME (seconds) = 6.230 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 34,3455 Wall clock TIME (seconds) = 6.176 CPU/machine TIME (seconds) = 6.170 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 34,12 Wall clock TIME (seconds) = 6.484 CPU/machine TIME (seconds) = 6.470 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 34,45 Wall clock TIME (seconds) = 7.019 CPU/machine TIME (seconds) = 7.010 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 34,78 Wall clock TIME (seconds) = 5.709 CPU/machine TIME (seconds) = 5.690 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 34,8546 Wall clock TIME (seconds) = 5.386 CPU/machine TIME (seconds) = 5.380 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 34,474 Wall clock TIME (seconds) = 6.385 CPU/machine TIME (seconds) = 6.380 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 34,188 Wall clock TIME (seconds) = 6.037 CPU/machine TIME (seconds) = 6.030 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 34,7899 Wall clock TIME (seconds) = 6.827 CPU/machine TIME (seconds) = 6.830 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 34,9 Wall clock TIME (seconds) = 7.417 CPU/machine TIME (seconds) = 7.410 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 34,774 Wall clock TIME (seconds) = 6.676 CPU/machine TIME (seconds) = 6.670 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 35,3455 Wall clock TIME (seconds) = 8.597 CPU/machine TIME (seconds) = 8.590 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 35,12 Wall clock TIME (seconds) = 9.209 CPU/machine TIME (seconds) = 9.200 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 35,45 Wall clock TIME (seconds) = 7.592 CPU/machine TIME (seconds) = 7.590 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 35,78 Wall clock TIME (seconds) = 6.243 CPU/machine TIME (seconds) = 6.230 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 35,8546 Wall clock TIME (seconds) = 6.353 CPU/machine TIME (seconds) = 6.350 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 35,474 Wall clock TIME (seconds) = 6.511 CPU/machine TIME (seconds) = 6.500 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 35,188 Wall clock TIME (seconds) = 7.403 CPU/machine TIME (seconds) = 7.390 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 35,7899 Wall clock TIME (seconds) = 8.986 CPU/machine TIME (seconds) = 8.980 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 35,9 Wall clock TIME (seconds) = 7.652 CPU/machine TIME (seconds) = 7.640 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 35,774 Wall clock TIME (seconds) = 1.746 CPU/machine TIME (seconds) = 1.740 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 36,3455 Wall clock TIME (seconds) = 6.736 CPU/machine TIME (seconds) = 6.730 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 36,12 Wall clock TIME (seconds) = 6.425 CPU/machine TIME (seconds) = 6.420 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 36,45 Wall clock TIME (seconds) = 7.065 CPU/machine TIME (seconds) = 7.050 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 36,78 Wall clock TIME (seconds) = 8.407 CPU/machine TIME (seconds) = 8.400 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 36,8546 Wall clock TIME (seconds) = 6.784 CPU/machine TIME (seconds) = 6.780 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 36,474 Wall clock TIME (seconds) = 6.879 CPU/machine TIME (seconds) = 6.870 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 36,188 Wall clock TIME (seconds) = 4.572 CPU/machine TIME (seconds) = 4.570 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 36,7899 Wall clock TIME (seconds) = 6.635 CPU/machine TIME (seconds) = 6.630 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 36,9 Wall clock TIME (seconds) = 8.820 CPU/machine TIME (seconds) = 8.810 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 36,774 Wall clock TIME (seconds) = 7.067 CPU/machine TIME (seconds) = 7.060 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,3455 Wall clock TIME (seconds) = 6.328 CPU/machine TIME (seconds) = 6.320 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 37,12 Wall clock TIME (seconds) = 6.140 CPU/machine TIME (seconds) = 6.130 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 37,45 Wall clock TIME (seconds) = 7.387 CPU/machine TIME (seconds) = 7.380 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,78 Wall clock TIME (seconds) = 8.170 CPU/machine TIME (seconds) = 8.160 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,8546 Wall clock TIME (seconds) = 6.994 CPU/machine TIME (seconds) = 6.990 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 37,474 Wall clock TIME (seconds) = 6.715 CPU/machine TIME (seconds) = 6.710 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,188 Wall clock TIME (seconds) = 6.479 CPU/machine TIME (seconds) = 6.470 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,7899 Wall clock TIME (seconds) = 3.725 CPU/machine TIME (seconds) = 3.710 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 37,9 Wall clock TIME (seconds) = 8.305 CPU/machine TIME (seconds) = 8.290 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,774 Wall clock TIME (seconds) = 6.874 CPU/machine TIME (seconds) = 6.860 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 38,3455 Wall clock TIME (seconds) = 6.863 CPU/machine TIME (seconds) = 6.850 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 38,12 Wall clock TIME (seconds) = 6.301 CPU/machine TIME (seconds) = 6.290 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 38,45 Wall clock TIME (seconds) = 6.581 CPU/machine TIME (seconds) = 6.580 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 38,78 Wall clock TIME (seconds) = 8.280 CPU/machine TIME (seconds) = 8.270 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 38,8546 Wall clock TIME (seconds) = 7.419 CPU/machine TIME (seconds) = 7.410 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 38,474 Wall clock TIME (seconds) = 8.749 CPU/machine TIME (seconds) = 8.750 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 38,188 Wall clock TIME (seconds) = 7.632 CPU/machine TIME (seconds) = 7.630 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 38,7899 Wall clock TIME (seconds) = 6.349 CPU/machine TIME (seconds) = 6.340 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 38,9 Wall clock TIME (seconds) = 6.164 CPU/machine TIME (seconds) = 6.160 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 38,774 Wall clock TIME (seconds) = 8.738 CPU/machine TIME (seconds) = 8.720 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 39,3455 Wall clock TIME (seconds) = 6.051 CPU/machine TIME (seconds) = 6.050 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 39,12 Wall clock TIME (seconds) = 7.319 CPU/machine TIME (seconds) = 7.310 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 39,45 Wall clock TIME (seconds) = 6.778 CPU/machine TIME (seconds) = 6.780 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 39,78 Wall clock TIME (seconds) = 6.655 CPU/machine TIME (seconds) = 6.650 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 39,8546 Wall clock TIME (seconds) = 7.025 CPU/machine TIME (seconds) = 7.020 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 39,474 Wall clock TIME (seconds) = 6.402 CPU/machine TIME (seconds) = 6.400 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 39,188 Wall clock TIME (seconds) = 6.688 CPU/machine TIME (seconds) = 6.680 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 39,7899 Wall clock TIME (seconds) = 7.259 CPU/machine TIME (seconds) = 7.250 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 39,9 Wall clock TIME (seconds) = 7.422 CPU/machine TIME (seconds) = 7.410 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 39,774 Wall clock TIME (seconds) = 6.425 CPU/machine TIME (seconds) = 6.410 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 40,3455 Wall clock TIME (seconds) = 6.680 CPU/machine TIME (seconds) = 6.670 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 40,12 Wall clock TIME (seconds) = 8.065 CPU/machine TIME (seconds) = 8.050 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 40,45 Wall clock TIME (seconds) = 8.879 CPU/machine TIME (seconds) = 8.870 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 40,78 Wall clock TIME (seconds) = 7.802 CPU/machine TIME (seconds) = 7.790 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 40,8546 Wall clock TIME (seconds) = 7.548 CPU/machine TIME (seconds) = 7.550 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 40,474 Wall clock TIME (seconds) = 7.590 CPU/machine TIME (seconds) = 7.590 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 40,188 Wall clock TIME (seconds) = 10.468 CPU/machine TIME (seconds) = 10.460 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 40,7899 Wall clock TIME (seconds) = 6.609 CPU/machine TIME (seconds) = 6.600 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 40,9 Wall clock TIME (seconds) = 7.550 CPU/machine TIME (seconds) = 7.540 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 40,774 Wall clock TIME (seconds) = 6.412 CPU/machine TIME (seconds) = 6.400 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 41,3455 Wall clock TIME (seconds) = 8.139 CPU/machine TIME (seconds) = 8.130 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 41,12 Wall clock TIME (seconds) = 9.523 CPU/machine TIME (seconds) = 9.520 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 41,45 Wall clock TIME (seconds) = 6.596 CPU/machine TIME (seconds) = 6.590 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 41,78 Wall clock TIME (seconds) = 8.257 CPU/machine TIME (seconds) = 8.250 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 41,8546 Wall clock TIME (seconds) = 5.774 CPU/machine TIME (seconds) = 5.770 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 41,474 Wall clock TIME (seconds) = 6.638 CPU/machine TIME (seconds) = 6.630 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 41,188 Wall clock TIME (seconds) = 6.641 CPU/machine TIME (seconds) = 6.630 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 41,7899 Wall clock TIME (seconds) = 7.290 CPU/machine TIME (seconds) = 7.280 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 41,9 Wall clock TIME (seconds) = 8.829 CPU/machine TIME (seconds) = 8.810 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 41,774 Wall clock TIME (seconds) = 9.056 CPU/machine TIME (seconds) = 9.050 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 42,3455 Wall clock TIME (seconds) = 6.412 CPU/machine TIME (seconds) = 6.400 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 42,12 Wall clock TIME (seconds) = 6.616 CPU/machine TIME (seconds) = 6.610 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 42,45 Wall clock TIME (seconds) = 6.826 CPU/machine TIME (seconds) = 6.810 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 42,78 Wall clock TIME (seconds) = 9.101 CPU/machine TIME (seconds) = 9.090 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 42,8546 Wall clock TIME (seconds) = 6.942 CPU/machine TIME (seconds) = 6.940 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 42,474 Wall clock TIME (seconds) = 6.692 CPU/machine TIME (seconds) = 6.690 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 42,188 Wall clock TIME (seconds) = 9.037 CPU/machine TIME (seconds) = 9.030 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 42,7899 Wall clock TIME (seconds) = 5.996 CPU/machine TIME (seconds) = 5.990 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 42,9 Wall clock TIME (seconds) = 7.006 CPU/machine TIME (seconds) = 7.000 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 42,774 Wall clock TIME (seconds) = 6.554 CPU/machine TIME (seconds) = 6.550 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 43,3455 Wall clock TIME (seconds) = 7.097 CPU/machine TIME (seconds) = 7.090 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 43,12 Wall clock TIME (seconds) = 6.214 CPU/machine TIME (seconds) = 6.210 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 43,45 Wall clock TIME (seconds) = 7.550 CPU/machine TIME (seconds) = 7.540 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 43,78 Wall clock TIME (seconds) = 7.586 CPU/machine TIME (seconds) = 7.580 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 43,8546 Wall clock TIME (seconds) = 7.031 CPU/machine TIME (seconds) = 7.030 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 43,474 Wall clock TIME (seconds) = 8.974 CPU/machine TIME (seconds) = 8.960 Wall clock TIME (seconds) = 64.002 CPU/machine TIME (seconds) = 64.010 43,188 Wall clock TIME (seconds) = 6.271 CPU/machine TIME (seconds) = 6.270 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 43,7899 Wall clock TIME (seconds) = 9.135 CPU/machine TIME (seconds) = 9.130 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 43,9 Wall clock TIME (seconds) = 5.964 CPU/machine TIME (seconds) = 5.950 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 43,774 Wall clock TIME (seconds) = 7.528 CPU/machine TIME (seconds) = 7.530 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 44,3455 Wall clock TIME (seconds) = 7.146 CPU/machine TIME (seconds) = 7.130 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,12 Wall clock TIME (seconds) = 8.480 CPU/machine TIME (seconds) = 8.470 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,45 Wall clock TIME (seconds) = 5.828 CPU/machine TIME (seconds) = 5.820 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 44,78 Wall clock TIME (seconds) = 2.138 CPU/machine TIME (seconds) = 2.120 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 44,8546 Wall clock TIME (seconds) = 6.167 CPU/machine TIME (seconds) = 6.160 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,474 Wall clock TIME (seconds) = 7.458 CPU/machine TIME (seconds) = 7.450 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,188 Wall clock TIME (seconds) = 7.285 CPU/machine TIME (seconds) = 7.270 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,7899 Wall clock TIME (seconds) = 9.285 CPU/machine TIME (seconds) = 9.280 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,9 Wall clock TIME (seconds) = 9.128 CPU/machine TIME (seconds) = 9.120 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 44,774 Wall clock TIME (seconds) = 6.783 CPU/machine TIME (seconds) = 6.770 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 45,3455 Wall clock TIME (seconds) = 7.228 CPU/machine TIME (seconds) = 7.210 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 45,12 Wall clock TIME (seconds) = 6.272 CPU/machine TIME (seconds) = 6.260 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 45,45 Wall clock TIME (seconds) = 9.057 CPU/machine TIME (seconds) = 9.050 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 45,78 Wall clock TIME (seconds) = 7.076 CPU/machine TIME (seconds) = 7.070 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 45,8546 Wall clock TIME (seconds) = 6.472 CPU/machine TIME (seconds) = 6.460 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 45,474 Wall clock TIME (seconds) = 5.828 CPU/machine TIME (seconds) = 5.810 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 45,188 Wall clock TIME (seconds) = 9.455 CPU/machine TIME (seconds) = 9.450 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 45,7899 Wall clock TIME (seconds) = 7.211 CPU/machine TIME (seconds) = 7.200 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 45,9 Wall clock TIME (seconds) = 6.705 CPU/machine TIME (seconds) = 6.700 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 45,774 Wall clock TIME (seconds) = 6.921 CPU/machine TIME (seconds) = 6.910 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 46,3455 Wall clock TIME (seconds) = 6.073 CPU/machine TIME (seconds) = 6.070 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 46,12 Wall clock TIME (seconds) = 7.092 CPU/machine TIME (seconds) = 7.080 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 46,45 Wall clock TIME (seconds) = 6.667 CPU/machine TIME (seconds) = 6.660 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 46,78 Wall clock TIME (seconds) = 7.111 CPU/machine TIME (seconds) = 7.100 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 46,8546 Wall clock TIME (seconds) = 7.045 CPU/machine TIME (seconds) = 7.040 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 46,474 Wall clock TIME (seconds) = 6.770 CPU/machine TIME (seconds) = 6.770 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 46,188 Wall clock TIME (seconds) = 8.161 CPU/machine TIME (seconds) = 8.150 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 46,7899 Wall clock TIME (seconds) = 7.900 CPU/machine TIME (seconds) = 7.890 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 46,9 Wall clock TIME (seconds) = 6.132 CPU/machine TIME (seconds) = 6.130 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 46,774 Wall clock TIME (seconds) = 6.750 CPU/machine TIME (seconds) = 6.750 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 47,3455 Wall clock TIME (seconds) = 6.899 CPU/machine TIME (seconds) = 6.900 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,12 Wall clock TIME (seconds) = 7.900 CPU/machine TIME (seconds) = 7.900 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,45 Wall clock TIME (seconds) = 7.887 CPU/machine TIME (seconds) = 7.880 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 47,78 Wall clock TIME (seconds) = 6.023 CPU/machine TIME (seconds) = 6.010 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 47,8546 Wall clock TIME (seconds) = 6.554 CPU/machine TIME (seconds) = 6.550 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,474 Wall clock TIME (seconds) = 6.736 CPU/machine TIME (seconds) = 6.730 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,188 Wall clock TIME (seconds) = 6.535 CPU/machine TIME (seconds) = 6.530 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 47,7899 Wall clock TIME (seconds) = 6.539 CPU/machine TIME (seconds) = 6.530 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 47,9 Wall clock TIME (seconds) = 8.218 CPU/machine TIME (seconds) = 8.210 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 47,774 Wall clock TIME (seconds) = 6.676 CPU/machine TIME (seconds) = 6.670 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 48,3455 Wall clock TIME (seconds) = 6.502 CPU/machine TIME (seconds) = 6.490 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 48,12 Wall clock TIME (seconds) = 6.668 CPU/machine TIME (seconds) = 6.660 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 48,45 Wall clock TIME (seconds) = 7.012 CPU/machine TIME (seconds) = 7.000 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 48,78 Wall clock TIME (seconds) = 6.763 CPU/machine TIME (seconds) = 6.760 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 48,8546 Wall clock TIME (seconds) = 8.564 CPU/machine TIME (seconds) = 8.550 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 48,474 Wall clock TIME (seconds) = 6.992 CPU/machine TIME (seconds) = 6.980 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 48,188 Wall clock TIME (seconds) = 8.962 CPU/machine TIME (seconds) = 8.950 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 48,7899 Wall clock TIME (seconds) = 7.502 CPU/machine TIME (seconds) = 7.490 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 48,9 Wall clock TIME (seconds) = 7.450 CPU/machine TIME (seconds) = 7.440 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 48,774 Wall clock TIME (seconds) = 7.537 CPU/machine TIME (seconds) = 7.530 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 49,3455 Wall clock TIME (seconds) = 6.123 CPU/machine TIME (seconds) = 6.120 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 49,12 Wall clock TIME (seconds) = 6.390 CPU/machine TIME (seconds) = 6.380 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 49,45 Wall clock TIME (seconds) = 7.615 CPU/machine TIME (seconds) = 7.610 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 49,78 Wall clock TIME (seconds) = 6.552 CPU/machine TIME (seconds) = 6.540 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 49,8546 Wall clock TIME (seconds) = 7.323 CPU/machine TIME (seconds) = 7.310 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 49,474 Wall clock TIME (seconds) = 6.353 CPU/machine TIME (seconds) = 6.340 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 49,188 Wall clock TIME (seconds) = 7.825 CPU/machine TIME (seconds) = 7.830 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 49,7899 Wall clock TIME (seconds) = 6.157 CPU/machine TIME (seconds) = 6.150 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 49,9 Wall clock TIME (seconds) = 7.073 CPU/machine TIME (seconds) = 7.060 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 49,774 Wall clock TIME (seconds) = 7.163 CPU/machine TIME (seconds) = 7.160 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 50,3455 Wall clock TIME (seconds) = 6.011 CPU/machine TIME (seconds) = 6.000 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 50,12 Wall clock TIME (seconds) = 6.278 CPU/machine TIME (seconds) = 6.270 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 50,45 Wall clock TIME (seconds) = 8.877 CPU/machine TIME (seconds) = 8.860 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 50,78 Wall clock TIME (seconds) = 6.668 CPU/machine TIME (seconds) = 6.660 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 50,8546 Wall clock TIME (seconds) = 6.943 CPU/machine TIME (seconds) = 6.930 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 50,474 Wall clock TIME (seconds) = 8.900 CPU/machine TIME (seconds) = 8.890 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 50,188 Wall clock TIME (seconds) = 9.472 CPU/machine TIME (seconds) = 9.460 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 50,7899 Wall clock TIME (seconds) = 8.715 CPU/machine TIME (seconds) = 8.710 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 50,9 Wall clock TIME (seconds) = 7.213 CPU/machine TIME (seconds) = 7.200 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 50,774 Wall clock TIME (seconds) = 6.734 CPU/machine TIME (seconds) = 6.720 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 51,3455 Wall clock TIME (seconds) = 6.159 CPU/machine TIME (seconds) = 6.150 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 51,12 Wall clock TIME (seconds) = 6.378 CPU/machine TIME (seconds) = 6.360 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 51,45 Wall clock TIME (seconds) = 7.716 CPU/machine TIME (seconds) = 7.710 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 51,78 Wall clock TIME (seconds) = 7.327 CPU/machine TIME (seconds) = 7.310 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 51,8546 Wall clock TIME (seconds) = 6.516 CPU/machine TIME (seconds) = 6.510 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 51,474 Wall clock TIME (seconds) = 7.214 CPU/machine TIME (seconds) = 7.210 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 51,188 Wall clock TIME (seconds) = 6.053 CPU/machine TIME (seconds) = 6.040 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 51,7899 Wall clock TIME (seconds) = 7.749 CPU/machine TIME (seconds) = 7.740 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 51,9 Wall clock TIME (seconds) = 7.336 CPU/machine TIME (seconds) = 7.330 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 51,774 Wall clock TIME (seconds) = 6.474 CPU/machine TIME (seconds) = 6.470 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 52,3455 Wall clock TIME (seconds) = 7.040 CPU/machine TIME (seconds) = 7.030 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 52,12 Wall clock TIME (seconds) = 7.165 CPU/machine TIME (seconds) = 7.160 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 52,45 Wall clock TIME (seconds) = 8.453 CPU/machine TIME (seconds) = 8.440 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 52,78 Wall clock TIME (seconds) = 6.062 CPU/machine TIME (seconds) = 6.050 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 52,8546 Wall clock TIME (seconds) = 7.157 CPU/machine TIME (seconds) = 7.150 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 52,474 Wall clock TIME (seconds) = 9.164 CPU/machine TIME (seconds) = 9.150 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 52,188 Wall clock TIME (seconds) = 7.136 CPU/machine TIME (seconds) = 7.130 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 52,7899 Wall clock TIME (seconds) = 5.813 CPU/machine TIME (seconds) = 5.810 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 52,9 Wall clock TIME (seconds) = 7.322 CPU/machine TIME (seconds) = 7.310 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 52,774 Wall clock TIME (seconds) = 8.119 CPU/machine TIME (seconds) = 8.120 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 53,3455 Wall clock TIME (seconds) = 7.682 CPU/machine TIME (seconds) = 7.680 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 53,12 Wall clock TIME (seconds) = 6.736 CPU/machine TIME (seconds) = 6.740 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 53,45 Wall clock TIME (seconds) = 7.643 CPU/machine TIME (seconds) = 7.630 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 53,78 Wall clock TIME (seconds) = 6.794 CPU/machine TIME (seconds) = 6.780 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 53,8546 Wall clock TIME (seconds) = 8.331 CPU/machine TIME (seconds) = 8.320 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 53,474 Wall clock TIME (seconds) = 7.083 CPU/machine TIME (seconds) = 7.080 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 53,188 Wall clock TIME (seconds) = 6.334 CPU/machine TIME (seconds) = 6.330 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 53,7899 Wall clock TIME (seconds) = 6.851 CPU/machine TIME (seconds) = 6.840 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 53,9 Wall clock TIME (seconds) = 6.845 CPU/machine TIME (seconds) = 6.840 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 53,774 Wall clock TIME (seconds) = 8.238 CPU/machine TIME (seconds) = 8.230 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 54,3455 Wall clock TIME (seconds) = 6.536 CPU/machine TIME (seconds) = 6.530 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 54,12 Wall clock TIME (seconds) = 7.518 CPU/machine TIME (seconds) = 7.510 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 54,45 Wall clock TIME (seconds) = 7.491 CPU/machine TIME (seconds) = 7.480 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 54,78 Wall clock TIME (seconds) = 6.766 CPU/machine TIME (seconds) = 6.750 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 54,8546 Wall clock TIME (seconds) = 3.631 CPU/machine TIME (seconds) = 3.620 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 54,474 Wall clock TIME (seconds) = 6.331 CPU/machine TIME (seconds) = 6.320 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 54,188 Wall clock TIME (seconds) = 6.308 CPU/machine TIME (seconds) = 6.300 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 54,7899 Wall clock TIME (seconds) = 8.805 CPU/machine TIME (seconds) = 8.800 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 54,9 Wall clock TIME (seconds) = 6.988 CPU/machine TIME (seconds) = 6.970 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 54,774 Wall clock TIME (seconds) = 6.062 CPU/machine TIME (seconds) = 6.050 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 55,3455 Wall clock TIME (seconds) = 8.092 CPU/machine TIME (seconds) = 8.090 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 55,12 Wall clock TIME (seconds) = 8.987 CPU/machine TIME (seconds) = 8.970 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 55,45 Wall clock TIME (seconds) = 1.992 CPU/machine TIME (seconds) = 1.990 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 55,78 Wall clock TIME (seconds) = 7.139 CPU/machine TIME (seconds) = 7.140 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 55,8546 Wall clock TIME (seconds) = 4.231 CPU/machine TIME (seconds) = 4.230 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 55,474 Wall clock TIME (seconds) = 7.068 CPU/machine TIME (seconds) = 7.050 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 55,188 Wall clock TIME (seconds) = 6.517 CPU/machine TIME (seconds) = 6.510 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 55,7899 Wall clock TIME (seconds) = 7.380 CPU/machine TIME (seconds) = 7.370 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 55,9 Wall clock TIME (seconds) = 7.431 CPU/machine TIME (seconds) = 7.420 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 55,774 Wall clock TIME (seconds) = 8.581 CPU/machine TIME (seconds) = 8.570 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 56,3455 Wall clock TIME (seconds) = 6.447 CPU/machine TIME (seconds) = 6.440 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 56,12 Wall clock TIME (seconds) = 8.011 CPU/machine TIME (seconds) = 8.000 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 56,45 Wall clock TIME (seconds) = 6.767 CPU/machine TIME (seconds) = 6.750 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 56,78 Wall clock TIME (seconds) = 5.752 CPU/machine TIME (seconds) = 5.740 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 56,8546 Wall clock TIME (seconds) = 7.136 CPU/machine TIME (seconds) = 7.130 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 56,474 Wall clock TIME (seconds) = 6.713 CPU/machine TIME (seconds) = 6.710 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 56,188 Wall clock TIME (seconds) = 8.419 CPU/machine TIME (seconds) = 8.410 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 56,7899 Wall clock TIME (seconds) = 6.319 CPU/machine TIME (seconds) = 6.310 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 56,9 Wall clock TIME (seconds) = 7.474 CPU/machine TIME (seconds) = 7.470 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 56,774 Wall clock TIME (seconds) = 6.053 CPU/machine TIME (seconds) = 6.040 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 57,3455 Wall clock TIME (seconds) = 8.321 CPU/machine TIME (seconds) = 8.320 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 57,12 Wall clock TIME (seconds) = 7.407 CPU/machine TIME (seconds) = 7.400 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 57,45 Wall clock TIME (seconds) = 7.103 CPU/machine TIME (seconds) = 7.100 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 57,78 Wall clock TIME (seconds) = 7.332 CPU/machine TIME (seconds) = 7.330 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 57,8546 Wall clock TIME (seconds) = 7.037 CPU/machine TIME (seconds) = 7.020 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 57,474 Wall clock TIME (seconds) = 6.770 CPU/machine TIME (seconds) = 6.770 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 57,188 Wall clock TIME (seconds) = 7.496 CPU/machine TIME (seconds) = 7.500 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 57,7899 Wall clock TIME (seconds) = 6.882 CPU/machine TIME (seconds) = 6.870 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 57,9 Wall clock TIME (seconds) = 6.478 CPU/machine TIME (seconds) = 6.470 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 57,774 Wall clock TIME (seconds) = 6.652 CPU/machine TIME (seconds) = 6.650 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 58,3455 Wall clock TIME (seconds) = 0.249 CPU/machine TIME (seconds) = 0.250 Wall clock TIME (seconds) = 67.724 CPU/machine TIME (seconds) = 67.720 58,12 Wall clock TIME (seconds) = 9.224 CPU/machine TIME (seconds) = 9.220 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 58,45 Wall clock TIME (seconds) = 6.986 CPU/machine TIME (seconds) = 6.980 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 58,78 Wall clock TIME (seconds) = 6.464 CPU/machine TIME (seconds) = 6.460 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 58,8546 Wall clock TIME (seconds) = 5.314 CPU/machine TIME (seconds) = 5.310 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 58,474 Wall clock TIME (seconds) = 6.319 CPU/machine TIME (seconds) = 6.310 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 58,188 Wall clock TIME (seconds) = 6.654 CPU/machine TIME (seconds) = 6.650 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 58,7899 Wall clock TIME (seconds) = 7.103 CPU/machine TIME (seconds) = 7.100 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 58,9 Wall clock TIME (seconds) = 7.327 CPU/machine TIME (seconds) = 7.320 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 58,774 Wall clock TIME (seconds) = 6.919 CPU/machine TIME (seconds) = 6.910 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,3455 Wall clock TIME (seconds) = 8.900 CPU/machine TIME (seconds) = 8.900 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,12 Wall clock TIME (seconds) = 7.347 CPU/machine TIME (seconds) = 7.350 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,45 Wall clock TIME (seconds) = 5.817 CPU/machine TIME (seconds) = 5.810 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 59,78 Wall clock TIME (seconds) = 8.099 CPU/machine TIME (seconds) = 8.100 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,8546 Wall clock TIME (seconds) = 8.787 CPU/machine TIME (seconds) = 8.780 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 59,474 Wall clock TIME (seconds) = 7.104 CPU/machine TIME (seconds) = 7.100 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 59,188 Wall clock TIME (seconds) = 6.891 CPU/machine TIME (seconds) = 6.870 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 59,7899 Wall clock TIME (seconds) = 7.255 CPU/machine TIME (seconds) = 7.240 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 59,9 Wall clock TIME (seconds) = 7.156 CPU/machine TIME (seconds) = 7.150 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 59,774 Wall clock TIME (seconds) = 8.987 CPU/machine TIME (seconds) = 8.980 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 60,3455 Wall clock TIME (seconds) = 8.622 CPU/machine TIME (seconds) = 8.620 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 60,12 Wall clock TIME (seconds) = 6.162 CPU/machine TIME (seconds) = 6.160 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 60,45 Wall clock TIME (seconds) = 7.103 CPU/machine TIME (seconds) = 7.090 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 60,78 Wall clock TIME (seconds) = 6.979 CPU/machine TIME (seconds) = 6.970 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 60,8546 Wall clock TIME (seconds) = 8.001 CPU/machine TIME (seconds) = 7.990 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 60,474 Wall clock TIME (seconds) = 6.356 CPU/machine TIME (seconds) = 6.350 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 60,188 Wall clock TIME (seconds) = 8.533 CPU/machine TIME (seconds) = 8.530 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 60,7899 Wall clock TIME (seconds) = 7.739 CPU/machine TIME (seconds) = 7.730 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 60,9 Wall clock TIME (seconds) = 6.821 CPU/machine TIME (seconds) = 6.810 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 60,774 Wall clock TIME (seconds) = 6.394 CPU/machine TIME (seconds) = 6.390 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 61,3455 Wall clock TIME (seconds) = 7.017 CPU/machine TIME (seconds) = 7.010 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 61,12 Wall clock TIME (seconds) = 6.354 CPU/machine TIME (seconds) = 6.340 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 61,45 Wall clock TIME (seconds) = 7.378 CPU/machine TIME (seconds) = 7.380 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 61,78 Wall clock TIME (seconds) = 7.420 CPU/machine TIME (seconds) = 7.420 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 61,8546 Wall clock TIME (seconds) = 6.977 CPU/machine TIME (seconds) = 6.970 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 61,474 Wall clock TIME (seconds) = 7.836 CPU/machine TIME (seconds) = 7.830 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 61,188 Wall clock TIME (seconds) = 6.332 CPU/machine TIME (seconds) = 6.330 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 61,7899 Wall clock TIME (seconds) = 0.289 CPU/machine TIME (seconds) = 0.290 Wall clock TIME (seconds) = 70.982 CPU/machine TIME (seconds) = 70.980 61,9 Wall clock TIME (seconds) = 7.164 CPU/machine TIME (seconds) = 7.160 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 61,774 Wall clock TIME (seconds) = 8.580 CPU/machine TIME (seconds) = 8.560 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 62,3455 Wall clock TIME (seconds) = 8.507 CPU/machine TIME (seconds) = 8.500 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 62,12 Wall clock TIME (seconds) = 6.706 CPU/machine TIME (seconds) = 6.700 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 62,45 Wall clock TIME (seconds) = 6.986 CPU/machine TIME (seconds) = 6.980 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 62,78 Wall clock TIME (seconds) = 7.045 CPU/machine TIME (seconds) = 7.030 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 62,8546 Wall clock TIME (seconds) = 7.185 CPU/machine TIME (seconds) = 7.180 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 62,474 Wall clock TIME (seconds) = 6.357 CPU/machine TIME (seconds) = 6.340 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 62,188 Wall clock TIME (seconds) = 6.448 CPU/machine TIME (seconds) = 6.440 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 62,7899 Wall clock TIME (seconds) = 6.563 CPU/machine TIME (seconds) = 6.560 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 62,9 Wall clock TIME (seconds) = 6.825 CPU/machine TIME (seconds) = 6.810 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 62,774 Wall clock TIME (seconds) = 6.832 CPU/machine TIME (seconds) = 6.820 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 63,3455 Wall clock TIME (seconds) = 0.894 CPU/machine TIME (seconds) = 0.890 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 63,12 Wall clock TIME (seconds) = 6.774 CPU/machine TIME (seconds) = 6.760 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 63,45 Wall clock TIME (seconds) = 8.847 CPU/machine TIME (seconds) = 8.830 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 63,78 Wall clock TIME (seconds) = 6.996 CPU/machine TIME (seconds) = 6.990 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 63,8546 Wall clock TIME (seconds) = 6.665 CPU/machine TIME (seconds) = 6.670 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 63,474 Wall clock TIME (seconds) = 8.604 CPU/machine TIME (seconds) = 8.590 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 63,188 Wall clock TIME (seconds) = 6.383 CPU/machine TIME (seconds) = 6.380 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 63,7899 Wall clock TIME (seconds) = 6.647 CPU/machine TIME (seconds) = 6.640 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 63,9 Wall clock TIME (seconds) = 6.671 CPU/machine TIME (seconds) = 6.670 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 63,774 Wall clock TIME (seconds) = 6.975 CPU/machine TIME (seconds) = 6.960 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 64,3455 Wall clock TIME (seconds) = 6.077 CPU/machine TIME (seconds) = 6.070 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 64,12 Wall clock TIME (seconds) = 8.231 CPU/machine TIME (seconds) = 8.230 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 64,45 Wall clock TIME (seconds) = 6.676 CPU/machine TIME (seconds) = 6.660 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 64,78 Wall clock TIME (seconds) = 6.885 CPU/machine TIME (seconds) = 6.880 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 64,8546 Wall clock TIME (seconds) = 6.875 CPU/machine TIME (seconds) = 6.870 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 64,474 Wall clock TIME (seconds) = 9.011 CPU/machine TIME (seconds) = 9.010 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 64,188 Wall clock TIME (seconds) = 7.209 CPU/machine TIME (seconds) = 7.190 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 64,7899 Wall clock TIME (seconds) = 6.753 CPU/machine TIME (seconds) = 6.740 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 64,9 Wall clock TIME (seconds) = 6.389 CPU/machine TIME (seconds) = 6.380 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 64,774 Wall clock TIME (seconds) = 6.244 CPU/machine TIME (seconds) = 6.240 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 65,3455 Wall clock TIME (seconds) = 6.978 CPU/machine TIME (seconds) = 6.970 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 65,12 Wall clock TIME (seconds) = 7.413 CPU/machine TIME (seconds) = 7.410 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 65,45 Wall clock TIME (seconds) = 6.729 CPU/machine TIME (seconds) = 6.730 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 65,78 Wall clock TIME (seconds) = 6.619 CPU/machine TIME (seconds) = 6.610 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 65,8546 Wall clock TIME (seconds) = 6.636 CPU/machine TIME (seconds) = 6.630 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 65,474 Wall clock TIME (seconds) = 7.213 CPU/machine TIME (seconds) = 7.210 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 65,188 Wall clock TIME (seconds) = 7.524 CPU/machine TIME (seconds) = 7.520 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 65,7899 Wall clock TIME (seconds) = 6.759 CPU/machine TIME (seconds) = 6.750 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 65,9 Wall clock TIME (seconds) = 7.022 CPU/machine TIME (seconds) = 7.020 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 65,774 Wall clock TIME (seconds) = 6.296 CPU/machine TIME (seconds) = 6.290 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 66,3455 Wall clock TIME (seconds) = 8.004 CPU/machine TIME (seconds) = 8.000 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 66,12 Wall clock TIME (seconds) = 5.996 CPU/machine TIME (seconds) = 5.990 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 66,45 Wall clock TIME (seconds) = 7.561 CPU/machine TIME (seconds) = 7.560 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 66,78 Wall clock TIME (seconds) = 8.132 CPU/machine TIME (seconds) = 8.130 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 66,8546 Wall clock TIME (seconds) = 8.411 CPU/machine TIME (seconds) = 8.410 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 66,474 Wall clock TIME (seconds) = 3.629 CPU/machine TIME (seconds) = 3.620 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 66,188 Wall clock TIME (seconds) = 6.390 CPU/machine TIME (seconds) = 6.390 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 66,7899 Wall clock TIME (seconds) = 3.091 CPU/machine TIME (seconds) = 3.080 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 66,9 Wall clock TIME (seconds) = 8.703 CPU/machine TIME (seconds) = 8.700 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 66,774 Wall clock TIME (seconds) = 6.367 CPU/machine TIME (seconds) = 6.360 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,3455 Wall clock TIME (seconds) = 6.749 CPU/machine TIME (seconds) = 6.740 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,12 Wall clock TIME (seconds) = 6.216 CPU/machine TIME (seconds) = 6.210 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,45 Wall clock TIME (seconds) = 6.999 CPU/machine TIME (seconds) = 6.990 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,78 Wall clock TIME (seconds) = 6.703 CPU/machine TIME (seconds) = 6.690 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,8546 Wall clock TIME (seconds) = 6.667 CPU/machine TIME (seconds) = 6.650 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,474 Wall clock TIME (seconds) = 6.267 CPU/machine TIME (seconds) = 6.250 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 67,188 Wall clock TIME (seconds) = 9.358 CPU/machine TIME (seconds) = 9.350 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 67,7899 Wall clock TIME (seconds) = 6.615 CPU/machine TIME (seconds) = 6.600 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,9 Wall clock TIME (seconds) = 7.789 CPU/machine TIME (seconds) = 7.780 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 67,774 Wall clock TIME (seconds) = 7.616 CPU/machine TIME (seconds) = 7.600 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 68,3455 Wall clock TIME (seconds) = 6.401 CPU/machine TIME (seconds) = 6.390 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 68,12 Wall clock TIME (seconds) = 7.140 CPU/machine TIME (seconds) = 7.140 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 68,45 Wall clock TIME (seconds) = 7.095 CPU/machine TIME (seconds) = 7.090 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 68,78 Wall clock TIME (seconds) = 7.111 CPU/machine TIME (seconds) = 7.110 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 68,8546 Wall clock TIME (seconds) = 8.366 CPU/machine TIME (seconds) = 8.360 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 68,474 Wall clock TIME (seconds) = 7.306 CPU/machine TIME (seconds) = 7.290 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 68,188 Wall clock TIME (seconds) = 7.034 CPU/machine TIME (seconds) = 7.020 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 68,7899 Wall clock TIME (seconds) = 7.082 CPU/machine TIME (seconds) = 7.070 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 68,9 Wall clock TIME (seconds) = 6.578 CPU/machine TIME (seconds) = 6.570 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 68,774 Wall clock TIME (seconds) = 8.285 CPU/machine TIME (seconds) = 8.290 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 69,3455 Wall clock TIME (seconds) = 7.009 CPU/machine TIME (seconds) = 7.000 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 69,12 Wall clock TIME (seconds) = 8.334 CPU/machine TIME (seconds) = 8.320 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 69,45 Wall clock TIME (seconds) = 4.388 CPU/machine TIME (seconds) = 4.380 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 69,78 Wall clock TIME (seconds) = 6.891 CPU/machine TIME (seconds) = 6.890 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 69,8546 Wall clock TIME (seconds) = 6.067 CPU/machine TIME (seconds) = 6.060 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 69,474 Wall clock TIME (seconds) = 7.209 CPU/machine TIME (seconds) = 7.210 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 69,188 Wall clock TIME (seconds) = 6.383 CPU/machine TIME (seconds) = 6.370 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 69,7899 Wall clock TIME (seconds) = 7.211 CPU/machine TIME (seconds) = 7.210 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 69,9 Wall clock TIME (seconds) = 1.318 CPU/machine TIME (seconds) = 1.310 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 69,774 Wall clock TIME (seconds) = 6.550 CPU/machine TIME (seconds) = 6.540 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 70,3455 Wall clock TIME (seconds) = 6.295 CPU/machine TIME (seconds) = 6.290 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 70,12 Wall clock TIME (seconds) = 6.603 CPU/machine TIME (seconds) = 6.600 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 70,45 Wall clock TIME (seconds) = 6.624 CPU/machine TIME (seconds) = 6.620 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 70,78 Wall clock TIME (seconds) = 6.865 CPU/machine TIME (seconds) = 6.860 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 70,8546 Wall clock TIME (seconds) = 8.512 CPU/machine TIME (seconds) = 8.500 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 70,474 Wall clock TIME (seconds) = 9.333 CPU/machine TIME (seconds) = 9.320 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 70,188 Wall clock TIME (seconds) = 6.887 CPU/machine TIME (seconds) = 6.880 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 70,7899 Wall clock TIME (seconds) = 6.645 CPU/machine TIME (seconds) = 6.640 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 70,9 Wall clock TIME (seconds) = 6.074 CPU/machine TIME (seconds) = 6.070 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 70,774 Wall clock TIME (seconds) = 6.853 CPU/machine TIME (seconds) = 6.850 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 71,3455 Wall clock TIME (seconds) = 6.043 CPU/machine TIME (seconds) = 6.040 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 71,12 Wall clock TIME (seconds) = 7.110 CPU/machine TIME (seconds) = 7.100 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 71,45 Wall clock TIME (seconds) = 7.246 CPU/machine TIME (seconds) = 7.240 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 71,78 Wall clock TIME (seconds) = 7.518 CPU/machine TIME (seconds) = 7.510 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 71,8546 Wall clock TIME (seconds) = 7.461 CPU/machine TIME (seconds) = 7.450 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 71,474 Wall clock TIME (seconds) = 6.073 CPU/machine TIME (seconds) = 6.060 Wall clock TIME (seconds) = 64.003 CPU/machine TIME (seconds) = 64.010 71,188 Wall clock TIME (seconds) = 7.698 CPU/machine TIME (seconds) = 7.700 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 71,7899 Wall clock TIME (seconds) = 6.358 CPU/machine TIME (seconds) = 6.350 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 71,9 Wall clock TIME (seconds) = 7.004 CPU/machine TIME (seconds) = 7.000 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 71,774 Wall clock TIME (seconds) = 5.839 CPU/machine TIME (seconds) = 5.830 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 72,3455 Wall clock TIME (seconds) = 8.278 CPU/machine TIME (seconds) = 8.270 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 72,12 Wall clock TIME (seconds) = 6.307 CPU/machine TIME (seconds) = 6.300 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 72,45 Wall clock TIME (seconds) = 7.157 CPU/machine TIME (seconds) = 7.150 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 72,78 Wall clock TIME (seconds) = 6.714 CPU/machine TIME (seconds) = 6.700 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 72,8546 Wall clock TIME (seconds) = 8.026 CPU/machine TIME (seconds) = 8.020 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 72,474 Wall clock TIME (seconds) = 6.923 CPU/machine TIME (seconds) = 6.910 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 72,188 Wall clock TIME (seconds) = 6.912 CPU/machine TIME (seconds) = 6.910 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 72,7899 Wall clock TIME (seconds) = 7.091 CPU/machine TIME (seconds) = 7.090 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 72,9 Wall clock TIME (seconds) = 6.460 CPU/machine TIME (seconds) = 6.460 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 72,774 Wall clock TIME (seconds) = 6.221 CPU/machine TIME (seconds) = 6.210 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 grid size = 12 max robots = 72 1,3455 Computed optimal makespan:4 total makespan = 4 1,12 Computed optimal makespan:7 total makespan = 7 1,45 Computed optimal makespan:14 total makespan = 14 1,78 Computed optimal makespan:9 total makespan = 9 1,8546 Computed optimal makespan:6 total makespan = 6 1,474 Computed optimal makespan:8 total makespan = 8 1,188 Computed optimal makespan:2 total makespan = 2 1,7899 Computed optimal makespan:12 total makespan = 12 1,9 Computed optimal makespan:14 total makespan = 14 1,774 Computed optimal makespan:5 total makespan = 5 2,3455 Computed optimal makespan:11 total makespan = 11 2,12 Computed optimal makespan:4 total makespan = 4 2,45 Computed optimal makespan:6 total makespan = 6 2,78 Computed optimal makespan:10 total makespan = 10 2,8546 Computed optimal makespan:21 total makespan = 21 2,474 Computed optimal makespan:13 total makespan = 13 2,188 Computed optimal makespan:8 total makespan = 8 2,7899 Computed optimal makespan:14 total makespan = 14 2,9 Computed optimal makespan:9 total makespan = 9 2,774 Computed optimal makespan:9 total makespan = 9 3,3455 Computed optimal makespan:11 total makespan = 11 3,12 Computed optimal makespan:12 total makespan = 12 3,45 Computed optimal makespan:11 total makespan = 11 3,78 Computed optimal makespan:10 total makespan = 10 3,8546 Computed optimal makespan:9 total makespan = 9 3,474 Computed optimal makespan:17 total makespan = 17 3,188 Computed optimal makespan:10 total makespan = 10 3,7899 Computed optimal makespan:14 total makespan = 14 3,9 Computed optimal makespan:5 total makespan = 5 3,774 Computed optimal makespan:13 total makespan = 13 4,3455 Computed optimal makespan:11 total makespan = 11 4,12 Computed optimal makespan:13 total makespan = 13 4,45 Computed optimal makespan:13 total makespan = 13 4,78 Computed optimal makespan:9 total makespan = 9 4,8546 Computed optimal makespan:17 total makespan = 17 4,474 Computed optimal makespan:16 total makespan = 16 4,188 Computed optimal makespan:10 total makespan = 10 4,7899 Computed optimal makespan:11 total makespan = 11 4,9 Computed optimal makespan:12 total makespan = 12 4,774 Computed optimal makespan:5 total makespan = 5 5,3455 Computed optimal makespan:15 total makespan = 15 5,12 Computed optimal makespan:16 total makespan = 16 5,45 Computed optimal makespan:10 total makespan = 10 5,78 Computed optimal makespan:14 total makespan = 14 5,8546 Computed optimal makespan:11 total makespan = 11 5,474 Computed optimal makespan:13 total makespan = 13 5,188 Computed optimal makespan:13 total makespan = 13 5,7899 Computed optimal makespan:9 total makespan = 9 5,9 Computed optimal makespan:20 total makespan = 20 5,774 Computed optimal makespan:10 total makespan = 10 6,3455 Computed optimal makespan:13 total makespan = 13 6,12 Computed optimal makespan:15 total makespan = 15 6,45 Computed optimal makespan:5 total makespan = 5 6,78 Computed optimal makespan:20 total makespan = 20 6,8546 Computed optimal makespan:21 total makespan = 21 6,474 Computed optimal makespan:9 total makespan = 9 6,188 Computed optimal makespan:19 total makespan = 19 6,7899 Computed optimal makespan:14 total makespan = 14 6,9 Computed optimal makespan:10 total makespan = 10 6,774 Computed optimal makespan:10 total makespan = 10 7,3455 Computed optimal makespan:13 total makespan = 13 7,12 Computed optimal makespan:14 total makespan = 14 7,45 Computed optimal makespan:13 total makespan = 13 7,78 Computed optimal makespan:13 total makespan = 13 7,8546 Computed optimal makespan:15 total makespan = 15 7,474 Computed optimal makespan:15 total makespan = 15 7,188 Computed optimal makespan:7 total makespan = 7 7,7899 Computed optimal makespan:14 total makespan = 14 7,9 Computed optimal makespan:13 total makespan = 13 7,774 Computed optimal makespan:10 total makespan = 10 8,3455 Computed optimal makespan:10 total makespan = 10 8,12 Computed optimal makespan:18 total makespan = 18 8,45 Computed optimal makespan:14 total makespan = 14 8,78 Computed optimal makespan:14 total makespan = 14 8,8546 Computed optimal makespan:11 total makespan = 11 8,474 Computed optimal makespan:10 total makespan = 10 8,188 Computed optimal makespan:14 total makespan = 14 8,7899 Computed optimal makespan:11 total makespan = 11 8,9 Computed optimal makespan:16 total makespan = 16 8,774 Computed optimal makespan:16 total makespan = 16 9,3455 Computed optimal makespan:10 total makespan = 10 9,12 Computed optimal makespan:13 total makespan = 13 9,45 Computed optimal makespan:14 total makespan = 14 9,78 Computed optimal makespan:14 total makespan = 14 9,8546 Computed optimal makespan:15 total makespan = 15 9,474 Computed optimal makespan:11 total makespan = 11 9,188 Computed optimal makespan:16 total makespan = 16 9,7899 Computed optimal makespan:14 total makespan = 14 9,9 Computed optimal makespan:13 total makespan = 13 9,774 Computed optimal makespan:15 total makespan = 15 10,3455 Computed optimal makespan:12 total makespan = 12 10,12 Computed optimal makespan:15 total makespan = 15 10,45 Computed optimal makespan:11 total makespan = 11 10,78 Computed optimal makespan:17 total makespan = 17 10,8546 Computed optimal makespan:18 total makespan = 18 10,474 Computed optimal makespan:16 total makespan = 16 10,188 Computed optimal makespan:18 total makespan = 18 10,7899 Computed optimal makespan:16 total makespan = 16 10,9 Computed optimal makespan:16 total makespan = 16 10,774 Computed optimal makespan:17 total makespan = 17 11,3455 Computed optimal makespan:14 total makespan = 14 11,12 Computed optimal makespan:14 total makespan = 14 11,45 Computed optimal makespan:13 total makespan = 13 11,78 total makespan = 0 11,8546 Computed optimal makespan:15 total makespan = 15 11,474 Computed optimal makespan:13 total makespan = 13 11,188 Computed optimal makespan:14 total makespan = 14 11,7899 Computed optimal makespan:13 total makespan = 13 11,9 Computed optimal makespan:13 total makespan = 13 11,774 Computed optimal makespan:14 total makespan = 14 12,3455 Computed optimal makespan:13 total makespan = 13 12,12 Computed optimal makespan:11 total makespan = 11 12,45 Computed optimal makespan:21 total makespan = 21 12,78 Computed optimal makespan:12 total makespan = 12 12,8546 Computed optimal makespan:15 total makespan = 15 12,474 total makespan = 0 12,188 Computed optimal makespan:15 total makespan = 15 12,7899 Computed optimal makespan:14 total makespan = 14 12,9 Computed optimal makespan:18 total makespan = 18 12,774 Computed optimal makespan:15 total makespan = 15 13,3455 Computed optimal makespan:17 total makespan = 17 13,12 Computed optimal makespan:18 total makespan = 18 13,45 Computed optimal makespan:14 total makespan = 14 13,78 total makespan = 0 13,8546 Computed optimal makespan:16 total makespan = 16 13,474 Computed optimal makespan:14 total makespan = 14 13,188 Computed optimal makespan:14 total makespan = 14 13,7899 total makespan = 0 13,9 Computed optimal makespan:14 total makespan = 14 13,774 Computed optimal makespan:12 total makespan = 12 14,3455 total makespan = 0 14,12 Computed optimal makespan:16 total makespan = 16 14,45 Computed optimal makespan:16 total makespan = 16 14,78 Computed optimal makespan:19 total makespan = 19 14,8546 total makespan = 0 14,474 Computed optimal makespan:12 total makespan = 12 14,188 Computed optimal makespan:15 total makespan = 15 14,7899 Computed optimal makespan:14 total makespan = 14 14,9 Computed optimal makespan:13 total makespan = 13 14,774 Computed optimal makespan:14 total makespan = 14 15,3455 Computed optimal makespan:13 total makespan = 13 15,12 Computed optimal makespan:13 total makespan = 13 15,45 Computed optimal makespan:16 total makespan = 16 15,78 total makespan = 0 15,8546 Computed optimal makespan:15 total makespan = 15 15,474 total makespan = 0 15,188 Computed optimal makespan:19 total makespan = 19 15,7899 Computed optimal makespan:13 total makespan = 13 15,9 Computed optimal makespan:14 total makespan = 14 15,774 Computed optimal makespan:17 total makespan = 17 16,3455 Computed optimal makespan:20 total makespan = 20 16,12 Computed optimal makespan:13 total makespan = 13 16,45 Computed optimal makespan:21 total makespan = 21 16,78 Computed optimal makespan:14 total makespan = 14 16,8546 total makespan = 0 16,474 total makespan = 0 16,188 Computed optimal makespan:12 total makespan = 12 16,7899 total makespan = 0 16,9 total makespan = 0 16,774 Computed optimal makespan:16 total makespan = 16 17,3455 Computed optimal makespan:12 total makespan = 12 17,12 Computed optimal makespan:14 total makespan = 14 17,45 Computed optimal makespan:15 total makespan = 15 17,78 total makespan = 0 17,8546 total makespan = 0 17,474 Computed optimal makespan:18 total makespan = 18 17,188 Computed optimal makespan:11 total makespan = 11 17,7899 total makespan = 0 17,9 Computed optimal makespan:19 total makespan = 19 17,774 Computed optimal makespan:15 total makespan = 15 18,3455 Computed optimal makespan:17 total makespan = 17 18,12 Computed optimal makespan:16 total makespan = 16 18,45 total makespan = 0 18,78 Computed optimal makespan:11 total makespan = 11 18,8546 Computed optimal makespan:14 total makespan = 14 18,474 Computed optimal makespan:17 total makespan = 17 18,188 Computed optimal makespan:15 total makespan = 15 18,7899 total makespan = 0 18,9 Computed optimal makespan:15 total makespan = 15 18,774 Computed optimal makespan:13 total makespan = 13 19,3455 total makespan = 0 19,12 Computed optimal makespan:13 total makespan = 13 19,45 Computed optimal makespan:19 total makespan = 19 19,78 total makespan = 0 19,8546 total makespan = 0 19,474 total makespan = 0 19,188 Computed optimal makespan:12 total makespan = 12 19,7899 Computed optimal makespan:19 total makespan = 19 19,9 total makespan = 0 19,774 Computed optimal makespan:20 total makespan = 20 20,3455 Computed optimal makespan:15 total makespan = 15 20,12 total makespan = 0 20,45 Computed optimal makespan:19 total makespan = 19 20,78 total makespan = 0 20,8546 Computed optimal makespan:16 total makespan = 16 20,474 total makespan = 0 20,188 Computed optimal makespan:16 total makespan = 16 20,7899 Computed optimal makespan:16 total makespan = 16 20,9 Computed optimal makespan:20 total makespan = 20 20,774 Computed optimal makespan:21 total makespan = 21 21,3455 Computed optimal makespan:19 total makespan = 19 21,12 total makespan = 0 21,45 total makespan = 0 21,78 Computed optimal makespan:15 total makespan = 15 21,8546 Computed optimal makespan:18 total makespan = 18 21,474 Computed optimal makespan:16 total makespan = 16 21,188 total makespan = 0 21,7899 total makespan = 0 21,9 Computed optimal makespan:19 total makespan = 19 21,774 Computed optimal makespan:15 total makespan = 15 22,3455 Computed optimal makespan:18 total makespan = 18 22,12 total makespan = 0 22,45 Computed optimal makespan:19 total makespan = 19 22,78 Computed optimal makespan:20 total makespan = 20 22,8546 total makespan = 0 22,474 Computed optimal makespan:19 total makespan = 19 22,188 Computed optimal makespan:17 total makespan = 17 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 Computed optimal makespan:15 total makespan = 15 23,78 total makespan = 0 23,8546 total makespan = 0 23,474 total makespan = 0 23,188 Computed optimal makespan:20 total makespan = 20 23,7899 Computed optimal makespan:16 total makespan = 16 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 Computed optimal makespan:18 total makespan = 18 24,188 Computed optimal makespan:17 total makespan = 17 24,7899 Computed optimal makespan:17 total makespan = 17 24,9 total makespan = 0 24,774 Computed optimal makespan:17 total makespan = 17 25,3455 total makespan = 0 25,12 total makespan = 0 25,45 total makespan = 0 25,78 total makespan = 0 25,8546 Computed optimal makespan:18 total makespan = 18 25,474 total makespan = 0 25,188 Computed optimal makespan:15 total makespan = 15 25,7899 total makespan = 0 25,9 Computed optimal makespan:19 total makespan = 19 25,774 total makespan = 0 26,3455 total makespan = 0 26,12 Computed optimal makespan:16 total makespan = 16 26,45 Computed optimal makespan:19 total makespan = 19 26,78 total makespan = 0 26,8546 total makespan = 0 26,474 Computed optimal makespan:19 total makespan = 19 26,188 Computed optimal makespan:13 total makespan = 13 26,7899 total makespan = 0 26,9 Computed optimal makespan:17 total makespan = 17 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 Computed optimal makespan:19 total makespan = 19 28,8546 Computed optimal makespan:20 total makespan = 20 28,474 total makespan = 0 28,188 Computed optimal makespan:20 total makespan = 20 28,7899 total makespan = 0 28,9 total makespan = 0 28,774 Computed optimal makespan:18 total makespan = 18 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 Computed optimal makespan:16 total makespan = 16 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