grid size = 10 max robots = 50 1,3455 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 1,12 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,45 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,78 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,8546 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,474 Wall clock TIME (seconds) = 0.050 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,188 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,7899 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,9 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 1,774 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 2,3455 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 2,12 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 0.180 CPU/machine TIME (seconds) = 0.170 2,45 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.102 CPU/machine TIME (seconds) = 0.090 2,78 Wall clock TIME (seconds) = 0.262 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 2,8546 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 2,474 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 2,188 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 2,7899 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 2,9 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 2,774 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 3,3455 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 3,12 Wall clock TIME (seconds) = 0.043 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 0.255 CPU/machine TIME (seconds) = 0.240 3,45 Wall clock TIME (seconds) = 0.104 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 3,78 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 3,8546 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 3,474 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 3,188 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 3,7899 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 3,9 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 3,774 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 4,3455 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 1.687 CPU/machine TIME (seconds) = 1.680 4,12 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.101 CPU/machine TIME (seconds) = 0.100 4,45 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.354 CPU/machine TIME (seconds) = 0.340 4,78 Wall clock TIME (seconds) = 0.295 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 4,8546 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 4,474 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 4,188 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 0.254 CPU/machine TIME (seconds) = 0.250 4,7899 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 4,9 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 4,774 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 5,3455 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 5,12 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.030 Wall clock TIME (seconds) = 0.284 CPU/machine TIME (seconds) = 0.270 5,45 Wall clock TIME (seconds) = 0.079 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.050 5,78 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 5,8546 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 5,474 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 5,188 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 5,7899 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 5,9 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 5,774 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.260 CPU/machine TIME (seconds) = 0.250 6,3455 Wall clock TIME (seconds) = 0.059 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.341 CPU/machine TIME (seconds) = 0.330 6,12 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 6,45 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 6,78 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 6,8546 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 6,474 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 6,188 Wall clock TIME (seconds) = 10.107 CPU/machine TIME (seconds) = 10.110 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 6,7899 Wall clock TIME (seconds) = 0.073 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 6,9 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 6,774 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.262 CPU/machine TIME (seconds) = 0.250 7,3455 Wall clock TIME (seconds) = 0.223 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 7,12 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 9.471 CPU/machine TIME (seconds) = 9.420 7,45 Wall clock TIME (seconds) = 0.204 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 7,78 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 7,8546 Wall clock TIME (seconds) = 8.346 CPU/machine TIME (seconds) = 8.340 Wall clock TIME (seconds) = 64.050 CPU/machine TIME (seconds) = 64.010 7,474 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 1.530 CPU/machine TIME (seconds) = 1.530 7,188 Wall clock TIME (seconds) = 0.150 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 4.562 CPU/machine TIME (seconds) = 4.560 7,7899 Wall clock TIME (seconds) = 10.056 CPU/machine TIME (seconds) = 9.980 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 7,9 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 7,774 Wall clock TIME (seconds) = 0.443 CPU/machine TIME (seconds) = 0.430 Wall clock TIME (seconds) = 67.871 CPU/machine TIME (seconds) = 67.820 8,3455 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.050 Wall clock TIME (seconds) = 2.904 CPU/machine TIME (seconds) = 2.900 8,12 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.048 CPU/machine TIME (seconds) = 0.040 8,45 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 8,78 Wall clock TIME (seconds) = 4.358 CPU/machine TIME (seconds) = 4.360 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 8,8546 Wall clock TIME (seconds) = 11.723 CPU/machine TIME (seconds) = 11.690 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 8,474 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.020 8,188 Wall clock TIME (seconds) = 9.568 CPU/machine TIME (seconds) = 9.550 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 8,7899 Wall clock TIME (seconds) = 10.367 CPU/machine TIME (seconds) = 10.350 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 8,9 Wall clock TIME (seconds) = 5.298 CPU/machine TIME (seconds) = 5.290 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 8,774 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.534 CPU/machine TIME (seconds) = 0.530 9,3455 Wall clock TIME (seconds) = 3.013 CPU/machine TIME (seconds) = 2.990 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 9,12 Wall clock TIME (seconds) = 9.229 CPU/machine TIME (seconds) = 9.220 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 9,45 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 9,78 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 9,8546 Wall clock TIME (seconds) = 9.444 CPU/machine TIME (seconds) = 9.420 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 9,474 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.037 CPU/machine TIME (seconds) = 0.040 9,188 Wall clock TIME (seconds) = 9.430 CPU/machine TIME (seconds) = 9.420 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 9,7899 Wall clock TIME (seconds) = 1.535 CPU/machine TIME (seconds) = 1.530 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 9,9 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.020 9,774 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.291 CPU/machine TIME (seconds) = 0.280 10,3455 Wall clock TIME (seconds) = 9.053 CPU/machine TIME (seconds) = 9.040 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 10,12 Wall clock TIME (seconds) = 10.778 CPU/machine TIME (seconds) = 10.770 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 10,45 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 10,78 Wall clock TIME (seconds) = 2.256 CPU/machine TIME (seconds) = 2.230 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 10,8546 Wall clock TIME (seconds) = 1.022 CPU/machine TIME (seconds) = 1.020 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 10,474 Wall clock TIME (seconds) = 8.739 CPU/machine TIME (seconds) = 8.740 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 10,188 Wall clock TIME (seconds) = 7.331 CPU/machine TIME (seconds) = 7.330 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 10,7899 Wall clock TIME (seconds) = 0.858 CPU/machine TIME (seconds) = 0.850 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 10,9 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 10,774 Wall clock TIME (seconds) = 10.080 CPU/machine TIME (seconds) = 10.070 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 11,3455 Wall clock TIME (seconds) = 10.024 CPU/machine TIME (seconds) = 10.020 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 11,12 Wall clock TIME (seconds) = 10.406 CPU/machine TIME (seconds) = 10.400 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 11,45 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 11,78 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.271 CPU/machine TIME (seconds) = 0.270 11,8546 Wall clock TIME (seconds) = 10.149 CPU/machine TIME (seconds) = 10.140 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 11,474 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.174 CPU/machine TIME (seconds) = 0.170 11,188 Wall clock TIME (seconds) = 5.535 CPU/machine TIME (seconds) = 5.520 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 11,7899 Wall clock TIME (seconds) = 10.415 CPU/machine TIME (seconds) = 10.410 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 11,9 Wall clock TIME (seconds) = 7.009 CPU/machine TIME (seconds) = 7.000 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 11,774 Wall clock TIME (seconds) = 11.607 CPU/machine TIME (seconds) = 11.600 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 12,3455 Wall clock TIME (seconds) = 3.357 CPU/machine TIME (seconds) = 3.330 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 12,12 Wall clock TIME (seconds) = 2.465 CPU/machine TIME (seconds) = 2.460 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 12,45 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 12,78 Wall clock TIME (seconds) = 9.726 CPU/machine TIME (seconds) = 9.720 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 12,8546 Wall clock TIME (seconds) = 11.122 CPU/machine TIME (seconds) = 11.100 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 12,474 Wall clock TIME (seconds) = 9.712 CPU/machine TIME (seconds) = 9.700 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 12,188 Wall clock TIME (seconds) = 9.779 CPU/machine TIME (seconds) = 9.770 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 12,7899 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.040 CPU/machine TIME (seconds) = 0.030 12,9 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.348 CPU/machine TIME (seconds) = 0.340 12,774 Wall clock TIME (seconds) = 0.199 CPU/machine TIME (seconds) = 0.190 Wall clock TIME (seconds) = 71.056 CPU/machine TIME (seconds) = 71.050 13,3455 Wall clock TIME (seconds) = 4.108 CPU/machine TIME (seconds) = 4.100 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 13,12 Wall clock TIME (seconds) = 9.119 CPU/machine TIME (seconds) = 9.110 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 13,45 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 13,78 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 1.128 CPU/machine TIME (seconds) = 1.120 13,8546 Wall clock TIME (seconds) = 9.356 CPU/machine TIME (seconds) = 9.330 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 13,474 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 13,188 Wall clock TIME (seconds) = 3.005 CPU/machine TIME (seconds) = 3.000 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 13,7899 Wall clock TIME (seconds) = 7.065 CPU/machine TIME (seconds) = 7.050 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 13,9 Wall clock TIME (seconds) = 9.118 CPU/machine TIME (seconds) = 9.110 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 13,774 Wall clock TIME (seconds) = 9.958 CPU/machine TIME (seconds) = 9.950 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 14,3455 Wall clock TIME (seconds) = 11.402 CPU/machine TIME (seconds) = 11.400 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 14,12 Wall clock TIME (seconds) = 10.527 CPU/machine TIME (seconds) = 10.530 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 14,45 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 14,78 Wall clock TIME (seconds) = 9.405 CPU/machine TIME (seconds) = 9.400 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 14,8546 Wall clock TIME (seconds) = 11.409 CPU/machine TIME (seconds) = 11.400 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 14,474 Wall clock TIME (seconds) = 9.124 CPU/machine TIME (seconds) = 9.120 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 14,188 Wall clock TIME (seconds) = 9.549 CPU/machine TIME (seconds) = 9.540 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 14,7899 Wall clock TIME (seconds) = 7.160 CPU/machine TIME (seconds) = 7.160 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 14,9 Wall clock TIME (seconds) = 7.462 CPU/machine TIME (seconds) = 7.450 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 14,774 Wall clock TIME (seconds) = 8.652 CPU/machine TIME (seconds) = 8.530 Wall clock TIME (seconds) = 65.103 CPU/machine TIME (seconds) = 64.010 15,3455 Wall clock TIME (seconds) = 9.137 CPU/machine TIME (seconds) = 7.860 Wall clock TIME (seconds) = 66.938 CPU/machine TIME (seconds) = 64.010 15,12 Wall clock TIME (seconds) = 8.725 CPU/machine TIME (seconds) = 8.220 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 15,45 Wall clock TIME (seconds) = 0.181 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 15,78 Wall clock TIME (seconds) = 10.251 CPU/machine TIME (seconds) = 9.420 Wall clock TIME (seconds) = 66.491 CPU/machine TIME (seconds) = 64.010 15,8546 Wall clock TIME (seconds) = 9.288 CPU/machine TIME (seconds) = 9.140 Wall clock TIME (seconds) = 64.583 CPU/machine TIME (seconds) = 64.010 15,474 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.000 15,188 Wall clock TIME (seconds) = 4.488 CPU/machine TIME (seconds) = 4.480 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 15,7899 Wall clock TIME (seconds) = 2.841 CPU/machine TIME (seconds) = 2.780 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 15,9 Wall clock TIME (seconds) = 9.534 CPU/machine TIME (seconds) = 9.160 Wall clock TIME (seconds) = 64.807 CPU/machine TIME (seconds) = 64.010 15,774 Wall clock TIME (seconds) = 2.304 CPU/machine TIME (seconds) = 2.240 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 16,3455 Wall clock TIME (seconds) = 10.509 CPU/machine TIME (seconds) = 8.730 Wall clock TIME (seconds) = 66.622 CPU/machine TIME (seconds) = 64.010 16,12 Wall clock TIME (seconds) = 11.020 CPU/machine TIME (seconds) = 10.070 Wall clock TIME (seconds) = 65.315 CPU/machine TIME (seconds) = 64.010 16,45 Wall clock TIME (seconds) = 0.145 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 16,78 Wall clock TIME (seconds) = 10.965 CPU/machine TIME (seconds) = 10.510 Wall clock TIME (seconds) = 65.422 CPU/machine TIME (seconds) = 64.010 16,8546 Wall clock TIME (seconds) = 11.295 CPU/machine TIME (seconds) = 10.960 Wall clock TIME (seconds) = 64.095 CPU/machine TIME (seconds) = 64.010 16,474 Wall clock TIME (seconds) = 10.728 CPU/machine TIME (seconds) = 9.480 Wall clock TIME (seconds) = 65.845 CPU/machine TIME (seconds) = 64.010 16,188 Wall clock TIME (seconds) = 9.111 CPU/machine TIME (seconds) = 8.770 Wall clock TIME (seconds) = 65.684 CPU/machine TIME (seconds) = 64.010 16,7899 Wall clock TIME (seconds) = 2.361 CPU/machine TIME (seconds) = 2.350 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 16,9 Wall clock TIME (seconds) = 8.814 CPU/machine TIME (seconds) = 8.400 Wall clock TIME (seconds) = 64.052 CPU/machine TIME (seconds) = 64.010 16,774 Wall clock TIME (seconds) = 7.590 CPU/machine TIME (seconds) = 7.550 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 17,3455 Wall clock TIME (seconds) = 9.725 CPU/machine TIME (seconds) = 9.650 Wall clock TIME (seconds) = 65.256 CPU/machine TIME (seconds) = 64.010 17,12 Wall clock TIME (seconds) = 10.442 CPU/machine TIME (seconds) = 10.320 Wall clock TIME (seconds) = 65.394 CPU/machine TIME (seconds) = 64.010 17,45 Wall clock TIME (seconds) = 0.036 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 17,78 Wall clock TIME (seconds) = 7.951 CPU/machine TIME (seconds) = 7.950 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 17,8546 Wall clock TIME (seconds) = 9.105 CPU/machine TIME (seconds) = 8.790 Wall clock TIME (seconds) = 65.140 CPU/machine TIME (seconds) = 64.010 17,474 Wall clock TIME (seconds) = 11.603 CPU/machine TIME (seconds) = 11.190 Wall clock TIME (seconds) = 64.648 CPU/machine TIME (seconds) = 64.010 17,188 Wall clock TIME (seconds) = 7.355 CPU/machine TIME (seconds) = 7.330 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 17,7899 Wall clock TIME (seconds) = 11.573 CPU/machine TIME (seconds) = 11.080 Wall clock TIME (seconds) = 64.083 CPU/machine TIME (seconds) = 64.010 17,9 Wall clock TIME (seconds) = 0.154 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 17,774 Wall clock TIME (seconds) = 11.855 CPU/machine TIME (seconds) = 11.150 Wall clock TIME (seconds) = 64.755 CPU/machine TIME (seconds) = 64.010 18,3455 Wall clock TIME (seconds) = 10.685 CPU/machine TIME (seconds) = 10.530 Wall clock TIME (seconds) = 64.061 CPU/machine TIME (seconds) = 64.010 18,12 Wall clock TIME (seconds) = 10.627 CPU/machine TIME (seconds) = 10.600 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 18,45 Wall clock TIME (seconds) = 0.026 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 18,78 Wall clock TIME (seconds) = 8.976 CPU/machine TIME (seconds) = 8.970 Wall clock TIME (seconds) = 64.094 CPU/machine TIME (seconds) = 64.010 18,8546 Wall clock TIME (seconds) = 2.830 CPU/machine TIME (seconds) = 2.790 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 18,474 Wall clock TIME (seconds) = 9.704 CPU/machine TIME (seconds) = 9.590 Wall clock TIME (seconds) = 65.330 CPU/machine TIME (seconds) = 64.010 18,188 Wall clock TIME (seconds) = 0.487 CPU/machine TIME (seconds) = 0.420 Wall clock TIME (seconds) = 69.297 CPU/machine TIME (seconds) = 68.920 18,7899 Wall clock TIME (seconds) = 7.651 CPU/machine TIME (seconds) = 7.640 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 18,9 Wall clock TIME (seconds) = 9.626 CPU/machine TIME (seconds) = 9.470 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 18,774 Wall clock TIME (seconds) = 8.777 CPU/machine TIME (seconds) = 8.750 Wall clock TIME (seconds) = 64.247 CPU/machine TIME (seconds) = 64.010 19,3455 Wall clock TIME (seconds) = 10.983 CPU/machine TIME (seconds) = 10.690 Wall clock TIME (seconds) = 66.372 CPU/machine TIME (seconds) = 64.010 19,12 Wall clock TIME (seconds) = 7.379 CPU/machine TIME (seconds) = 6.760 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 19,45 Wall clock TIME (seconds) = 0.127 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 19,78 Wall clock TIME (seconds) = 4.659 CPU/machine TIME (seconds) = 4.640 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 19,8546 Wall clock TIME (seconds) = 9.364 CPU/machine TIME (seconds) = 9.240 Wall clock TIME (seconds) = 65.842 CPU/machine TIME (seconds) = 64.010 19,474 Wall clock TIME (seconds) = 11.493 CPU/machine TIME (seconds) = 11.250 Wall clock TIME (seconds) = 65.376 CPU/machine TIME (seconds) = 64.010 19,188 Wall clock TIME (seconds) = 5.388 CPU/machine TIME (seconds) = 5.370 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 19,7899 Wall clock TIME (seconds) = 5.255 CPU/machine TIME (seconds) = 5.230 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 19,9 Wall clock TIME (seconds) = 11.058 CPU/machine TIME (seconds) = 10.900 Wall clock TIME (seconds) = 68.552 CPU/machine TIME (seconds) = 64.010 19,774 Wall clock TIME (seconds) = 11.064 CPU/machine TIME (seconds) = 10.970 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 20,3455 Wall clock TIME (seconds) = 1.895 CPU/machine TIME (seconds) = 1.760 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 20,12 Wall clock TIME (seconds) = 4.791 CPU/machine TIME (seconds) = 4.720 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 20,45 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 20,78 Wall clock TIME (seconds) = 9.107 CPU/machine TIME (seconds) = 8.660 Wall clock TIME (seconds) = 64.814 CPU/machine TIME (seconds) = 64.010 20,8546 Wall clock TIME (seconds) = 9.789 CPU/machine TIME (seconds) = 9.440 Wall clock TIME (seconds) = 65.261 CPU/machine TIME (seconds) = 64.010 20,474 Wall clock TIME (seconds) = 11.448 CPU/machine TIME (seconds) = 11.140 Wall clock TIME (seconds) = 65.054 CPU/machine TIME (seconds) = 64.010 20,188 Wall clock TIME (seconds) = 10.667 CPU/machine TIME (seconds) = 10.640 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 20,7899 Wall clock TIME (seconds) = 6.703 CPU/machine TIME (seconds) = 6.580 Wall clock TIME (seconds) = 64.081 CPU/machine TIME (seconds) = 64.010 20,9 Wall clock TIME (seconds) = 0.186 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 20,774 Wall clock TIME (seconds) = 0.386 CPU/machine TIME (seconds) = 0.380 Wall clock TIME (seconds) = 69.405 CPU/machine TIME (seconds) = 69.390 21,3455 Wall clock TIME (seconds) = 8.391 CPU/machine TIME (seconds) = 8.260 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 21,12 Wall clock TIME (seconds) = 8.782 CPU/machine TIME (seconds) = 8.750 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 21,45 Wall clock TIME (seconds) = 0.086 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 21,78 Wall clock TIME (seconds) = 9.595 CPU/machine TIME (seconds) = 9.010 Wall clock TIME (seconds) = 65.732 CPU/machine TIME (seconds) = 64.010 21,8546 Wall clock TIME (seconds) = 9.076 CPU/machine TIME (seconds) = 8.930 Wall clock TIME (seconds) = 64.475 CPU/machine TIME (seconds) = 64.010 21,474 Wall clock TIME (seconds) = 0.336 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.020 21,188 Wall clock TIME (seconds) = 9.079 CPU/machine TIME (seconds) = 8.780 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 21,7899 Wall clock TIME (seconds) = 9.091 CPU/machine TIME (seconds) = 8.990 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 21,9 Wall clock TIME (seconds) = 10.601 CPU/machine TIME (seconds) = 10.010 Wall clock TIME (seconds) = 64.259 CPU/machine TIME (seconds) = 64.010 21,774 Wall clock TIME (seconds) = 11.795 CPU/machine TIME (seconds) = 11.200 Wall clock TIME (seconds) = 65.357 CPU/machine TIME (seconds) = 64.010 22,3455 Wall clock TIME (seconds) = 7.377 CPU/machine TIME (seconds) = 7.180 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 22,12 Wall clock TIME (seconds) = 8.982 CPU/machine TIME (seconds) = 8.950 Wall clock TIME (seconds) = 64.055 CPU/machine TIME (seconds) = 64.010 22,45 Wall clock TIME (seconds) = 0.117 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 22,78 Wall clock TIME (seconds) = 9.618 CPU/machine TIME (seconds) = 9.610 Wall clock TIME (seconds) = 64.102 CPU/machine TIME (seconds) = 64.010 22,8546 Wall clock TIME (seconds) = 2.444 CPU/machine TIME (seconds) = 2.340 Wall clock TIME (seconds) = 64.044 CPU/machine TIME (seconds) = 64.010 22,474 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.031 CPU/machine TIME (seconds) = 0.030 22,188 Wall clock TIME (seconds) = 7.278 CPU/machine TIME (seconds) = 7.280 Wall clock TIME (seconds) = 64.359 CPU/machine TIME (seconds) = 64.010 22,7899 Wall clock TIME (seconds) = 9.919 CPU/machine TIME (seconds) = 9.380 Wall clock TIME (seconds) = 67.396 CPU/machine TIME (seconds) = 64.010 22,9 Wall clock TIME (seconds) = 0.062 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 22,774 Wall clock TIME (seconds) = 9.091 CPU/machine TIME (seconds) = 9.090 Wall clock TIME (seconds) = 65.492 CPU/machine TIME (seconds) = 64.010 23,3455 Wall clock TIME (seconds) = 9.019 CPU/machine TIME (seconds) = 8.890 Wall clock TIME (seconds) = 66.016 CPU/machine TIME (seconds) = 64.010 23,12 Wall clock TIME (seconds) = 8.186 CPU/machine TIME (seconds) = 8.100 Wall clock TIME (seconds) = 64.422 CPU/machine TIME (seconds) = 64.010 23,45 Wall clock TIME (seconds) = 0.098 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 23,78 Wall clock TIME (seconds) = 2.455 CPU/machine TIME (seconds) = 2.450 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 23,8546 Wall clock TIME (seconds) = 5.740 CPU/machine TIME (seconds) = 5.710 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 23,474 Wall clock TIME (seconds) = 5.479 CPU/machine TIME (seconds) = 5.410 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 23,188 Wall clock TIME (seconds) = 10.335 CPU/machine TIME (seconds) = 10.280 Wall clock TIME (seconds) = 64.325 CPU/machine TIME (seconds) = 64.010 23,7899 Wall clock TIME (seconds) = 9.885 CPU/machine TIME (seconds) = 9.840 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 23,9 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 23,774 Wall clock TIME (seconds) = 9.472 CPU/machine TIME (seconds) = 9.470 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 24,3455 Wall clock TIME (seconds) = 9.796 CPU/machine TIME (seconds) = 9.750 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 24,12 Wall clock TIME (seconds) = 10.100 CPU/machine TIME (seconds) = 10.030 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 24,45 Wall clock TIME (seconds) = 0.189 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 24,78 Wall clock TIME (seconds) = 10.238 CPU/machine TIME (seconds) = 10.240 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 24,8546 Wall clock TIME (seconds) = 6.874 CPU/machine TIME (seconds) = 6.850 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 24,474 Wall clock TIME (seconds) = 0.094 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 24,188 Wall clock TIME (seconds) = 7.555 CPU/machine TIME (seconds) = 7.550 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 24,7899 Wall clock TIME (seconds) = 9.136 CPU/machine TIME (seconds) = 9.110 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 24,9 Wall clock TIME (seconds) = 9.761 CPU/machine TIME (seconds) = 9.640 Wall clock TIME (seconds) = 65.419 CPU/machine TIME (seconds) = 64.010 24,774 Wall clock TIME (seconds) = 9.316 CPU/machine TIME (seconds) = 9.270 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 25,3455 Wall clock TIME (seconds) = 9.742 CPU/machine TIME (seconds) = 9.580 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 25,12 Wall clock TIME (seconds) = 9.938 CPU/machine TIME (seconds) = 9.860 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 25,45 Wall clock TIME (seconds) = 0.030 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.010 25,78 Wall clock TIME (seconds) = 10.433 CPU/machine TIME (seconds) = 10.370 Wall clock TIME (seconds) = 64.329 CPU/machine TIME (seconds) = 64.010 25,8546 Wall clock TIME (seconds) = 2.940 CPU/machine TIME (seconds) = 2.920 Wall clock TIME (seconds) = 64.091 CPU/machine TIME (seconds) = 64.010 25,474 Wall clock TIME (seconds) = 11.649 CPU/machine TIME (seconds) = 11.390 Wall clock TIME (seconds) = 64.385 CPU/machine TIME (seconds) = 64.010 25,188 Wall clock TIME (seconds) = 8.220 CPU/machine TIME (seconds) = 8.090 Wall clock TIME (seconds) = 64.075 CPU/machine TIME (seconds) = 64.010 25,7899 Wall clock TIME (seconds) = 9.927 CPU/machine TIME (seconds) = 9.790 Wall clock TIME (seconds) = 64.292 CPU/machine TIME (seconds) = 64.010 25,9 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 25,774 Wall clock TIME (seconds) = 0.374 CPU/machine TIME (seconds) = 0.380 Wall clock TIME (seconds) = 66.576 CPU/machine TIME (seconds) = 66.480 26,3455 Wall clock TIME (seconds) = 8.711 CPU/machine TIME (seconds) = 8.650 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 26,12 Wall clock TIME (seconds) = 1.668 CPU/machine TIME (seconds) = 1.600 Wall clock TIME (seconds) = 64.092 CPU/machine TIME (seconds) = 64.010 26,45 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 26,78 Wall clock TIME (seconds) = 9.202 CPU/machine TIME (seconds) = 9.110 Wall clock TIME (seconds) = 64.178 CPU/machine TIME (seconds) = 64.010 26,8546 Wall clock TIME (seconds) = 10.473 CPU/machine TIME (seconds) = 9.920 Wall clock TIME (seconds) = 64.267 CPU/machine TIME (seconds) = 64.010 26,474 Wall clock TIME (seconds) = 0.392 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 26,188 Wall clock TIME (seconds) = 8.040 CPU/machine TIME (seconds) = 8.030 Wall clock TIME (seconds) = 64.057 CPU/machine TIME (seconds) = 64.010 26,7899 Wall clock TIME (seconds) = 6.177 CPU/machine TIME (seconds) = 5.810 Wall clock TIME (seconds) = 64.035 CPU/machine TIME (seconds) = 64.010 26,9 Wall clock TIME (seconds) = 13.307 CPU/machine TIME (seconds) = 13.270 Wall clock TIME (seconds) = 65.707 CPU/machine TIME (seconds) = 64.010 26,774 Wall clock TIME (seconds) = 1.872 CPU/machine TIME (seconds) = 1.830 Wall clock TIME (seconds) = 64.078 CPU/machine TIME (seconds) = 64.010 27,3455 Wall clock TIME (seconds) = 0.585 CPU/machine TIME (seconds) = 0.360 Wall clock TIME (seconds) = 64.062 CPU/machine TIME (seconds) = 64.050 27,12 Wall clock TIME (seconds) = 10.096 CPU/machine TIME (seconds) = 10.070 Wall clock TIME (seconds) = 64.836 CPU/machine TIME (seconds) = 64.010 27,45 Wall clock TIME (seconds) = 0.034 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 27,78 Wall clock TIME (seconds) = 6.207 CPU/machine TIME (seconds) = 6.200 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 27,8546 Wall clock TIME (seconds) = 9.536 CPU/machine TIME (seconds) = 9.350 Wall clock TIME (seconds) = 64.149 CPU/machine TIME (seconds) = 64.010 27,474 Wall clock TIME (seconds) = 9.402 CPU/machine TIME (seconds) = 9.270 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 27,188 Wall clock TIME (seconds) = 5.727 CPU/machine TIME (seconds) = 5.620 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 27,7899 Wall clock TIME (seconds) = 11.093 CPU/machine TIME (seconds) = 10.730 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 27,9 Wall clock TIME (seconds) = 9.890 CPU/machine TIME (seconds) = 9.760 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 27,774 Wall clock TIME (seconds) = 8.608 CPU/machine TIME (seconds) = 8.580 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 28,3455 Wall clock TIME (seconds) = 10.269 CPU/machine TIME (seconds) = 10.170 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 28,12 Wall clock TIME (seconds) = 11.034 CPU/machine TIME (seconds) = 10.760 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 28,45 Wall clock TIME (seconds) = 0.047 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 28,78 Wall clock TIME (seconds) = 9.858 CPU/machine TIME (seconds) = 9.850 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 28,8546 Wall clock TIME (seconds) = 10.202 CPU/machine TIME (seconds) = 9.960 Wall clock TIME (seconds) = 64.943 CPU/machine TIME (seconds) = 64.010 28,474 Wall clock TIME (seconds) = 3.093 CPU/machine TIME (seconds) = 2.730 Wall clock TIME (seconds) = 64.130 CPU/machine TIME (seconds) = 64.010 28,188 Wall clock TIME (seconds) = 2.615 CPU/machine TIME (seconds) = 2.490 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 28,7899 Wall clock TIME (seconds) = 10.299 CPU/machine TIME (seconds) = 10.250 Wall clock TIME (seconds) = 64.711 CPU/machine TIME (seconds) = 64.010 28,9 Wall clock TIME (seconds) = 12.226 CPU/machine TIME (seconds) = 12.210 Wall clock TIME (seconds) = 64.590 CPU/machine TIME (seconds) = 64.010 28,774 Wall clock TIME (seconds) = 10.080 CPU/machine TIME (seconds) = 10.020 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 29,3455 Wall clock TIME (seconds) = 9.275 CPU/machine TIME (seconds) = 9.240 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 29,12 Wall clock TIME (seconds) = 9.491 CPU/machine TIME (seconds) = 9.340 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 29,45 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 29,78 Wall clock TIME (seconds) = 9.746 CPU/machine TIME (seconds) = 9.740 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 29,8546 Wall clock TIME (seconds) = 2.593 CPU/machine TIME (seconds) = 2.570 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 29,474 Wall clock TIME (seconds) = 8.631 CPU/machine TIME (seconds) = 8.580 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 29,188 Wall clock TIME (seconds) = 10.988 CPU/machine TIME (seconds) = 10.930 Wall clock TIME (seconds) = 64.300 CPU/machine TIME (seconds) = 64.010 29,7899 Wall clock TIME (seconds) = 7.951 CPU/machine TIME (seconds) = 7.920 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 29,9 Wall clock TIME (seconds) = 6.098 CPU/machine TIME (seconds) = 5.980 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 29,774 Wall clock TIME (seconds) = 11.095 CPU/machine TIME (seconds) = 10.270 Wall clock TIME (seconds) = 64.863 CPU/machine TIME (seconds) = 64.010 30,3455 Wall clock TIME (seconds) = 9.090 CPU/machine TIME (seconds) = 9.040 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 30,12 Wall clock TIME (seconds) = 6.636 CPU/machine TIME (seconds) = 6.570 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 30,45 Wall clock TIME (seconds) = 0.136 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 30,78 Wall clock TIME (seconds) = 10.202 CPU/machine TIME (seconds) = 10.200 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 30,8546 Wall clock TIME (seconds) = 9.554 CPU/machine TIME (seconds) = 9.460 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 30,474 Wall clock TIME (seconds) = 9.701 CPU/machine TIME (seconds) = 9.680 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 30,188 Wall clock TIME (seconds) = 7.422 CPU/machine TIME (seconds) = 7.340 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 30,7899 Wall clock TIME (seconds) = 2.387 CPU/machine TIME (seconds) = 2.360 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 30,9 Wall clock TIME (seconds) = 11.712 CPU/machine TIME (seconds) = 11.660 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 30,774 Wall clock TIME (seconds) = 10.066 CPU/machine TIME (seconds) = 10.010 Wall clock TIME (seconds) = 64.074 CPU/machine TIME (seconds) = 64.010 31,3455 Wall clock TIME (seconds) = 9.983 CPU/machine TIME (seconds) = 9.920 Wall clock TIME (seconds) = 64.127 CPU/machine TIME (seconds) = 64.010 31,12 Wall clock TIME (seconds) = 10.847 CPU/machine TIME (seconds) = 10.760 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 31,45 Wall clock TIME (seconds) = 0.123 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 31,78 Wall clock TIME (seconds) = 9.049 CPU/machine TIME (seconds) = 9.040 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 31,8546 Wall clock TIME (seconds) = 3.407 CPU/machine TIME (seconds) = 3.380 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 31,474 Wall clock TIME (seconds) = 10.606 CPU/machine TIME (seconds) = 10.000 Wall clock TIME (seconds) = 65.085 CPU/machine TIME (seconds) = 64.010 31,188 Wall clock TIME (seconds) = 11.260 CPU/machine TIME (seconds) = 11.030 Wall clock TIME (seconds) = 65.149 CPU/machine TIME (seconds) = 64.010 31,7899 Wall clock TIME (seconds) = 10.778 CPU/machine TIME (seconds) = 10.320 Wall clock TIME (seconds) = 64.894 CPU/machine TIME (seconds) = 64.010 31,9 Wall clock TIME (seconds) = 0.060 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 31,774 Wall clock TIME (seconds) = 8.375 CPU/machine TIME (seconds) = 8.370 Wall clock TIME (seconds) = 64.073 CPU/machine TIME (seconds) = 64.010 32,3455 Wall clock TIME (seconds) = 4.038 CPU/machine TIME (seconds) = 3.950 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 32,12 Wall clock TIME (seconds) = 10.370 CPU/machine TIME (seconds) = 10.260 Wall clock TIME (seconds) = 64.869 CPU/machine TIME (seconds) = 64.010 32,45 Wall clock TIME (seconds) = 0.025 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 32,78 Wall clock TIME (seconds) = 9.840 CPU/machine TIME (seconds) = 9.830 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 32,8546 Wall clock TIME (seconds) = 8.973 CPU/machine TIME (seconds) = 8.940 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 32,474 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.040 32,188 Wall clock TIME (seconds) = 10.033 CPU/machine TIME (seconds) = 9.960 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 32,7899 Wall clock TIME (seconds) = 1.626 CPU/machine TIME (seconds) = 1.610 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 32,9 Wall clock TIME (seconds) = 0.105 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 32,774 Wall clock TIME (seconds) = 9.530 CPU/machine TIME (seconds) = 9.520 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 33,3455 Wall clock TIME (seconds) = 9.725 CPU/machine TIME (seconds) = 9.610 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 33,12 Wall clock TIME (seconds) = 11.987 CPU/machine TIME (seconds) = 11.950 Wall clock TIME (seconds) = 66.029 CPU/machine TIME (seconds) = 64.010 33,45 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 33,78 Wall clock TIME (seconds) = 3.837 CPU/machine TIME (seconds) = 3.830 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 33,8546 Wall clock TIME (seconds) = 5.695 CPU/machine TIME (seconds) = 5.460 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 33,474 Wall clock TIME (seconds) = 0.052 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 33,188 Wall clock TIME (seconds) = 6.008 CPU/machine TIME (seconds) = 6.010 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 33,7899 Wall clock TIME (seconds) = 11.071 CPU/machine TIME (seconds) = 10.970 Wall clock TIME (seconds) = 64.169 CPU/machine TIME (seconds) = 64.010 33,9 Wall clock TIME (seconds) = 0.046 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 33,774 Wall clock TIME (seconds) = 8.708 CPU/machine TIME (seconds) = 8.710 Wall clock TIME (seconds) = 64.121 CPU/machine TIME (seconds) = 64.010 34,3455 Wall clock TIME (seconds) = 9.662 CPU/machine TIME (seconds) = 9.630 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 34,12 Wall clock TIME (seconds) = 9.603 CPU/machine TIME (seconds) = 9.500 Wall clock TIME (seconds) = 64.068 CPU/machine TIME (seconds) = 64.010 34,45 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 34,78 Wall clock TIME (seconds) = 1.679 CPU/machine TIME (seconds) = 1.660 Wall clock TIME (seconds) = 64.101 CPU/machine TIME (seconds) = 64.010 34,8546 Wall clock TIME (seconds) = 9.308 CPU/machine TIME (seconds) = 9.240 Wall clock TIME (seconds) = 66.344 CPU/machine TIME (seconds) = 64.010 34,474 Wall clock TIME (seconds) = 5.710 CPU/machine TIME (seconds) = 5.540 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 34,188 Wall clock TIME (seconds) = 8.557 CPU/machine TIME (seconds) = 8.490 Wall clock TIME (seconds) = 64.144 CPU/machine TIME (seconds) = 64.010 34,7899 Wall clock TIME (seconds) = 8.539 CPU/machine TIME (seconds) = 8.520 Wall clock TIME (seconds) = 64.239 CPU/machine TIME (seconds) = 64.060 34,9 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 34,774 Wall clock TIME (seconds) = 11.633 CPU/machine TIME (seconds) = 11.190 Wall clock TIME (seconds) = 65.181 CPU/machine TIME (seconds) = 64.010 35,3455 Wall clock TIME (seconds) = 10.939 CPU/machine TIME (seconds) = 10.860 Wall clock TIME (seconds) = 64.159 CPU/machine TIME (seconds) = 64.010 35,12 Wall clock TIME (seconds) = 8.045 CPU/machine TIME (seconds) = 7.930 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 35,45 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 35,78 Wall clock TIME (seconds) = 4.522 CPU/machine TIME (seconds) = 4.520 Wall clock TIME (seconds) = 64.147 CPU/machine TIME (seconds) = 64.010 35,8546 Wall clock TIME (seconds) = 11.280 CPU/machine TIME (seconds) = 11.210 Wall clock TIME (seconds) = 64.631 CPU/machine TIME (seconds) = 64.010 35,474 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.010 35,188 Wall clock TIME (seconds) = 8.941 CPU/machine TIME (seconds) = 8.940 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 35,7899 Wall clock TIME (seconds) = 8.569 CPU/machine TIME (seconds) = 8.400 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 35,9 Wall clock TIME (seconds) = 0.070 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 35,774 Wall clock TIME (seconds) = 4.335 CPU/machine TIME (seconds) = 4.330 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 36,3455 Wall clock TIME (seconds) = 10.143 CPU/machine TIME (seconds) = 10.030 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 36,12 Wall clock TIME (seconds) = 0.394 CPU/machine TIME (seconds) = 0.360 Wall clock TIME (seconds) = 65.595 CPU/machine TIME (seconds) = 65.590 36,45 Wall clock TIME (seconds) = 0.056 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 36,78 Wall clock TIME (seconds) = 10.158 CPU/machine TIME (seconds) = 10.150 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 36,8546 Wall clock TIME (seconds) = 7.110 CPU/machine TIME (seconds) = 7.060 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 36,474 Wall clock TIME (seconds) = 8.565 CPU/machine TIME (seconds) = 8.470 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 36,188 Wall clock TIME (seconds) = 10.369 CPU/machine TIME (seconds) = 10.290 Wall clock TIME (seconds) = 64.115 CPU/machine TIME (seconds) = 64.010 36,7899 Wall clock TIME (seconds) = 10.055 CPU/machine TIME (seconds) = 10.030 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 36,9 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 36,774 Wall clock TIME (seconds) = 9.323 CPU/machine TIME (seconds) = 9.190 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 37,3455 Wall clock TIME (seconds) = 7.770 CPU/machine TIME (seconds) = 7.710 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 37,12 Wall clock TIME (seconds) = 8.666 CPU/machine TIME (seconds) = 8.560 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 37,45 Wall clock TIME (seconds) = 0.064 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 37,78 Wall clock TIME (seconds) = 9.743 CPU/machine TIME (seconds) = 9.680 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 37,8546 Wall clock TIME (seconds) = 3.704 CPU/machine TIME (seconds) = 3.630 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 37,474 Wall clock TIME (seconds) = 4.739 CPU/machine TIME (seconds) = 4.670 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 37,188 Wall clock TIME (seconds) = 1.685 CPU/machine TIME (seconds) = 1.570 Wall clock TIME (seconds) = 64.452 CPU/machine TIME (seconds) = 64.010 37,7899 Wall clock TIME (seconds) = 0.441 CPU/machine TIME (seconds) = 0.420 Wall clock TIME (seconds) = 69.161 CPU/machine TIME (seconds) = 68.540 37,9 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 37,774 Wall clock TIME (seconds) = 10.924 CPU/machine TIME (seconds) = 10.910 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 38,3455 Wall clock TIME (seconds) = 8.011 CPU/machine TIME (seconds) = 8.000 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 38,12 Wall clock TIME (seconds) = 9.729 CPU/machine TIME (seconds) = 9.700 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 38,45 Wall clock TIME (seconds) = 0.052 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 38,78 Wall clock TIME (seconds) = 11.640 CPU/machine TIME (seconds) = 11.640 Wall clock TIME (seconds) = 64.503 CPU/machine TIME (seconds) = 64.010 38,8546 Wall clock TIME (seconds) = 10.026 CPU/machine TIME (seconds) = 9.980 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 38,474 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 38,188 Wall clock TIME (seconds) = 8.262 CPU/machine TIME (seconds) = 8.160 Wall clock TIME (seconds) = 64.060 CPU/machine TIME (seconds) = 64.010 38,7899 Wall clock TIME (seconds) = 10.162 CPU/machine TIME (seconds) = 9.850 Wall clock TIME (seconds) = 64.601 CPU/machine TIME (seconds) = 64.010 38,9 Wall clock TIME (seconds) = 0.167 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 38,774 Wall clock TIME (seconds) = 11.473 CPU/machine TIME (seconds) = 11.230 Wall clock TIME (seconds) = 64.350 CPU/machine TIME (seconds) = 64.010 39,3455 Wall clock TIME (seconds) = 10.571 CPU/machine TIME (seconds) = 10.290 Wall clock TIME (seconds) = 64.122 CPU/machine TIME (seconds) = 64.010 39,12 Wall clock TIME (seconds) = 11.080 CPU/machine TIME (seconds) = 11.020 Wall clock TIME (seconds) = 64.341 CPU/machine TIME (seconds) = 64.010 39,45 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 39,78 Wall clock TIME (seconds) = 9.636 CPU/machine TIME (seconds) = 9.630 Wall clock TIME (seconds) = 64.073 CPU/machine TIME (seconds) = 64.010 39,8546 Wall clock TIME (seconds) = 9.365 CPU/machine TIME (seconds) = 9.330 Wall clock TIME (seconds) = 64.258 CPU/machine TIME (seconds) = 64.010 39,474 Wall clock TIME (seconds) = 5.130 CPU/machine TIME (seconds) = 4.990 Wall clock TIME (seconds) = 64.046 CPU/machine TIME (seconds) = 64.010 39,188 Wall clock TIME (seconds) = 8.376 CPU/machine TIME (seconds) = 8.190 Wall clock TIME (seconds) = 64.256 CPU/machine TIME (seconds) = 64.010 39,7899 Wall clock TIME (seconds) = 1.381 CPU/machine TIME (seconds) = 1.270 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 39,9 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.011 CPU/machine TIME (seconds) = 0.000 39,774 Wall clock TIME (seconds) = 8.615 CPU/machine TIME (seconds) = 8.620 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 40,3455 Wall clock TIME (seconds) = 7.646 CPU/machine TIME (seconds) = 7.530 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 40,12 Wall clock TIME (seconds) = 9.565 CPU/machine TIME (seconds) = 9.450 Wall clock TIME (seconds) = 64.583 CPU/machine TIME (seconds) = 64.010 40,45 Wall clock TIME (seconds) = 0.053 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 40,78 Wall clock TIME (seconds) = 11.237 CPU/machine TIME (seconds) = 11.230 Wall clock TIME (seconds) = 65.000 CPU/machine TIME (seconds) = 64.010 40,8546 Wall clock TIME (seconds) = 9.876 CPU/machine TIME (seconds) = 9.610 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 40,474 Wall clock TIME (seconds) = 5.915 CPU/machine TIME (seconds) = 5.860 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 40,188 Wall clock TIME (seconds) = 0.510 CPU/machine TIME (seconds) = 0.460 Wall clock TIME (seconds) = 73.420 CPU/machine TIME (seconds) = 71.760 40,7899 Wall clock TIME (seconds) = 4.933 CPU/machine TIME (seconds) = 4.880 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 40,9 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 40,774 Wall clock TIME (seconds) = 12.532 CPU/machine TIME (seconds) = 12.520 Wall clock TIME (seconds) = 65.159 CPU/machine TIME (seconds) = 64.010 41,3455 Wall clock TIME (seconds) = 10.996 CPU/machine TIME (seconds) = 10.780 Wall clock TIME (seconds) = 64.066 CPU/machine TIME (seconds) = 64.010 41,12 Wall clock TIME (seconds) = 14.033 CPU/machine TIME (seconds) = 13.920 Wall clock TIME (seconds) = 64.282 CPU/machine TIME (seconds) = 64.010 41,45 Wall clock TIME (seconds) = 0.121 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 41,78 Wall clock TIME (seconds) = 9.396 CPU/machine TIME (seconds) = 9.390 Wall clock TIME (seconds) = 64.107 CPU/machine TIME (seconds) = 64.010 41,8546 Wall clock TIME (seconds) = 10.629 CPU/machine TIME (seconds) = 10.580 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 41,474 Wall clock TIME (seconds) = 9.886 CPU/machine TIME (seconds) = 9.770 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 41,188 Wall clock TIME (seconds) = 10.665 CPU/machine TIME (seconds) = 10.550 Wall clock TIME (seconds) = 64.103 CPU/machine TIME (seconds) = 64.010 41,7899 Wall clock TIME (seconds) = 10.511 CPU/machine TIME (seconds) = 10.460 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 41,9 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.010 41,774 Wall clock TIME (seconds) = 10.306 CPU/machine TIME (seconds) = 10.300 Wall clock TIME (seconds) = 64.083 CPU/machine TIME (seconds) = 64.010 42,3455 Wall clock TIME (seconds) = 9.325 CPU/machine TIME (seconds) = 9.230 Wall clock TIME (seconds) = 64.934 CPU/machine TIME (seconds) = 64.010 42,12 Wall clock TIME (seconds) = 6.756 CPU/machine TIME (seconds) = 6.700 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 42,45 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 42,78 Wall clock TIME (seconds) = 4.035 CPU/machine TIME (seconds) = 4.030 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 42,8546 Wall clock TIME (seconds) = 9.331 CPU/machine TIME (seconds) = 9.210 Wall clock TIME (seconds) = 65.637 CPU/machine TIME (seconds) = 64.010 42,474 Wall clock TIME (seconds) = 0.039 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.045 CPU/machine TIME (seconds) = 0.040 42,188 Wall clock TIME (seconds) = 10.013 CPU/machine TIME (seconds) = 10.010 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 42,7899 Wall clock TIME (seconds) = 2.089 CPU/machine TIME (seconds) = 1.870 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 42,9 Wall clock TIME (seconds) = 0.097 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.015 CPU/machine TIME (seconds) = 0.010 42,774 Wall clock TIME (seconds) = 9.931 CPU/machine TIME (seconds) = 9.920 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 43,3455 Wall clock TIME (seconds) = 1.783 CPU/machine TIME (seconds) = 1.700 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 43,12 Wall clock TIME (seconds) = 10.914 CPU/machine TIME (seconds) = 10.820 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 43,45 Wall clock TIME (seconds) = 0.216 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 43,78 Wall clock TIME (seconds) = 9.144 CPU/machine TIME (seconds) = 9.130 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 43,8546 Wall clock TIME (seconds) = 9.269 CPU/machine TIME (seconds) = 9.120 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 43,474 Wall clock TIME (seconds) = 0.071 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.040 43,188 Wall clock TIME (seconds) = 8.855 CPU/machine TIME (seconds) = 8.850 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 43,7899 Wall clock TIME (seconds) = 6.848 CPU/machine TIME (seconds) = 6.720 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 43,9 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 43,774 Wall clock TIME (seconds) = 9.245 CPU/machine TIME (seconds) = 9.240 Wall clock TIME (seconds) = 65.144 CPU/machine TIME (seconds) = 64.010 44,3455 Wall clock TIME (seconds) = 11.064 CPU/machine TIME (seconds) = 10.940 Wall clock TIME (seconds) = 64.113 CPU/machine TIME (seconds) = 64.010 44,12 Wall clock TIME (seconds) = 10.107 CPU/machine TIME (seconds) = 10.090 Wall clock TIME (seconds) = 64.121 CPU/machine TIME (seconds) = 64.010 44,45 Wall clock TIME (seconds) = 0.057 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 44,78 Wall clock TIME (seconds) = 8.910 CPU/machine TIME (seconds) = 8.880 Wall clock TIME (seconds) = 64.068 CPU/machine TIME (seconds) = 64.010 44,8546 Wall clock TIME (seconds) = 7.785 CPU/machine TIME (seconds) = 7.580 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 44,474 Wall clock TIME (seconds) = 0.080 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.029 CPU/machine TIME (seconds) = 0.030 44,188 Wall clock TIME (seconds) = 4.108 CPU/machine TIME (seconds) = 4.110 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 44,7899 Wall clock TIME (seconds) = 9.911 CPU/machine TIME (seconds) = 9.680 Wall clock TIME (seconds) = 64.893 CPU/machine TIME (seconds) = 64.010 44,9 Wall clock TIME (seconds) = 0.078 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 44,774 Wall clock TIME (seconds) = 8.769 CPU/machine TIME (seconds) = 8.760 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 45,3455 Wall clock TIME (seconds) = 9.469 CPU/machine TIME (seconds) = 9.440 Wall clock TIME (seconds) = 66.709 CPU/machine TIME (seconds) = 64.010 45,12 Wall clock TIME (seconds) = 8.333 CPU/machine TIME (seconds) = 8.260 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 45,45 Wall clock TIME (seconds) = 0.013 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 45,78 Wall clock TIME (seconds) = 10.660 CPU/machine TIME (seconds) = 10.600 Wall clock TIME (seconds) = 64.188 CPU/machine TIME (seconds) = 64.010 45,8546 Wall clock TIME (seconds) = 8.881 CPU/machine TIME (seconds) = 8.870 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 45,474 Wall clock TIME (seconds) = 0.138 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 45,188 Wall clock TIME (seconds) = 7.945 CPU/machine TIME (seconds) = 7.940 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 45,7899 Wall clock TIME (seconds) = 10.555 CPU/machine TIME (seconds) = 10.230 Wall clock TIME (seconds) = 64.186 CPU/machine TIME (seconds) = 64.010 45,9 Wall clock TIME (seconds) = 0.105 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.018 CPU/machine TIME (seconds) = 0.010 45,774 Wall clock TIME (seconds) = 8.986 CPU/machine TIME (seconds) = 8.820 Wall clock TIME (seconds) = 69.755 CPU/machine TIME (seconds) = 64.010 46,3455 Wall clock TIME (seconds) = 10.676 CPU/machine TIME (seconds) = 10.320 Wall clock TIME (seconds) = 64.135 CPU/machine TIME (seconds) = 64.010 46,12 Wall clock TIME (seconds) = 0.866 CPU/machine TIME (seconds) = 0.410 Wall clock TIME (seconds) = 69.611 CPU/machine TIME (seconds) = 69.530 46,45 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 46,78 Wall clock TIME (seconds) = 4.722 CPU/machine TIME (seconds) = 4.660 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 46,8546 Wall clock TIME (seconds) = 7.420 CPU/machine TIME (seconds) = 7.170 Wall clock TIME (seconds) = 64.090 CPU/machine TIME (seconds) = 64.010 46,474 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.032 CPU/machine TIME (seconds) = 0.030 46,188 Wall clock TIME (seconds) = 1.276 CPU/machine TIME (seconds) = 1.260 Wall clock TIME (seconds) = 64.107 CPU/machine TIME (seconds) = 64.010 46,7899 Wall clock TIME (seconds) = 0.391 CPU/machine TIME (seconds) = 0.380 Wall clock TIME (seconds) = 66.341 CPU/machine TIME (seconds) = 65.590 46,9 Wall clock TIME (seconds) = 0.055 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.020 CPU/machine TIME (seconds) = 0.020 46,774 Wall clock TIME (seconds) = 9.669 CPU/machine TIME (seconds) = 9.660 Wall clock TIME (seconds) = 64.173 CPU/machine TIME (seconds) = 64.010 47,3455 Wall clock TIME (seconds) = 11.196 CPU/machine TIME (seconds) = 11.020 Wall clock TIME (seconds) = 64.047 CPU/machine TIME (seconds) = 64.010 47,12 Wall clock TIME (seconds) = 10.626 CPU/machine TIME (seconds) = 10.370 Wall clock TIME (seconds) = 64.438 CPU/machine TIME (seconds) = 64.010 47,45 Wall clock TIME (seconds) = 0.100 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 47,78 Wall clock TIME (seconds) = 7.312 CPU/machine TIME (seconds) = 7.300 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 47,8546 Wall clock TIME (seconds) = 6.130 CPU/machine TIME (seconds) = 5.980 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 47,474 Wall clock TIME (seconds) = 0.507 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 47,188 Wall clock TIME (seconds) = 9.924 CPU/machine TIME (seconds) = 9.910 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 47,7899 Wall clock TIME (seconds) = 5.247 CPU/machine TIME (seconds) = 5.230 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 47,9 Wall clock TIME (seconds) = 0.112 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.020 47,774 Wall clock TIME (seconds) = 9.964 CPU/machine TIME (seconds) = 9.960 Wall clock TIME (seconds) = 64.044 CPU/machine TIME (seconds) = 64.010 48,3455 Wall clock TIME (seconds) = 7.797 CPU/machine TIME (seconds) = 7.740 Wall clock TIME (seconds) = 64.080 CPU/machine TIME (seconds) = 64.010 48,12 Wall clock TIME (seconds) = 0.655 CPU/machine TIME (seconds) = 0.640 Wall clock TIME (seconds) = 64.127 CPU/machine TIME (seconds) = 64.010 48,45 Wall clock TIME (seconds) = 0.140 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 48,78 Wall clock TIME (seconds) = 10.657 CPU/machine TIME (seconds) = 10.650 Wall clock TIME (seconds) = 64.292 CPU/machine TIME (seconds) = 64.010 48,8546 Wall clock TIME (seconds) = 7.237 CPU/machine TIME (seconds) = 7.220 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 48,474 Wall clock TIME (seconds) = 0.081 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.012 CPU/machine TIME (seconds) = 0.010 48,188 Wall clock TIME (seconds) = 3.192 CPU/machine TIME (seconds) = 3.180 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 48,7899 Wall clock TIME (seconds) = 8.174 CPU/machine TIME (seconds) = 8.160 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 48,9 Wall clock TIME (seconds) = 0.134 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.023 CPU/machine TIME (seconds) = 0.020 48,774 Wall clock TIME (seconds) = 9.802 CPU/machine TIME (seconds) = 9.790 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 49,3455 Wall clock TIME (seconds) = 11.407 CPU/machine TIME (seconds) = 11.180 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 49,12 Wall clock TIME (seconds) = 0.397 CPU/machine TIME (seconds) = 0.390 Wall clock TIME (seconds) = 70.956 CPU/machine TIME (seconds) = 70.940 49,45 Wall clock TIME (seconds) = 0.262 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 49,78 Wall clock TIME (seconds) = 10.091 CPU/machine TIME (seconds) = 10.080 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 49,8546 Wall clock TIME (seconds) = 0.968 CPU/machine TIME (seconds) = 0.950 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 49,474 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.019 CPU/machine TIME (seconds) = 0.010 49,188 Wall clock TIME (seconds) = 8.702 CPU/machine TIME (seconds) = 8.700 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 49,7899 Wall clock TIME (seconds) = 0.610 CPU/machine TIME (seconds) = 0.340 Wall clock TIME (seconds) = 65.308 CPU/machine TIME (seconds) = 65.300 49,9 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.010 CPU/machine TIME (seconds) = 0.010 49,774 Wall clock TIME (seconds) = 10.354 CPU/machine TIME (seconds) = 10.350 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 50,3455 Wall clock TIME (seconds) = 10.893 CPU/machine TIME (seconds) = 10.790 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 50,12 Wall clock TIME (seconds) = 10.738 CPU/machine TIME (seconds) = 10.610 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 50,45 Wall clock TIME (seconds) = 0.067 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 50,78 Wall clock TIME (seconds) = 8.573 CPU/machine TIME (seconds) = 8.560 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 50,8546 Wall clock TIME (seconds) = 9.188 CPU/machine TIME (seconds) = 8.980 Wall clock TIME (seconds) = 64.104 CPU/machine TIME (seconds) = 64.010 50,474 Wall clock TIME (seconds) = 0.110 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.049 CPU/machine TIME (seconds) = 0.040 50,188 Wall clock TIME (seconds) = 9.053 CPU/machine TIME (seconds) = 9.040 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 50,7899 Wall clock TIME (seconds) = 11.346 CPU/machine TIME (seconds) = 11.050 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 50,9 Wall clock TIME (seconds) = 0.022 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.024 CPU/machine TIME (seconds) = 0.020 50,774 Wall clock TIME (seconds) = 8.477 CPU/machine TIME (seconds) = 8.470 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 grid size = 10 max robots = 50 1,3455 Computed optimal makespan:11 total makespan = 11 1,12 Computed optimal makespan:15 total makespan = 15 1,45 Computed optimal makespan:7 total makespan = 7 1,78 Computed optimal makespan:10 total makespan = 10 1,8546 Computed optimal makespan:2 total makespan = 2 1,474 Computed optimal makespan:7 total makespan = 7 1,188 Computed optimal makespan:7 total makespan = 7 1,7899 Computed optimal makespan:13 total makespan = 13 1,9 Computed optimal makespan:8 total makespan = 8 1,774 Computed optimal makespan:10 total makespan = 10 2,3455 Computed optimal makespan:7 total makespan = 7 2,12 Computed optimal makespan:13 total makespan = 13 2,45 Computed optimal makespan:15 total makespan = 15 2,78 Computed optimal makespan:9 total makespan = 9 2,8546 Computed optimal makespan:11 total makespan = 11 2,474 Computed optimal makespan:6 total makespan = 6 2,188 Computed optimal makespan:6 total makespan = 6 2,7899 Computed optimal makespan:9 total makespan = 9 2,9 Computed optimal makespan:6 total makespan = 6 2,774 Computed optimal makespan:7 total makespan = 7 3,3455 Computed optimal makespan:10 total makespan = 10 3,12 Computed optimal makespan:15 total makespan = 15 3,45 Computed optimal makespan:12 total makespan = 12 3,78 Computed optimal makespan:8 total makespan = 8 3,8546 Computed optimal makespan:12 total makespan = 12 3,474 Computed optimal makespan:14 total makespan = 14 3,188 Computed optimal makespan:11 total makespan = 11 3,7899 Computed optimal makespan:9 total makespan = 9 3,9 Computed optimal makespan:9 total makespan = 9 3,774 Computed optimal makespan:13 total makespan = 13 4,3455 Computed optimal makespan:12 total makespan = 12 4,12 Computed optimal makespan:15 total makespan = 15 4,45 Computed optimal makespan:13 total makespan = 13 4,78 Computed optimal makespan:11 total makespan = 11 4,8546 Computed optimal makespan:11 total makespan = 11 4,474 Computed optimal makespan:10 total makespan = 10 4,188 Computed optimal makespan:14 total makespan = 14 4,7899 Computed optimal makespan:8 total makespan = 8 4,9 Computed optimal makespan:9 total makespan = 9 4,774 Computed optimal makespan:10 total makespan = 10 5,3455 Computed optimal makespan:13 total makespan = 13 5,12 Computed optimal makespan:13 total makespan = 13 5,45 Computed optimal makespan:13 total makespan = 13 5,78 Computed optimal makespan:9 total makespan = 9 5,8546 Computed optimal makespan:13 total makespan = 13 5,474 Computed optimal makespan:10 total makespan = 10 5,188 Computed optimal makespan:9 total makespan = 9 5,7899 Computed optimal makespan:11 total makespan = 11 5,9 Computed optimal makespan:10 total makespan = 10 5,774 Computed optimal makespan:11 total makespan = 11 6,3455 Computed optimal makespan:10 total makespan = 10 6,12 Computed optimal makespan:20 total makespan = 20 6,45 total makespan = 0 6,78 Computed optimal makespan:9 total makespan = 9 6,8546 Computed optimal makespan:12 total makespan = 12 6,474 Computed optimal makespan:12 total makespan = 12 6,188 total makespan = 0 6,7899 Computed optimal makespan:13 total makespan = 13 6,9 Computed optimal makespan:14 total makespan = 14 6,774 Computed optimal makespan:11 total makespan = 11 7,3455 Computed optimal makespan:7 total makespan = 7 7,12 Computed optimal makespan:12 total makespan = 12 7,45 total makespan = 0 7,78 Computed optimal makespan:10 total makespan = 10 7,8546 total makespan = 0 7,474 Computed optimal makespan:14 total makespan = 14 7,188 Computed optimal makespan:13 total makespan = 13 7,7899 total makespan = 0 7,9 total makespan = 0 7,774 total makespan = 0 8,3455 Computed optimal makespan:15 total makespan = 15 8,12 Computed optimal makespan:18 total makespan = 18 8,45 total makespan = 0 8,78 total makespan = 0 8,8546 total makespan = 0 8,474 Computed optimal makespan:8 total makespan = 8 8,188 total makespan = 0 8,7899 total makespan = 0 8,9 total makespan = 0 8,774 Computed optimal makespan:15 total makespan = 15 9,3455 total makespan = 0 9,12 total makespan = 0 9,45 total makespan = 0 9,78 Computed optimal makespan:9 total makespan = 9 9,8546 total makespan = 0 9,474 Computed optimal makespan:15 total makespan = 15 9,188 total makespan = 0 9,7899 total makespan = 0 9,9 Computed optimal makespan:16 total makespan = 16 9,774 Computed optimal makespan:12 total makespan = 12 10,3455 total makespan = 0 10,12 total makespan = 0 10,45 total makespan = 0 10,78 total makespan = 0 10,8546 total makespan = 0 10,474 total makespan = 0 10,188 total makespan = 0 10,7899 total makespan = 0 10,9 total makespan = 0 10,774 total makespan = 0 11,3455 total makespan = 0 11,12 total makespan = 0 11,45 total makespan = 0 11,78 Computed optimal makespan:9 total makespan = 9 11,8546 total makespan = 0 11,474 Computed optimal makespan:15 total makespan = 15 11,188 total makespan = 0 11,7899 total makespan = 0 11,9 total makespan = 0 11,774 total makespan = 0 12,3455 total makespan = 0 12,12 total makespan = 0 12,45 total makespan = 0 12,78 total makespan = 0 12,8546 total makespan = 0 12,474 total makespan = 0 12,188 total makespan = 0 12,7899 Computed optimal makespan:17 total makespan = 17 12,9 Computed optimal makespan:12 total makespan = 12 12,774 total makespan = 0 13,3455 total makespan = 0 13,12 total makespan = 0 13,45 total makespan = 0 13,78 Computed optimal makespan:18 total makespan = 18 13,8546 total makespan = 0 13,474 total makespan = 0 13,188 total makespan = 0 13,7899 total makespan = 0 13,9 total makespan = 0 13,774 total makespan = 0 14,3455 total makespan = 0 14,12 total makespan = 0 14,45 total makespan = 0 14,78 total makespan = 0 14,8546 total makespan = 0 14,474 total makespan = 0 14,188 total makespan = 0 14,7899 total makespan = 0 14,9 total makespan = 0 14,774 total makespan = 0 15,3455 total makespan = 0 15,12 total makespan = 0 15,45 total makespan = 0 15,78 total makespan = 0 15,8546 total makespan = 0 15,474 total makespan = 0 15,188 total makespan = 0 15,7899 total makespan = 0 15,9 total makespan = 0 15,774 total makespan = 0 16,3455 total makespan = 0 16,12 total makespan = 0 16,45 total makespan = 0 16,78 total makespan = 0 16,8546 total makespan = 0 16,474 total makespan = 0 16,188 total makespan = 0 16,7899 total makespan = 0 16,9 total makespan = 0 16,774 total makespan = 0 17,3455 total makespan = 0 17,12 total makespan = 0 17,45 total makespan = 0 17,78 total makespan = 0 17,8546 total makespan = 0 17,474 total makespan = 0 17,188 total makespan = 0 17,7899 total makespan = 0 17,9 total makespan = 0 17,774 total makespan = 0 18,3455 total makespan = 0 18,12 total makespan = 0 18,45 total makespan = 0 18,78 total makespan = 0 18,8546 total makespan = 0 18,474 total makespan = 0 18,188 total makespan = 0 18,7899 total makespan = 0 18,9 total makespan = 0 18,774 total makespan = 0 19,3455 total makespan = 0 19,12 total makespan = 0 19,45 total makespan = 0 19,78 total makespan = 0 19,8546 total makespan = 0 19,474 total makespan = 0 19,188 total makespan = 0 19,7899 total makespan = 0 19,9 total makespan = 0 19,774 total makespan = 0 20,3455 total makespan = 0 20,12 total makespan = 0 20,45 total makespan = 0 20,78 total makespan = 0 20,8546 total makespan = 0 20,474 total makespan = 0 20,188 total makespan = 0 20,7899 total makespan = 0 20,9 total makespan = 0 20,774 total makespan = 0 21,3455 total makespan = 0 21,12 total makespan = 0 21,45 total makespan = 0 21,78 total makespan = 0 21,8546 total makespan = 0 21,474 total makespan = 0 21,188 total makespan = 0 21,7899 total makespan = 0 21,9 total makespan = 0 21,774 total makespan = 0 22,3455 total makespan = 0 22,12 total makespan = 0 22,45 total makespan = 0 22,78 total makespan = 0 22,8546 total makespan = 0 22,474 total makespan = 0 22,188 total makespan = 0 22,7899 total makespan = 0 22,9 total makespan = 0 22,774 total makespan = 0 23,3455 total makespan = 0 23,12 total makespan = 0 23,45 total makespan = 0 23,78 total makespan = 0 23,8546 total makespan = 0 23,474 total makespan = 0 23,188 total makespan = 0 23,7899 total makespan = 0 23,9 total makespan = 0 23,774 total makespan = 0 24,3455 total makespan = 0 24,12 total makespan = 0 24,45 total makespan = 0 24,78 total makespan = 0 24,8546 total makespan = 0 24,474 total makespan = 0 24,188 total makespan = 0 24,7899 total makespan = 0 24,9 total makespan = 0 24,774 total makespan = 0 25,3455 total makespan = 0 25,12 total makespan = 0 25,45 total makespan = 0 25,78 total makespan = 0 25,8546 total makespan = 0 25,474 total makespan = 0 25,188 total makespan = 0 25,7899 total makespan = 0 25,9 total makespan = 0 25,774 total makespan = 0 26,3455 total makespan = 0 26,12 total makespan = 0 26,45 total makespan = 0 26,78 total makespan = 0 26,8546 total makespan = 0 26,474 total makespan = 0 26,188 total makespan = 0 26,7899 total makespan = 0 26,9 total makespan = 0 26,774 total makespan = 0 27,3455 total makespan = 0 27,12 total makespan = 0 27,45 total makespan = 0 27,78 total makespan = 0 27,8546 total makespan = 0 27,474 total makespan = 0 27,188 total makespan = 0 27,7899 total makespan = 0 27,9 total makespan = 0 27,774 total makespan = 0 28,3455 total makespan = 0 28,12 total makespan = 0 28,45 total makespan = 0 28,78 total makespan = 0 28,8546 total makespan = 0 28,474 total makespan = 0 28,188 total makespan = 0 28,7899 total makespan = 0 28,9 total makespan = 0 28,774 total makespan = 0 29,3455 total makespan = 0 29,12 total makespan = 0 29,45 total makespan = 0 29,78 total makespan = 0 29,8546 total makespan = 0 29,474 total makespan = 0 29,188 total makespan = 0 29,7899 total makespan = 0 29,9 total makespan = 0 29,774 total makespan = 0 30,3455 total makespan = 0 30,12 total makespan = 0 30,45 total makespan = 0 30,78 total makespan = 0 30,8546 total makespan = 0 30,474 total makespan = 0 30,188 total makespan = 0 30,7899 total makespan = 0 30,9 total makespan = 0 30,774 total makespan = 0 31,3455 total makespan = 0 31,12 total makespan = 0 31,45 total makespan = 0 31,78 total makespan = 0 31,8546 total makespan = 0 31,474 total makespan = 0 31,188 total makespan = 0 31,7899 total makespan = 0 31,9 total makespan = 0 31,774 total makespan = 0 32,3455 total makespan = 0 32,12 total makespan = 0 32,45 total makespan = 0 32,78 total makespan = 0 32,8546 total makespan = 0 32,474 total makespan = 0 32,188 total makespan = 0 32,7899 total makespan = 0 32,9 total makespan = 0 32,774 total makespan = 0 33,3455 total makespan = 0 33,12 total makespan = 0 33,45 total makespan = 0 33,78 total makespan = 0 33,8546 total makespan = 0 33,474 total makespan = 0 33,188 total makespan = 0 33,7899 total makespan = 0 33,9 total makespan = 0 33,774 total makespan = 0 34,3455 total makespan = 0 34,12 total makespan = 0 34,45 total makespan = 0 34,78 total makespan = 0 34,8546 total makespan = 0 34,474 total makespan = 0 34,188 total makespan = 0 34,7899 total makespan = 0 34,9 total makespan = 0 34,774 total makespan = 0 35,3455 total makespan = 0 35,12 total makespan = 0 35,45 total makespan = 0 35,78 total makespan = 0 35,8546 total makespan = 0 35,474 total makespan = 0 35,188 total makespan = 0 35,7899 total makespan = 0 35,9 total makespan = 0 35,774 total makespan = 0 36,3455 total makespan = 0 36,12 total makespan = 0 36,45 total makespan = 0 36,78 total makespan = 0 36,8546 total makespan = 0 36,474 total makespan = 0 36,188 total makespan = 0 36,7899 total makespan = 0 36,9 total makespan = 0 36,774 total makespan = 0 37,3455 total makespan = 0 37,12 total makespan = 0 37,45 total makespan = 0 37,78 total makespan = 0 37,8546 total makespan = 0 37,474 total makespan = 0 37,188 total makespan = 0 37,7899 total makespan = 0 37,9 total makespan = 0 37,774 total makespan = 0 38,3455 total makespan = 0 38,12 total makespan = 0 38,45 total makespan = 0 38,78 total makespan = 0 38,8546 total makespan = 0 38,474 total makespan = 0 38,188 total makespan = 0 38,7899 total makespan = 0 38,9 total makespan = 0 38,774 total makespan = 0 39,3455 total makespan = 0 39,12 total makespan = 0 39,45 total makespan = 0 39,78 total makespan = 0 39,8546 total makespan = 0 39,474 total makespan = 0 39,188 total makespan = 0 39,7899 total makespan = 0 39,9 total makespan = 0 39,774 total makespan = 0 40,3455 total makespan = 0 40,12 total makespan = 0 40,45 total makespan = 0 40,78 total makespan = 0 40,8546 total makespan = 0 40,474 total makespan = 0 40,188 total makespan = 0 40,7899 total makespan = 0 40,9 total makespan = 0 40,774 total makespan = 0 41,3455 total makespan = 0 41,12 total makespan = 0 41,45 total makespan = 0 41,78 total makespan = 0 41,8546 total makespan = 0 41,474 total makespan = 0 41,188 total makespan = 0 41,7899 total makespan = 0 41,9 total makespan = 0 41,774 total makespan = 0 42,3455 total makespan = 0 42,12 total makespan = 0 42,45 total makespan = 0 42,78 total makespan = 0 42,8546 total makespan = 0 42,474 total makespan = 0 42,188 total makespan = 0 42,7899 total makespan = 0 42,9 total makespan = 0 42,774 total makespan = 0 43,3455 total makespan = 0 43,12 total makespan = 0 43,45 total makespan = 0 43,78 total makespan = 0 43,8546 total makespan = 0 43,474 total makespan = 0 43,188 total makespan = 0 43,7899 total makespan = 0 43,9 total makespan = 0 43,774 total makespan = 0 44,3455 total makespan = 0 44,12 total makespan = 0 44,45 total makespan = 0 44,78 total makespan = 0 44,8546 total makespan = 0 44,474 total makespan = 0 44,188 total makespan = 0 44,7899 total makespan = 0 44,9 total makespan = 0 44,774 total makespan = 0 45,3455 total makespan = 0 45,12 total makespan = 0 45,45 total makespan = 0 45,78 total makespan = 0 45,8546 total makespan = 0 45,474 total makespan = 0 45,188 total makespan = 0 45,7899 total makespan = 0 45,9 total makespan = 0 45,774 total makespan = 0 46,3455 total makespan = 0 46,12 total makespan = 0 46,45 total makespan = 0 46,78 total makespan = 0 46,8546 total makespan = 0 46,474 total makespan = 0 46,188 total makespan = 0 46,7899 total makespan = 0 46,9 total makespan = 0 46,774 total makespan = 0 47,3455 total makespan = 0 47,12 total makespan = 0 47,45 total makespan = 0 47,78 total makespan = 0 47,8546 total makespan = 0 47,474 total makespan = 0 47,188 total makespan = 0 47,7899 total makespan = 0 47,9 total makespan = 0 47,774 total makespan = 0 48,3455 total makespan = 0 48,12 total makespan = 0 48,45 total makespan = 0 48,78 total makespan = 0 48,8546 total makespan = 0 48,474 total makespan = 0 48,188 total makespan = 0 48,7899 total makespan = 0 48,9 total makespan = 0 48,774 total makespan = 0 49,3455 total makespan = 0 49,12 total makespan = 0 49,45 total makespan = 0 49,78 total makespan = 0 49,8546 total makespan = 0 49,474 total makespan = 0 49,188 total makespan = 0 49,7899 total makespan = 0 49,9 total makespan = 0 49,774 total makespan = 0 50,3455 total makespan = 0 50,12 total makespan = 0 50,45 total makespan = 0 50,78 total makespan = 0 50,8546 total makespan = 0 50,474 total makespan = 0 50,188 total makespan = 0 50,7899 total makespan = 0 50,9 total makespan = 0 50,774 total makespan = 0