grid size = 10 max robots = 50 1,3455 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,12 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,45 Wall clock TIME (seconds) = 0.003 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,78 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,8546 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,474 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,188 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,7899 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,9 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 1,774 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.000 CPU/machine TIME (seconds) = 0.000 2,3455 Wall clock TIME (seconds) = 0.016 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.028 CPU/machine TIME (seconds) = 0.020 2,12 Wall clock TIME (seconds) = 0.038 CPU/machine TIME (seconds) = 0.040 Wall clock TIME (seconds) = 0.209 CPU/machine TIME (seconds) = 0.180 2,45 Wall clock TIME (seconds) = 0.027 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.139 CPU/machine TIME (seconds) = 0.090 2,78 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.065 CPU/machine TIME (seconds) = 0.030 2,8546 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.020 2,474 Wall clock TIME (seconds) = 0.014 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.017 CPU/machine TIME (seconds) = 0.010 2,188 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.021 CPU/machine TIME (seconds) = 0.010 2,7899 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.040 2,9 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.005 CPU/machine TIME (seconds) = 0.000 2,774 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.042 CPU/machine TIME (seconds) = 0.040 3,3455 Wall clock TIME (seconds) = 9.784 CPU/machine TIME (seconds) = 9.770 Wall clock TIME (seconds) = 64.296 CPU/machine TIME (seconds) = 64.010 3,12 Wall clock TIME (seconds) = 11.935 CPU/machine TIME (seconds) = 11.910 Wall clock TIME (seconds) = 64.412 CPU/machine TIME (seconds) = 64.010 3,45 Wall clock TIME (seconds) = 6.217 CPU/machine TIME (seconds) = 6.210 Wall clock TIME (seconds) = 37.637 CPU/machine TIME (seconds) = 37.490 3,78 Wall clock TIME (seconds) = 2.983 CPU/machine TIME (seconds) = 2.980 Wall clock TIME (seconds) = 20.438 CPU/machine TIME (seconds) = 20.430 3,8546 Wall clock TIME (seconds) = 5.276 CPU/machine TIME (seconds) = 5.280 Wall clock TIME (seconds) = 33.281 CPU/machine TIME (seconds) = 33.260 3,474 Wall clock TIME (seconds) = 8.689 CPU/machine TIME (seconds) = 8.680 Wall clock TIME (seconds) = 64.065 CPU/machine TIME (seconds) = 64.010 3,188 Wall clock TIME (seconds) = 5.811 CPU/machine TIME (seconds) = 5.730 Wall clock TIME (seconds) = 37.743 CPU/machine TIME (seconds) = 37.440 3,7899 Wall clock TIME (seconds) = 4.372 CPU/machine TIME (seconds) = 4.350 Wall clock TIME (seconds) = 31.844 CPU/machine TIME (seconds) = 31.610 3,9 Wall clock TIME (seconds) = 4.909 CPU/machine TIME (seconds) = 4.910 Wall clock TIME (seconds) = 35.204 CPU/machine TIME (seconds) = 34.930 3,774 Wall clock TIME (seconds) = 11.961 CPU/machine TIME (seconds) = 11.930 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 4,3455 Wall clock TIME (seconds) = 9.511 CPU/machine TIME (seconds) = 9.510 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 4,12 Wall clock TIME (seconds) = 12.035 CPU/machine TIME (seconds) = 12.030 Wall clock TIME (seconds) = 64.068 CPU/machine TIME (seconds) = 64.010 4,45 Wall clock TIME (seconds) = 11.639 CPU/machine TIME (seconds) = 11.630 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 4,78 Wall clock TIME (seconds) = 10.666 CPU/machine TIME (seconds) = 10.660 Wall clock TIME (seconds) = 64.047 CPU/machine TIME (seconds) = 64.010 4,8546 Wall clock TIME (seconds) = 12.299 CPU/machine TIME (seconds) = 12.290 Wall clock TIME (seconds) = 64.154 CPU/machine TIME (seconds) = 64.010 4,474 Wall clock TIME (seconds) = 8.312 CPU/machine TIME (seconds) = 8.300 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 4,188 Wall clock TIME (seconds) = 10.728 CPU/machine TIME (seconds) = 10.630 Wall clock TIME (seconds) = 64.572 CPU/machine TIME (seconds) = 64.010 4,7899 Wall clock TIME (seconds) = 10.350 CPU/machine TIME (seconds) = 10.250 Wall clock TIME (seconds) = 64.671 CPU/machine TIME (seconds) = 64.010 4,9 Wall clock TIME (seconds) = 11.990 CPU/machine TIME (seconds) = 11.840 Wall clock TIME (seconds) = 64.610 CPU/machine TIME (seconds) = 64.010 4,774 Wall clock TIME (seconds) = 15.250 CPU/machine TIME (seconds) = 15.210 Wall clock TIME (seconds) = 64.105 CPU/machine TIME (seconds) = 64.010 5,3455 Wall clock TIME (seconds) = 13.421 CPU/machine TIME (seconds) = 13.400 Wall clock TIME (seconds) = 64.111 CPU/machine TIME (seconds) = 64.010 5,12 Wall clock TIME (seconds) = 11.337 CPU/machine TIME (seconds) = 11.330 Wall clock TIME (seconds) = 64.072 CPU/machine TIME (seconds) = 64.010 5,45 Wall clock TIME (seconds) = 8.764 CPU/machine TIME (seconds) = 8.720 Wall clock TIME (seconds) = 64.045 CPU/machine TIME (seconds) = 64.010 5,78 Wall clock TIME (seconds) = 18.245 CPU/machine TIME (seconds) = 18.240 Wall clock TIME (seconds) = 64.057 CPU/machine TIME (seconds) = 64.010 5,8546 Wall clock TIME (seconds) = 9.679 CPU/machine TIME (seconds) = 9.670 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 5,474 Wall clock TIME (seconds) = 12.823 CPU/machine TIME (seconds) = 12.800 Wall clock TIME (seconds) = 64.135 CPU/machine TIME (seconds) = 64.010 5,188 Wall clock TIME (seconds) = 14.902 CPU/machine TIME (seconds) = 14.880 Wall clock TIME (seconds) = 64.408 CPU/machine TIME (seconds) = 64.010 5,7899 Wall clock TIME (seconds) = 13.511 CPU/machine TIME (seconds) = 13.490 Wall clock TIME (seconds) = 64.050 CPU/machine TIME (seconds) = 64.010 5,9 Wall clock TIME (seconds) = 11.724 CPU/machine TIME (seconds) = 11.710 Wall clock TIME (seconds) = 64.250 CPU/machine TIME (seconds) = 64.010 5,774 Wall clock TIME (seconds) = 14.290 CPU/machine TIME (seconds) = 14.280 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 6,3455 Wall clock TIME (seconds) = 8.010 CPU/machine TIME (seconds) = 8.000 Wall clock TIME (seconds) = 64.044 CPU/machine TIME (seconds) = 64.010 6,12 Wall clock TIME (seconds) = 12.246 CPU/machine TIME (seconds) = 12.240 Wall clock TIME (seconds) = 64.094 CPU/machine TIME (seconds) = 64.010 6,45 Wall clock TIME (seconds) = 11.897 CPU/machine TIME (seconds) = 11.890 Wall clock TIME (seconds) = 64.050 CPU/machine TIME (seconds) = 64.010 6,78 Wall clock TIME (seconds) = 12.192 CPU/machine TIME (seconds) = 12.190 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 6,8546 Wall clock TIME (seconds) = 12.024 CPU/machine TIME (seconds) = 12.010 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 6,474 Wall clock TIME (seconds) = 12.397 CPU/machine TIME (seconds) = 12.390 Wall clock TIME (seconds) = 64.167 CPU/machine TIME (seconds) = 64.010 6,188 Wall clock TIME (seconds) = 12.034 CPU/machine TIME (seconds) = 12.020 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 6,7899 Wall clock TIME (seconds) = 12.262 CPU/machine TIME (seconds) = 12.250 Wall clock TIME (seconds) = 64.208 CPU/machine TIME (seconds) = 64.010 6,9 Wall clock TIME (seconds) = 12.567 CPU/machine TIME (seconds) = 12.570 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 6,774 Wall clock TIME (seconds) = 13.351 CPU/machine TIME (seconds) = 13.340 Wall clock TIME (seconds) = 64.057 CPU/machine TIME (seconds) = 64.010 7,3455 Wall clock TIME (seconds) = 14.422 CPU/machine TIME (seconds) = 14.410 Wall clock TIME (seconds) = 64.124 CPU/machine TIME (seconds) = 64.010 7,12 Wall clock TIME (seconds) = 14.723 CPU/machine TIME (seconds) = 14.720 Wall clock TIME (seconds) = 64.277 CPU/machine TIME (seconds) = 64.010 7,45 Wall clock TIME (seconds) = 11.633 CPU/machine TIME (seconds) = 11.620 Wall clock TIME (seconds) = 64.084 CPU/machine TIME (seconds) = 64.010 7,78 Wall clock TIME (seconds) = 13.070 CPU/machine TIME (seconds) = 13.040 Wall clock TIME (seconds) = 64.117 CPU/machine TIME (seconds) = 64.010 7,8546 Wall clock TIME (seconds) = 16.500 CPU/machine TIME (seconds) = 16.450 Wall clock TIME (seconds) = 64.072 CPU/machine TIME (seconds) = 64.010 7,474 Wall clock TIME (seconds) = 12.690 CPU/machine TIME (seconds) = 12.680 Wall clock TIME (seconds) = 64.329 CPU/machine TIME (seconds) = 64.010 7,188 Wall clock TIME (seconds) = 11.452 CPU/machine TIME (seconds) = 11.290 Wall clock TIME (seconds) = 64.652 CPU/machine TIME (seconds) = 64.010 7,7899 Wall clock TIME (seconds) = 10.452 CPU/machine TIME (seconds) = 10.440 Wall clock TIME (seconds) = 64.455 CPU/machine TIME (seconds) = 64.010 7,9 Wall clock TIME (seconds) = 13.869 CPU/machine TIME (seconds) = 13.850 Wall clock TIME (seconds) = 64.075 CPU/machine TIME (seconds) = 64.010 7,774 Wall clock TIME (seconds) = 11.190 CPU/machine TIME (seconds) = 11.190 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 8,3455 Wall clock TIME (seconds) = 18.744 CPU/machine TIME (seconds) = 18.740 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 8,12 Wall clock TIME (seconds) = 14.274 CPU/machine TIME (seconds) = 14.260 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 8,45 Wall clock TIME (seconds) = 13.228 CPU/machine TIME (seconds) = 13.220 Wall clock TIME (seconds) = 64.134 CPU/machine TIME (seconds) = 64.010 8,78 Wall clock TIME (seconds) = 16.472 CPU/machine TIME (seconds) = 16.460 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 8,8546 Wall clock TIME (seconds) = 15.677 CPU/machine TIME (seconds) = 15.670 Wall clock TIME (seconds) = 64.117 CPU/machine TIME (seconds) = 64.010 8,474 Wall clock TIME (seconds) = 16.292 CPU/machine TIME (seconds) = 16.280 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 8,188 Wall clock TIME (seconds) = 9.897 CPU/machine TIME (seconds) = 9.900 Wall clock TIME (seconds) = 64.045 CPU/machine TIME (seconds) = 64.010 8,7899 Wall clock TIME (seconds) = 16.668 CPU/machine TIME (seconds) = 16.650 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 8,9 Wall clock TIME (seconds) = 19.681 CPU/machine TIME (seconds) = 19.680 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 8,774 Wall clock TIME (seconds) = 10.906 CPU/machine TIME (seconds) = 10.900 Wall clock TIME (seconds) = 64.054 CPU/machine TIME (seconds) = 64.010 9,3455 Wall clock TIME (seconds) = 25.432 CPU/machine TIME (seconds) = 25.420 Wall clock TIME (seconds) = 64.077 CPU/machine TIME (seconds) = 64.010 9,12 Wall clock TIME (seconds) = 14.044 CPU/machine TIME (seconds) = 14.040 Wall clock TIME (seconds) = 64.428 CPU/machine TIME (seconds) = 64.010 9,45 Wall clock TIME (seconds) = 15.877 CPU/machine TIME (seconds) = 15.870 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 9,78 Wall clock TIME (seconds) = 21.898 CPU/machine TIME (seconds) = 21.040 Wall clock TIME (seconds) = 64.769 CPU/machine TIME (seconds) = 64.010 9,8546 Wall clock TIME (seconds) = 14.225 CPU/machine TIME (seconds) = 13.790 Wall clock TIME (seconds) = 64.136 CPU/machine TIME (seconds) = 64.010 9,474 Wall clock TIME (seconds) = 10.674 CPU/machine TIME (seconds) = 10.660 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 9,188 Wall clock TIME (seconds) = 15.578 CPU/machine TIME (seconds) = 15.550 Wall clock TIME (seconds) = 64.061 CPU/machine TIME (seconds) = 64.010 9,7899 Wall clock TIME (seconds) = 20.029 CPU/machine TIME (seconds) = 20.010 Wall clock TIME (seconds) = 64.277 CPU/machine TIME (seconds) = 64.010 9,9 Wall clock TIME (seconds) = 20.647 CPU/machine TIME (seconds) = 20.630 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 9,774 Wall clock TIME (seconds) = 18.164 CPU/machine TIME (seconds) = 18.160 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 10,3455 Wall clock TIME (seconds) = 14.772 CPU/machine TIME (seconds) = 14.760 Wall clock TIME (seconds) = 64.182 CPU/machine TIME (seconds) = 64.010 10,12 Wall clock TIME (seconds) = 21.554 CPU/machine TIME (seconds) = 21.540 Wall clock TIME (seconds) = 64.061 CPU/machine TIME (seconds) = 64.010 10,45 Wall clock TIME (seconds) = 20.994 CPU/machine TIME (seconds) = 20.970 Wall clock TIME (seconds) = 64.296 CPU/machine TIME (seconds) = 64.010 10,78 Wall clock TIME (seconds) = 26.031 CPU/machine TIME (seconds) = 26.020 Wall clock TIME (seconds) = 64.174 CPU/machine TIME (seconds) = 64.010 10,8546 Wall clock TIME (seconds) = 24.722 CPU/machine TIME (seconds) = 24.700 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 10,474 Wall clock TIME (seconds) = 19.284 CPU/machine TIME (seconds) = 19.270 Wall clock TIME (seconds) = 64.050 CPU/machine TIME (seconds) = 64.010 10,188 Wall clock TIME (seconds) = 18.377 CPU/machine TIME (seconds) = 18.370 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 10,7899 Wall clock TIME (seconds) = 22.924 CPU/machine TIME (seconds) = 22.910 Wall clock TIME (seconds) = 64.627 CPU/machine TIME (seconds) = 64.010 10,9 Wall clock TIME (seconds) = 20.644 CPU/machine TIME (seconds) = 20.390 Wall clock TIME (seconds) = 64.331 CPU/machine TIME (seconds) = 64.010 10,774 Wall clock TIME (seconds) = 12.497 CPU/machine TIME (seconds) = 12.170 Wall clock TIME (seconds) = 64.224 CPU/machine TIME (seconds) = 64.010 11,3455 Wall clock TIME (seconds) = 20.475 CPU/machine TIME (seconds) = 19.210 Wall clock TIME (seconds) = 67.218 CPU/machine TIME (seconds) = 64.010 11,12 Wall clock TIME (seconds) = 29.299 CPU/machine TIME (seconds) = 28.210 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 11,45 Wall clock TIME (seconds) = 23.136 CPU/machine TIME (seconds) = 22.900 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 11,78 Wall clock TIME (seconds) = 23.656 CPU/machine TIME (seconds) = 22.590 Wall clock TIME (seconds) = 64.699 CPU/machine TIME (seconds) = 64.010 11,8546 Wall clock TIME (seconds) = 18.908 CPU/machine TIME (seconds) = 18.840 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 11,474 Wall clock TIME (seconds) = 20.437 CPU/machine TIME (seconds) = 20.410 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 11,188 Wall clock TIME (seconds) = 27.105 CPU/machine TIME (seconds) = 26.980 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 11,7899 Wall clock TIME (seconds) = 17.118 CPU/machine TIME (seconds) = 16.960 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 11,9 Wall clock TIME (seconds) = 27.723 CPU/machine TIME (seconds) = 27.380 Wall clock TIME (seconds) = 65.502 CPU/machine TIME (seconds) = 64.010 11,774 Wall clock TIME (seconds) = 28.392 CPU/machine TIME (seconds) = 28.250 Wall clock TIME (seconds) = 64.062 CPU/machine TIME (seconds) = 64.010 12,3455 Wall clock TIME (seconds) = 20.436 CPU/machine TIME (seconds) = 20.190 Wall clock TIME (seconds) = 65.710 CPU/machine TIME (seconds) = 64.010 12,12 Wall clock TIME (seconds) = 29.719 CPU/machine TIME (seconds) = 29.620 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 12,45 Wall clock TIME (seconds) = 24.883 CPU/machine TIME (seconds) = 24.800 Wall clock TIME (seconds) = 64.051 CPU/machine TIME (seconds) = 64.010 12,78 Wall clock TIME (seconds) = 21.763 CPU/machine TIME (seconds) = 21.430 Wall clock TIME (seconds) = 66.505 CPU/machine TIME (seconds) = 64.010 12,8546 Wall clock TIME (seconds) = 23.081 CPU/machine TIME (seconds) = 22.320 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 12,474 Wall clock TIME (seconds) = 28.284 CPU/machine TIME (seconds) = 28.100 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 12,188 Wall clock TIME (seconds) = 26.365 CPU/machine TIME (seconds) = 26.250 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 12,7899 Wall clock TIME (seconds) = 23.073 CPU/machine TIME (seconds) = 23.030 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 12,9 Wall clock TIME (seconds) = 27.105 CPU/machine TIME (seconds) = 27.040 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 12,774 Wall clock TIME (seconds) = 25.082 CPU/machine TIME (seconds) = 24.820 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 13,3455 Wall clock TIME (seconds) = 20.799 CPU/machine TIME (seconds) = 20.160 Wall clock TIME (seconds) = 66.088 CPU/machine TIME (seconds) = 64.010 13,12 Wall clock TIME (seconds) = 25.753 CPU/machine TIME (seconds) = 25.690 Wall clock TIME (seconds) = 64.306 CPU/machine TIME (seconds) = 64.010 13,45 Wall clock TIME (seconds) = 22.246 CPU/machine TIME (seconds) = 22.000 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 13,78 Wall clock TIME (seconds) = 18.453 CPU/machine TIME (seconds) = 18.400 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 13,8546 Wall clock TIME (seconds) = 22.338 CPU/machine TIME (seconds) = 22.070 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 13,474 Wall clock TIME (seconds) = 24.234 CPU/machine TIME (seconds) = 24.140 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 13,188 Wall clock TIME (seconds) = 19.180 CPU/machine TIME (seconds) = 19.140 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 13,7899 Wall clock TIME (seconds) = 18.036 CPU/machine TIME (seconds) = 17.970 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 13,9 Wall clock TIME (seconds) = 24.315 CPU/machine TIME (seconds) = 24.160 Wall clock TIME (seconds) = 65.057 CPU/machine TIME (seconds) = 64.010 13,774 Wall clock TIME (seconds) = 28.236 CPU/machine TIME (seconds) = 27.860 Wall clock TIME (seconds) = 64.057 CPU/machine TIME (seconds) = 64.010 14,3455 Wall clock TIME (seconds) = 21.717 CPU/machine TIME (seconds) = 21.030 Wall clock TIME (seconds) = 64.693 CPU/machine TIME (seconds) = 64.010 14,12 Wall clock TIME (seconds) = 27.387 CPU/machine TIME (seconds) = 26.710 Wall clock TIME (seconds) = 64.055 CPU/machine TIME (seconds) = 64.010 14,45 Wall clock TIME (seconds) = 18.906 CPU/machine TIME (seconds) = 18.820 Wall clock TIME (seconds) = 64.188 CPU/machine TIME (seconds) = 64.010 14,78 Wall clock TIME (seconds) = 20.010 CPU/machine TIME (seconds) = 19.390 Wall clock TIME (seconds) = 65.252 CPU/machine TIME (seconds) = 64.010 14,8546 Wall clock TIME (seconds) = 24.100 CPU/machine TIME (seconds) = 24.040 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 14,474 Wall clock TIME (seconds) = 22.028 CPU/machine TIME (seconds) = 21.990 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 14,188 Wall clock TIME (seconds) = 23.418 CPU/machine TIME (seconds) = 23.370 Wall clock TIME (seconds) = 64.033 CPU/machine TIME (seconds) = 64.010 14,7899 Wall clock TIME (seconds) = 23.544 CPU/machine TIME (seconds) = 23.350 Wall clock TIME (seconds) = 66.574 CPU/machine TIME (seconds) = 64.010 14,9 Wall clock TIME (seconds) = 22.631 CPU/machine TIME (seconds) = 22.360 Wall clock TIME (seconds) = 64.593 CPU/machine TIME (seconds) = 64.010 14,774 Wall clock TIME (seconds) = 21.683 CPU/machine TIME (seconds) = 21.270 Wall clock TIME (seconds) = 64.871 CPU/machine TIME (seconds) = 64.010 15,3455 Wall clock TIME (seconds) = 21.263 CPU/machine TIME (seconds) = 20.550 Wall clock TIME (seconds) = 70.284 CPU/machine TIME (seconds) = 64.010 15,12 Wall clock TIME (seconds) = 26.209 CPU/machine TIME (seconds) = 26.000 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 15,45 Wall clock TIME (seconds) = 21.138 CPU/machine TIME (seconds) = 21.050 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 15,78 Wall clock TIME (seconds) = 20.522 CPU/machine TIME (seconds) = 19.950 Wall clock TIME (seconds) = 68.166 CPU/machine TIME (seconds) = 64.010 15,8546 Wall clock TIME (seconds) = 25.482 CPU/machine TIME (seconds) = 25.420 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 15,474 Wall clock TIME (seconds) = 30.713 CPU/machine TIME (seconds) = 28.910 Wall clock TIME (seconds) = 64.309 CPU/machine TIME (seconds) = 64.010 15,188 Wall clock TIME (seconds) = 25.998 CPU/machine TIME (seconds) = 25.930 Wall clock TIME (seconds) = 64.057 CPU/machine TIME (seconds) = 64.010 15,7899 Wall clock TIME (seconds) = 19.120 CPU/machine TIME (seconds) = 19.060 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 15,9 Wall clock TIME (seconds) = 20.070 CPU/machine TIME (seconds) = 19.970 Wall clock TIME (seconds) = 64.206 CPU/machine TIME (seconds) = 64.010 15,774 Wall clock TIME (seconds) = 21.125 CPU/machine TIME (seconds) = 21.110 Wall clock TIME (seconds) = 64.082 CPU/machine TIME (seconds) = 64.010 16,3455 Wall clock TIME (seconds) = 23.109 CPU/machine TIME (seconds) = 22.450 Wall clock TIME (seconds) = 66.740 CPU/machine TIME (seconds) = 64.010 16,12 Wall clock TIME (seconds) = 29.093 CPU/machine TIME (seconds) = 28.850 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 16,45 Wall clock TIME (seconds) = 20.108 CPU/machine TIME (seconds) = 20.050 Wall clock TIME (seconds) = 64.021 CPU/machine TIME (seconds) = 64.010 16,78 Wall clock TIME (seconds) = 21.281 CPU/machine TIME (seconds) = 21.030 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 16,8546 Wall clock TIME (seconds) = 24.740 CPU/machine TIME (seconds) = 24.690 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 16,474 Wall clock TIME (seconds) = 20.441 CPU/machine TIME (seconds) = 20.430 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 16,188 Wall clock TIME (seconds) = 21.192 CPU/machine TIME (seconds) = 21.000 Wall clock TIME (seconds) = 64.140 CPU/machine TIME (seconds) = 64.010 16,7899 Wall clock TIME (seconds) = 19.147 CPU/machine TIME (seconds) = 19.040 Wall clock TIME (seconds) = 64.152 CPU/machine TIME (seconds) = 64.010 16,9 Wall clock TIME (seconds) = 20.890 CPU/machine TIME (seconds) = 20.800 Wall clock TIME (seconds) = 64.936 CPU/machine TIME (seconds) = 64.010 16,774 Wall clock TIME (seconds) = 17.813 CPU/machine TIME (seconds) = 17.750 Wall clock TIME (seconds) = 64.044 CPU/machine TIME (seconds) = 64.010 17,3455 Wall clock TIME (seconds) = 20.679 CPU/machine TIME (seconds) = 20.460 Wall clock TIME (seconds) = 65.175 CPU/machine TIME (seconds) = 64.010 17,12 Wall clock TIME (seconds) = 22.265 CPU/machine TIME (seconds) = 22.250 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 17,45 Wall clock TIME (seconds) = 17.818 CPU/machine TIME (seconds) = 17.670 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 17,78 Wall clock TIME (seconds) = 20.278 CPU/machine TIME (seconds) = 19.950 Wall clock TIME (seconds) = 64.096 CPU/machine TIME (seconds) = 64.010 17,8546 Wall clock TIME (seconds) = 17.580 CPU/machine TIME (seconds) = 17.540 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 17,474 Wall clock TIME (seconds) = 25.593 CPU/machine TIME (seconds) = 25.450 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 17,188 Wall clock TIME (seconds) = 18.693 CPU/machine TIME (seconds) = 18.610 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 17,7899 Wall clock TIME (seconds) = 20.563 CPU/machine TIME (seconds) = 20.230 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 17,9 Wall clock TIME (seconds) = 19.033 CPU/machine TIME (seconds) = 19.020 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 17,774 Wall clock TIME (seconds) = 20.015 CPU/machine TIME (seconds) = 19.980 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 18,3455 Wall clock TIME (seconds) = 18.246 CPU/machine TIME (seconds) = 18.110 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 18,12 Wall clock TIME (seconds) = 20.067 CPU/machine TIME (seconds) = 19.890 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 18,45 Wall clock TIME (seconds) = 17.600 CPU/machine TIME (seconds) = 17.570 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 18,78 Wall clock TIME (seconds) = 20.403 CPU/machine TIME (seconds) = 20.380 Wall clock TIME (seconds) = 65.947 CPU/machine TIME (seconds) = 64.010 18,8546 Wall clock TIME (seconds) = 19.796 CPU/machine TIME (seconds) = 19.730 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 18,474 Wall clock TIME (seconds) = 16.364 CPU/machine TIME (seconds) = 15.960 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 18,188 Wall clock TIME (seconds) = 25.496 CPU/machine TIME (seconds) = 25.060 Wall clock TIME (seconds) = 64.709 CPU/machine TIME (seconds) = 64.010 18,7899 Wall clock TIME (seconds) = 18.708 CPU/machine TIME (seconds) = 18.340 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 18,9 Wall clock TIME (seconds) = 22.738 CPU/machine TIME (seconds) = 22.630 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 18,774 Wall clock TIME (seconds) = 20.226 CPU/machine TIME (seconds) = 20.170 Wall clock TIME (seconds) = 64.201 CPU/machine TIME (seconds) = 64.010 19,3455 Wall clock TIME (seconds) = 18.017 CPU/machine TIME (seconds) = 17.820 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 19,12 Wall clock TIME (seconds) = 22.422 CPU/machine TIME (seconds) = 22.330 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 19,45 Wall clock TIME (seconds) = 19.315 CPU/machine TIME (seconds) = 19.290 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 19,78 Wall clock TIME (seconds) = 22.822 CPU/machine TIME (seconds) = 22.280 Wall clock TIME (seconds) = 67.080 CPU/machine TIME (seconds) = 64.020 19,8546 Wall clock TIME (seconds) = 18.588 CPU/machine TIME (seconds) = 18.480 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 19,474 Wall clock TIME (seconds) = 20.518 CPU/machine TIME (seconds) = 20.250 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 19,188 Wall clock TIME (seconds) = 17.503 CPU/machine TIME (seconds) = 17.430 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 19,7899 Wall clock TIME (seconds) = 19.273 CPU/machine TIME (seconds) = 18.970 Wall clock TIME (seconds) = 66.571 CPU/machine TIME (seconds) = 64.010 19,9 Wall clock TIME (seconds) = 20.879 CPU/machine TIME (seconds) = 20.760 Wall clock TIME (seconds) = 64.492 CPU/machine TIME (seconds) = 64.010 19,774 Wall clock TIME (seconds) = 19.877 CPU/machine TIME (seconds) = 19.830 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 20,3455 Wall clock TIME (seconds) = 20.188 CPU/machine TIME (seconds) = 20.150 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 20,12 Wall clock TIME (seconds) = 21.026 CPU/machine TIME (seconds) = 21.000 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 20,45 Wall clock TIME (seconds) = 18.390 CPU/machine TIME (seconds) = 18.330 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 20,78 Wall clock TIME (seconds) = 22.132 CPU/machine TIME (seconds) = 22.090 Wall clock TIME (seconds) = 65.819 CPU/machine TIME (seconds) = 64.010 20,8546 Wall clock TIME (seconds) = 20.538 CPU/machine TIME (seconds) = 20.270 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 20,474 Wall clock TIME (seconds) = 23.301 CPU/machine TIME (seconds) = 23.230 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 20,188 Wall clock TIME (seconds) = 17.513 CPU/machine TIME (seconds) = 17.500 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 20,7899 Wall clock TIME (seconds) = 19.199 CPU/machine TIME (seconds) = 19.160 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 20,9 Wall clock TIME (seconds) = 19.609 CPU/machine TIME (seconds) = 19.520 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 20,774 Wall clock TIME (seconds) = 18.315 CPU/machine TIME (seconds) = 18.210 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 21,3455 Wall clock TIME (seconds) = 21.917 CPU/machine TIME (seconds) = 21.510 Wall clock TIME (seconds) = 65.008 CPU/machine TIME (seconds) = 64.010 21,12 Wall clock TIME (seconds) = 21.048 CPU/machine TIME (seconds) = 20.990 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 21,45 Wall clock TIME (seconds) = 19.057 CPU/machine TIME (seconds) = 19.030 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 21,78 Wall clock TIME (seconds) = 22.043 CPU/machine TIME (seconds) = 21.950 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 21,8546 Wall clock TIME (seconds) = 16.729 CPU/machine TIME (seconds) = 16.700 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 21,474 Wall clock TIME (seconds) = 19.131 CPU/machine TIME (seconds) = 19.070 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 21,188 Wall clock TIME (seconds) = 17.792 CPU/machine TIME (seconds) = 17.770 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 21,7899 Wall clock TIME (seconds) = 18.415 CPU/machine TIME (seconds) = 18.360 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 21,9 Wall clock TIME (seconds) = 18.582 CPU/machine TIME (seconds) = 18.530 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 21,774 Wall clock TIME (seconds) = 20.558 CPU/machine TIME (seconds) = 20.100 Wall clock TIME (seconds) = 64.836 CPU/machine TIME (seconds) = 64.010 22,3455 Wall clock TIME (seconds) = 21.460 CPU/machine TIME (seconds) = 21.350 Wall clock TIME (seconds) = 64.307 CPU/machine TIME (seconds) = 64.010 22,12 Wall clock TIME (seconds) = 19.714 CPU/machine TIME (seconds) = 19.570 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 22,45 Wall clock TIME (seconds) = 18.158 CPU/machine TIME (seconds) = 18.120 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 22,78 Wall clock TIME (seconds) = 20.339 CPU/machine TIME (seconds) = 20.220 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 22,8546 Wall clock TIME (seconds) = 20.405 CPU/machine TIME (seconds) = 20.330 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 22,474 Wall clock TIME (seconds) = 16.929 CPU/machine TIME (seconds) = 16.790 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 22,188 Wall clock TIME (seconds) = 20.508 CPU/machine TIME (seconds) = 20.250 Wall clock TIME (seconds) = 66.217 CPU/machine TIME (seconds) = 64.010 22,7899 Wall clock TIME (seconds) = 19.600 CPU/machine TIME (seconds) = 19.530 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 22,9 Wall clock TIME (seconds) = 16.995 CPU/machine TIME (seconds) = 16.980 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 22,774 Wall clock TIME (seconds) = 18.307 CPU/machine TIME (seconds) = 18.250 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 23,3455 Wall clock TIME (seconds) = 18.873 CPU/machine TIME (seconds) = 18.820 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 23,12 Wall clock TIME (seconds) = 19.602 CPU/machine TIME (seconds) = 19.580 Wall clock TIME (seconds) = 64.052 CPU/machine TIME (seconds) = 64.010 23,45 Wall clock TIME (seconds) = 18.267 CPU/machine TIME (seconds) = 18.190 Wall clock TIME (seconds) = 64.053 CPU/machine TIME (seconds) = 64.010 23,78 Wall clock TIME (seconds) = 20.366 CPU/machine TIME (seconds) = 20.340 Wall clock TIME (seconds) = 64.045 CPU/machine TIME (seconds) = 64.010 23,8546 Wall clock TIME (seconds) = 16.046 CPU/machine TIME (seconds) = 15.780 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 23,474 Wall clock TIME (seconds) = 18.223 CPU/machine TIME (seconds) = 18.100 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 23,188 Wall clock TIME (seconds) = 18.493 CPU/machine TIME (seconds) = 18.380 Wall clock TIME (seconds) = 68.509 CPU/machine TIME (seconds) = 64.010 23,7899 Wall clock TIME (seconds) = 16.615 CPU/machine TIME (seconds) = 16.510 Wall clock TIME (seconds) = 64.151 CPU/machine TIME (seconds) = 64.010 23,9 Wall clock TIME (seconds) = 22.000 CPU/machine TIME (seconds) = 20.990 Wall clock TIME (seconds) = 64.767 CPU/machine TIME (seconds) = 64.010 23,774 Wall clock TIME (seconds) = 16.849 CPU/machine TIME (seconds) = 16.620 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 24,3455 Wall clock TIME (seconds) = 19.312 CPU/machine TIME (seconds) = 19.300 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 24,12 Wall clock TIME (seconds) = 18.058 CPU/machine TIME (seconds) = 17.640 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 24,45 Wall clock TIME (seconds) = 16.977 CPU/machine TIME (seconds) = 16.850 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 24,78 Wall clock TIME (seconds) = 22.294 CPU/machine TIME (seconds) = 21.120 Wall clock TIME (seconds) = 67.271 CPU/machine TIME (seconds) = 64.010 24,8546 Wall clock TIME (seconds) = 14.951 CPU/machine TIME (seconds) = 14.930 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 24,474 Wall clock TIME (seconds) = 18.951 CPU/machine TIME (seconds) = 18.840 Wall clock TIME (seconds) = 69.110 CPU/machine TIME (seconds) = 64.010 24,188 Wall clock TIME (seconds) = 19.081 CPU/machine TIME (seconds) = 19.060 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 24,7899 Wall clock TIME (seconds) = 19.034 CPU/machine TIME (seconds) = 18.930 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 24,9 Wall clock TIME (seconds) = 18.271 CPU/machine TIME (seconds) = 18.230 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 24,774 Wall clock TIME (seconds) = 19.551 CPU/machine TIME (seconds) = 19.390 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 25,3455 Wall clock TIME (seconds) = 17.856 CPU/machine TIME (seconds) = 17.820 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 25,12 Wall clock TIME (seconds) = 19.463 CPU/machine TIME (seconds) = 19.370 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 25,45 Wall clock TIME (seconds) = 22.756 CPU/machine TIME (seconds) = 22.470 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 25,78 Wall clock TIME (seconds) = 17.399 CPU/machine TIME (seconds) = 17.350 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 25,8546 Wall clock TIME (seconds) = 16.308 CPU/machine TIME (seconds) = 16.280 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 25,474 Wall clock TIME (seconds) = 21.178 CPU/machine TIME (seconds) = 21.010 Wall clock TIME (seconds) = 65.668 CPU/machine TIME (seconds) = 64.010 25,188 Wall clock TIME (seconds) = 20.530 CPU/machine TIME (seconds) = 20.340 Wall clock TIME (seconds) = 64.063 CPU/machine TIME (seconds) = 64.010 25,7899 Wall clock TIME (seconds) = 17.434 CPU/machine TIME (seconds) = 17.330 Wall clock TIME (seconds) = 64.063 CPU/machine TIME (seconds) = 64.010 25,9 Wall clock TIME (seconds) = 19.690 CPU/machine TIME (seconds) = 19.660 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 25,774 Wall clock TIME (seconds) = 22.722 CPU/machine TIME (seconds) = 22.510 Wall clock TIME (seconds) = 65.557 CPU/machine TIME (seconds) = 64.010 26,3455 Wall clock TIME (seconds) = 19.019 CPU/machine TIME (seconds) = 18.870 Wall clock TIME (seconds) = 69.066 CPU/machine TIME (seconds) = 64.010 26,12 Wall clock TIME (seconds) = 20.541 CPU/machine TIME (seconds) = 20.370 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 26,45 Wall clock TIME (seconds) = 21.511 CPU/machine TIME (seconds) = 21.390 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 26,78 Wall clock TIME (seconds) = 17.633 CPU/machine TIME (seconds) = 17.460 Wall clock TIME (seconds) = 67.613 CPU/machine TIME (seconds) = 64.010 26,8546 Wall clock TIME (seconds) = 20.938 CPU/machine TIME (seconds) = 20.460 Wall clock TIME (seconds) = 65.253 CPU/machine TIME (seconds) = 64.010 26,474 Wall clock TIME (seconds) = 19.073 CPU/machine TIME (seconds) = 19.050 Wall clock TIME (seconds) = 65.008 CPU/machine TIME (seconds) = 64.010 26,188 Wall clock TIME (seconds) = 17.280 CPU/machine TIME (seconds) = 17.160 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 26,7899 Wall clock TIME (seconds) = 17.543 CPU/machine TIME (seconds) = 17.400 Wall clock TIME (seconds) = 64.075 CPU/machine TIME (seconds) = 64.010 26,9 Wall clock TIME (seconds) = 22.705 CPU/machine TIME (seconds) = 22.500 Wall clock TIME (seconds) = 65.104 CPU/machine TIME (seconds) = 64.010 26,774 Wall clock TIME (seconds) = 19.320 CPU/machine TIME (seconds) = 18.750 Wall clock TIME (seconds) = 65.963 CPU/machine TIME (seconds) = 64.010 27,3455 Wall clock TIME (seconds) = 17.162 CPU/machine TIME (seconds) = 17.110 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 27,12 Wall clock TIME (seconds) = 17.086 CPU/machine TIME (seconds) = 17.040 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 27,45 Wall clock TIME (seconds) = 18.724 CPU/machine TIME (seconds) = 18.640 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 27,78 Wall clock TIME (seconds) = 20.908 CPU/machine TIME (seconds) = 20.620 Wall clock TIME (seconds) = 65.843 CPU/machine TIME (seconds) = 64.010 27,8546 Wall clock TIME (seconds) = 19.723 CPU/machine TIME (seconds) = 19.710 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 27,474 Wall clock TIME (seconds) = 18.476 CPU/machine TIME (seconds) = 18.420 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 27,188 Wall clock TIME (seconds) = 21.034 CPU/machine TIME (seconds) = 20.580 Wall clock TIME (seconds) = 64.464 CPU/machine TIME (seconds) = 64.010 27,7899 Wall clock TIME (seconds) = 18.016 CPU/machine TIME (seconds) = 17.980 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 27,9 Wall clock TIME (seconds) = 19.109 CPU/machine TIME (seconds) = 18.930 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 27,774 Wall clock TIME (seconds) = 18.494 CPU/machine TIME (seconds) = 17.850 Wall clock TIME (seconds) = 64.659 CPU/machine TIME (seconds) = 64.010 28,3455 Wall clock TIME (seconds) = 17.171 CPU/machine TIME (seconds) = 17.130 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 28,12 Wall clock TIME (seconds) = 17.735 CPU/machine TIME (seconds) = 17.670 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 28,45 Wall clock TIME (seconds) = 15.777 CPU/machine TIME (seconds) = 15.690 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 28,78 Wall clock TIME (seconds) = 20.188 CPU/machine TIME (seconds) = 20.110 Wall clock TIME (seconds) = 66.185 CPU/machine TIME (seconds) = 64.010 28,8546 Wall clock TIME (seconds) = 18.659 CPU/machine TIME (seconds) = 18.640 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 28,474 Wall clock TIME (seconds) = 17.126 CPU/machine TIME (seconds) = 17.070 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 28,188 Wall clock TIME (seconds) = 17.072 CPU/machine TIME (seconds) = 17.050 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 28,7899 Wall clock TIME (seconds) = 16.855 CPU/machine TIME (seconds) = 16.830 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 28,9 Wall clock TIME (seconds) = 20.805 CPU/machine TIME (seconds) = 20.770 Wall clock TIME (seconds) = 64.934 CPU/machine TIME (seconds) = 64.010 28,774 Wall clock TIME (seconds) = 18.129 CPU/machine TIME (seconds) = 18.090 Wall clock TIME (seconds) = 65.427 CPU/machine TIME (seconds) = 64.010 29,3455 Wall clock TIME (seconds) = 17.076 CPU/machine TIME (seconds) = 17.070 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 29,12 Wall clock TIME (seconds) = 20.237 CPU/machine TIME (seconds) = 20.080 Wall clock TIME (seconds) = 64.535 CPU/machine TIME (seconds) = 64.010 29,45 Wall clock TIME (seconds) = 17.434 CPU/machine TIME (seconds) = 17.290 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 29,78 Wall clock TIME (seconds) = 23.974 CPU/machine TIME (seconds) = 23.750 Wall clock TIME (seconds) = 64.820 CPU/machine TIME (seconds) = 64.010 29,8546 Wall clock TIME (seconds) = 17.984 CPU/machine TIME (seconds) = 17.480 Wall clock TIME (seconds) = 64.099 CPU/machine TIME (seconds) = 64.010 29,474 Wall clock TIME (seconds) = 19.472 CPU/machine TIME (seconds) = 19.350 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 29,188 Wall clock TIME (seconds) = 17.527 CPU/machine TIME (seconds) = 17.270 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 29,7899 Wall clock TIME (seconds) = 18.102 CPU/machine TIME (seconds) = 18.060 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 29,9 Wall clock TIME (seconds) = 18.894 CPU/machine TIME (seconds) = 18.690 Wall clock TIME (seconds) = 66.738 CPU/machine TIME (seconds) = 64.010 29,774 Wall clock TIME (seconds) = 21.501 CPU/machine TIME (seconds) = 21.460 Wall clock TIME (seconds) = 64.121 CPU/machine TIME (seconds) = 64.010 30,3455 Wall clock TIME (seconds) = 21.070 CPU/machine TIME (seconds) = 20.930 Wall clock TIME (seconds) = 66.063 CPU/machine TIME (seconds) = 64.010 30,12 Wall clock TIME (seconds) = 15.712 CPU/machine TIME (seconds) = 15.660 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 30,45 Wall clock TIME (seconds) = 17.892 CPU/machine TIME (seconds) = 17.860 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 30,78 Wall clock TIME (seconds) = 16.807 CPU/machine TIME (seconds) = 16.730 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 30,8546 Wall clock TIME (seconds) = 17.602 CPU/machine TIME (seconds) = 17.250 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 30,474 Wall clock TIME (seconds) = 17.933 CPU/machine TIME (seconds) = 17.840 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 30,188 Wall clock TIME (seconds) = 18.418 CPU/machine TIME (seconds) = 18.040 Wall clock TIME (seconds) = 65.111 CPU/machine TIME (seconds) = 64.010 30,7899 Wall clock TIME (seconds) = 16.785 CPU/machine TIME (seconds) = 16.710 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 30,9 Wall clock TIME (seconds) = 18.412 CPU/machine TIME (seconds) = 18.260 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 30,774 Wall clock TIME (seconds) = 17.011 CPU/machine TIME (seconds) = 16.950 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 31,3455 Wall clock TIME (seconds) = 16.253 CPU/machine TIME (seconds) = 16.190 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 31,12 Wall clock TIME (seconds) = 17.820 CPU/machine TIME (seconds) = 17.750 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 31,45 Wall clock TIME (seconds) = 15.416 CPU/machine TIME (seconds) = 15.370 Wall clock TIME (seconds) = 64.049 CPU/machine TIME (seconds) = 64.010 31,78 Wall clock TIME (seconds) = 18.863 CPU/machine TIME (seconds) = 18.810 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 31,8546 Wall clock TIME (seconds) = 18.486 CPU/machine TIME (seconds) = 18.330 Wall clock TIME (seconds) = 65.285 CPU/machine TIME (seconds) = 64.010 31,474 Wall clock TIME (seconds) = 15.427 CPU/machine TIME (seconds) = 15.320 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 31,188 Wall clock TIME (seconds) = 16.164 CPU/machine TIME (seconds) = 16.120 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 31,7899 Wall clock TIME (seconds) = 17.845 CPU/machine TIME (seconds) = 17.810 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 31,9 Wall clock TIME (seconds) = 20.330 CPU/machine TIME (seconds) = 19.600 Wall clock TIME (seconds) = 64.890 CPU/machine TIME (seconds) = 64.010 31,774 Wall clock TIME (seconds) = 15.358 CPU/machine TIME (seconds) = 15.340 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 32,3455 Wall clock TIME (seconds) = 22.696 CPU/machine TIME (seconds) = 22.360 Wall clock TIME (seconds) = 65.063 CPU/machine TIME (seconds) = 64.010 32,12 Wall clock TIME (seconds) = 17.252 CPU/machine TIME (seconds) = 17.200 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 32,45 Wall clock TIME (seconds) = 11.132 CPU/machine TIME (seconds) = 11.040 Wall clock TIME (seconds) = 64.100 CPU/machine TIME (seconds) = 64.010 32,78 Wall clock TIME (seconds) = 18.595 CPU/machine TIME (seconds) = 18.550 Wall clock TIME (seconds) = 66.716 CPU/machine TIME (seconds) = 64.010 32,8546 Wall clock TIME (seconds) = 13.737 CPU/machine TIME (seconds) = 13.670 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 32,474 Wall clock TIME (seconds) = 17.521 CPU/machine TIME (seconds) = 17.280 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 32,188 Wall clock TIME (seconds) = 19.870 CPU/machine TIME (seconds) = 19.410 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 32,7899 Wall clock TIME (seconds) = 15.895 CPU/machine TIME (seconds) = 15.800 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 32,9 Wall clock TIME (seconds) = 17.830 CPU/machine TIME (seconds) = 17.600 Wall clock TIME (seconds) = 65.150 CPU/machine TIME (seconds) = 64.010 32,774 Wall clock TIME (seconds) = 17.591 CPU/machine TIME (seconds) = 17.470 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 33,3455 Wall clock TIME (seconds) = 17.592 CPU/machine TIME (seconds) = 17.440 Wall clock TIME (seconds) = 64.358 CPU/machine TIME (seconds) = 64.010 33,12 Wall clock TIME (seconds) = 17.341 CPU/machine TIME (seconds) = 17.160 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 33,45 Wall clock TIME (seconds) = 17.228 CPU/machine TIME (seconds) = 17.190 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 33,78 Wall clock TIME (seconds) = 17.363 CPU/machine TIME (seconds) = 17.320 Wall clock TIME (seconds) = 66.400 CPU/machine TIME (seconds) = 64.010 33,8546 Wall clock TIME (seconds) = 18.982 CPU/machine TIME (seconds) = 18.810 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 33,474 Wall clock TIME (seconds) = 21.676 CPU/machine TIME (seconds) = 21.650 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 33,188 Wall clock TIME (seconds) = 13.654 CPU/machine TIME (seconds) = 13.610 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 33,7899 Wall clock TIME (seconds) = 19.494 CPU/machine TIME (seconds) = 19.460 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 33,9 Wall clock TIME (seconds) = 17.334 CPU/machine TIME (seconds) = 17.310 Wall clock TIME (seconds) = 69.029 CPU/machine TIME (seconds) = 64.010 33,774 Wall clock TIME (seconds) = 18.824 CPU/machine TIME (seconds) = 18.700 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 34,3455 Wall clock TIME (seconds) = 16.937 CPU/machine TIME (seconds) = 16.860 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 34,12 Wall clock TIME (seconds) = 18.902 CPU/machine TIME (seconds) = 18.620 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 34,45 Wall clock TIME (seconds) = 14.771 CPU/machine TIME (seconds) = 14.710 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 34,78 Wall clock TIME (seconds) = 13.188 CPU/machine TIME (seconds) = 13.140 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 34,8546 Wall clock TIME (seconds) = 18.402 CPU/machine TIME (seconds) = 18.370 Wall clock TIME (seconds) = 64.645 CPU/machine TIME (seconds) = 64.010 34,474 Wall clock TIME (seconds) = 15.891 CPU/machine TIME (seconds) = 15.860 Wall clock TIME (seconds) = 64.099 CPU/machine TIME (seconds) = 64.010 34,188 Wall clock TIME (seconds) = 16.725 CPU/machine TIME (seconds) = 16.530 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 34,7899 Wall clock TIME (seconds) = 16.346 CPU/machine TIME (seconds) = 16.270 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 34,9 Wall clock TIME (seconds) = 16.830 CPU/machine TIME (seconds) = 16.670 Wall clock TIME (seconds) = 64.083 CPU/machine TIME (seconds) = 64.010 34,774 Wall clock TIME (seconds) = 15.330 CPU/machine TIME (seconds) = 15.310 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 35,3455 Wall clock TIME (seconds) = 18.656 CPU/machine TIME (seconds) = 18.530 Wall clock TIME (seconds) = 66.390 CPU/machine TIME (seconds) = 64.010 35,12 Wall clock TIME (seconds) = 15.137 CPU/machine TIME (seconds) = 15.000 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 35,45 Wall clock TIME (seconds) = 15.176 CPU/machine TIME (seconds) = 15.130 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 35,78 Wall clock TIME (seconds) = 13.833 CPU/machine TIME (seconds) = 13.660 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 35,8546 Wall clock TIME (seconds) = 16.395 CPU/machine TIME (seconds) = 16.330 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 35,474 Wall clock TIME (seconds) = 17.354 CPU/machine TIME (seconds) = 17.310 Wall clock TIME (seconds) = 64.005 CPU/machine TIME (seconds) = 64.010 35,188 Wall clock TIME (seconds) = 14.214 CPU/machine TIME (seconds) = 14.180 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 35,7899 Wall clock TIME (seconds) = 14.288 CPU/machine TIME (seconds) = 14.270 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 35,9 Wall clock TIME (seconds) = 20.550 CPU/machine TIME (seconds) = 20.470 Wall clock TIME (seconds) = 64.502 CPU/machine TIME (seconds) = 64.010 35,774 Wall clock TIME (seconds) = 14.438 CPU/machine TIME (seconds) = 14.090 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 36,3455 Wall clock TIME (seconds) = 18.640 CPU/machine TIME (seconds) = 18.610 Wall clock TIME (seconds) = 65.167 CPU/machine TIME (seconds) = 64.010 36,12 Wall clock TIME (seconds) = 13.760 CPU/machine TIME (seconds) = 13.700 Wall clock TIME (seconds) = 64.060 CPU/machine TIME (seconds) = 64.010 36,45 Wall clock TIME (seconds) = 15.668 CPU/machine TIME (seconds) = 15.570 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 36,78 Wall clock TIME (seconds) = 17.552 CPU/machine TIME (seconds) = 17.420 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 36,8546 Wall clock TIME (seconds) = 15.751 CPU/machine TIME (seconds) = 15.720 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 36,474 Wall clock TIME (seconds) = 18.525 CPU/machine TIME (seconds) = 18.050 Wall clock TIME (seconds) = 64.318 CPU/machine TIME (seconds) = 64.010 36,188 Wall clock TIME (seconds) = 13.125 CPU/machine TIME (seconds) = 12.680 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 36,7899 Wall clock TIME (seconds) = 15.927 CPU/machine TIME (seconds) = 15.850 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 36,9 Wall clock TIME (seconds) = 17.078 CPU/machine TIME (seconds) = 16.910 Wall clock TIME (seconds) = 64.406 CPU/machine TIME (seconds) = 64.010 36,774 Wall clock TIME (seconds) = 17.709 CPU/machine TIME (seconds) = 17.680 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 37,3455 Wall clock TIME (seconds) = 15.466 CPU/machine TIME (seconds) = 15.440 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 37,12 Wall clock TIME (seconds) = 15.129 CPU/machine TIME (seconds) = 15.100 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 37,45 Wall clock TIME (seconds) = 14.483 CPU/machine TIME (seconds) = 14.380 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 37,78 Wall clock TIME (seconds) = 17.759 CPU/machine TIME (seconds) = 17.720 Wall clock TIME (seconds) = 64.993 CPU/machine TIME (seconds) = 64.010 37,8546 Wall clock TIME (seconds) = 13.506 CPU/machine TIME (seconds) = 13.290 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 37,474 Wall clock TIME (seconds) = 15.800 CPU/machine TIME (seconds) = 15.760 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 37,188 Wall clock TIME (seconds) = 15.126 CPU/machine TIME (seconds) = 15.070 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 37,7899 Wall clock TIME (seconds) = 18.399 CPU/machine TIME (seconds) = 18.200 Wall clock TIME (seconds) = 64.133 CPU/machine TIME (seconds) = 64.010 37,9 Wall clock TIME (seconds) = 16.602 CPU/machine TIME (seconds) = 16.490 Wall clock TIME (seconds) = 64.850 CPU/machine TIME (seconds) = 64.010 37,774 Wall clock TIME (seconds) = 18.043 CPU/machine TIME (seconds) = 18.000 Wall clock TIME (seconds) = 64.888 CPU/machine TIME (seconds) = 64.010 38,3455 Wall clock TIME (seconds) = 16.642 CPU/machine TIME (seconds) = 16.620 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 38,12 Wall clock TIME (seconds) = 12.612 CPU/machine TIME (seconds) = 12.500 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 38,45 Wall clock TIME (seconds) = 16.697 CPU/machine TIME (seconds) = 16.660 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 38,78 Wall clock TIME (seconds) = 16.853 CPU/machine TIME (seconds) = 16.590 Wall clock TIME (seconds) = 65.654 CPU/machine TIME (seconds) = 64.010 38,8546 Wall clock TIME (seconds) = 17.259 CPU/machine TIME (seconds) = 17.130 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 38,474 Wall clock TIME (seconds) = 15.229 CPU/machine TIME (seconds) = 15.170 Wall clock TIME (seconds) = 64.090 CPU/machine TIME (seconds) = 64.010 38,188 Wall clock TIME (seconds) = 19.859 CPU/machine TIME (seconds) = 19.360 Wall clock TIME (seconds) = 65.031 CPU/machine TIME (seconds) = 64.010 38,7899 Wall clock TIME (seconds) = 14.535 CPU/machine TIME (seconds) = 14.450 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 38,9 Wall clock TIME (seconds) = 16.484 CPU/machine TIME (seconds) = 16.410 Wall clock TIME (seconds) = 64.045 CPU/machine TIME (seconds) = 64.010 38,774 Wall clock TIME (seconds) = 16.682 CPU/machine TIME (seconds) = 16.640 Wall clock TIME (seconds) = 65.466 CPU/machine TIME (seconds) = 64.010 39,3455 Wall clock TIME (seconds) = 12.364 CPU/machine TIME (seconds) = 12.300 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 39,12 Wall clock TIME (seconds) = 12.861 CPU/machine TIME (seconds) = 12.800 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 39,45 Wall clock TIME (seconds) = 14.170 CPU/machine TIME (seconds) = 14.130 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 39,78 Wall clock TIME (seconds) = 16.870 CPU/machine TIME (seconds) = 16.760 Wall clock TIME (seconds) = 69.818 CPU/machine TIME (seconds) = 64.010 39,8546 Wall clock TIME (seconds) = 15.732 CPU/machine TIME (seconds) = 15.420 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 39,474 Wall clock TIME (seconds) = 15.612 CPU/machine TIME (seconds) = 15.550 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 39,188 Wall clock TIME (seconds) = 17.202 CPU/machine TIME (seconds) = 16.700 Wall clock TIME (seconds) = 66.004 CPU/machine TIME (seconds) = 64.010 39,7899 Wall clock TIME (seconds) = 15.065 CPU/machine TIME (seconds) = 15.020 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 39,9 Wall clock TIME (seconds) = 17.364 CPU/machine TIME (seconds) = 17.000 Wall clock TIME (seconds) = 70.580 CPU/machine TIME (seconds) = 64.010 39,774 Wall clock TIME (seconds) = 19.439 CPU/machine TIME (seconds) = 18.990 Wall clock TIME (seconds) = 64.521 CPU/machine TIME (seconds) = 64.010 40,3455 Wall clock TIME (seconds) = 15.970 CPU/machine TIME (seconds) = 15.950 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 40,12 Wall clock TIME (seconds) = 12.524 CPU/machine TIME (seconds) = 12.410 Wall clock TIME (seconds) = 64.104 CPU/machine TIME (seconds) = 64.010 40,45 Wall clock TIME (seconds) = 16.624 CPU/machine TIME (seconds) = 16.470 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 40,78 Wall clock TIME (seconds) = 14.970 CPU/machine TIME (seconds) = 14.940 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 40,8546 Wall clock TIME (seconds) = 17.539 CPU/machine TIME (seconds) = 17.430 Wall clock TIME (seconds) = 64.041 CPU/machine TIME (seconds) = 64.010 40,474 Wall clock TIME (seconds) = 14.894 CPU/machine TIME (seconds) = 14.650 Wall clock TIME (seconds) = 64.135 CPU/machine TIME (seconds) = 64.010 40,188 Wall clock TIME (seconds) = 15.944 CPU/machine TIME (seconds) = 15.640 Wall clock TIME (seconds) = 65.301 CPU/machine TIME (seconds) = 64.010 40,7899 Wall clock TIME (seconds) = 13.563 CPU/machine TIME (seconds) = 13.410 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 40,9 Wall clock TIME (seconds) = 17.470 CPU/machine TIME (seconds) = 17.180 Wall clock TIME (seconds) = 69.026 CPU/machine TIME (seconds) = 64.010 40,774 Wall clock TIME (seconds) = 18.289 CPU/machine TIME (seconds) = 18.050 Wall clock TIME (seconds) = 64.865 CPU/machine TIME (seconds) = 64.010 41,3455 Wall clock TIME (seconds) = 18.336 CPU/machine TIME (seconds) = 18.310 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 41,12 Wall clock TIME (seconds) = 12.761 CPU/machine TIME (seconds) = 12.580 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 41,45 Wall clock TIME (seconds) = 15.268 CPU/machine TIME (seconds) = 15.080 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 41,78 Wall clock TIME (seconds) = 16.573 CPU/machine TIME (seconds) = 16.440 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 41,8546 Wall clock TIME (seconds) = 15.054 CPU/machine TIME (seconds) = 14.980 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 41,474 Wall clock TIME (seconds) = 15.190 CPU/machine TIME (seconds) = 15.150 Wall clock TIME (seconds) = 64.115 CPU/machine TIME (seconds) = 64.010 41,188 Wall clock TIME (seconds) = 18.414 CPU/machine TIME (seconds) = 18.290 Wall clock TIME (seconds) = 65.429 CPU/machine TIME (seconds) = 64.010 41,7899 Wall clock TIME (seconds) = 14.883 CPU/machine TIME (seconds) = 14.760 Wall clock TIME (seconds) = 64.087 CPU/machine TIME (seconds) = 64.010 41,9 Wall clock TIME (seconds) = 19.073 CPU/machine TIME (seconds) = 18.920 Wall clock TIME (seconds) = 67.615 CPU/machine TIME (seconds) = 64.010 41,774 Wall clock TIME (seconds) = 13.940 CPU/machine TIME (seconds) = 13.920 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 42,3455 Wall clock TIME (seconds) = 16.043 CPU/machine TIME (seconds) = 16.020 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 42,12 Wall clock TIME (seconds) = 14.101 CPU/machine TIME (seconds) = 13.980 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 42,45 Wall clock TIME (seconds) = 13.376 CPU/machine TIME (seconds) = 13.350 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 42,78 Wall clock TIME (seconds) = 14.698 CPU/machine TIME (seconds) = 14.660 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 42,8546 Wall clock TIME (seconds) = 15.516 CPU/machine TIME (seconds) = 15.380 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 42,474 Wall clock TIME (seconds) = 14.703 CPU/machine TIME (seconds) = 14.670 Wall clock TIME (seconds) = 64.176 CPU/machine TIME (seconds) = 64.010 42,188 Wall clock TIME (seconds) = 15.402 CPU/machine TIME (seconds) = 14.840 Wall clock TIME (seconds) = 64.078 CPU/machine TIME (seconds) = 64.010 42,7899 Wall clock TIME (seconds) = 15.342 CPU/machine TIME (seconds) = 15.140 Wall clock TIME (seconds) = 64.118 CPU/machine TIME (seconds) = 64.010 42,9 Wall clock TIME (seconds) = 17.279 CPU/machine TIME (seconds) = 17.080 Wall clock TIME (seconds) = 64.045 CPU/machine TIME (seconds) = 64.010 42,774 Wall clock TIME (seconds) = 18.396 CPU/machine TIME (seconds) = 18.320 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 43,3455 Wall clock TIME (seconds) = 16.555 CPU/machine TIME (seconds) = 16.540 Wall clock TIME (seconds) = 64.060 CPU/machine TIME (seconds) = 64.010 43,12 Wall clock TIME (seconds) = 11.968 CPU/machine TIME (seconds) = 11.800 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 43,45 Wall clock TIME (seconds) = 15.149 CPU/machine TIME (seconds) = 15.000 Wall clock TIME (seconds) = 64.037 CPU/machine TIME (seconds) = 64.010 43,78 Wall clock TIME (seconds) = 15.415 CPU/machine TIME (seconds) = 15.340 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 43,8546 Wall clock TIME (seconds) = 14.542 CPU/machine TIME (seconds) = 14.510 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 43,474 Wall clock TIME (seconds) = 16.526 CPU/machine TIME (seconds) = 16.180 Wall clock TIME (seconds) = 64.827 CPU/machine TIME (seconds) = 64.010 43,188 Wall clock TIME (seconds) = 15.621 CPU/machine TIME (seconds) = 15.510 Wall clock TIME (seconds) = 67.787 CPU/machine TIME (seconds) = 64.010 43,7899 Wall clock TIME (seconds) = 16.538 CPU/machine TIME (seconds) = 16.120 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 43,9 Wall clock TIME (seconds) = 15.147 CPU/machine TIME (seconds) = 15.050 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 43,774 Wall clock TIME (seconds) = 15.787 CPU/machine TIME (seconds) = 15.640 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 44,3455 Wall clock TIME (seconds) = 17.185 CPU/machine TIME (seconds) = 17.170 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 44,12 Wall clock TIME (seconds) = 10.136 CPU/machine TIME (seconds) = 10.030 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 44,45 Wall clock TIME (seconds) = 14.826 CPU/machine TIME (seconds) = 14.690 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 44,78 Wall clock TIME (seconds) = 15.965 CPU/machine TIME (seconds) = 15.340 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 44,8546 Wall clock TIME (seconds) = 14.509 CPU/machine TIME (seconds) = 14.340 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 44,474 Wall clock TIME (seconds) = 16.832 CPU/machine TIME (seconds) = 16.670 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 44,188 Wall clock TIME (seconds) = 16.376 CPU/machine TIME (seconds) = 16.250 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 44,7899 Wall clock TIME (seconds) = 13.566 CPU/machine TIME (seconds) = 13.520 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 44,9 Wall clock TIME (seconds) = 15.468 CPU/machine TIME (seconds) = 15.390 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 44,774 Wall clock TIME (seconds) = 15.407 CPU/machine TIME (seconds) = 14.990 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 45,3455 Wall clock TIME (seconds) = 18.257 CPU/machine TIME (seconds) = 18.180 Wall clock TIME (seconds) = 64.115 CPU/machine TIME (seconds) = 64.010 45,12 Wall clock TIME (seconds) = 13.246 CPU/machine TIME (seconds) = 13.210 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 45,45 Wall clock TIME (seconds) = 15.555 CPU/machine TIME (seconds) = 15.490 Wall clock TIME (seconds) = 64.050 CPU/machine TIME (seconds) = 64.010 45,78 Wall clock TIME (seconds) = 14.958 CPU/machine TIME (seconds) = 14.580 Wall clock TIME (seconds) = 64.077 CPU/machine TIME (seconds) = 64.010 45,8546 Wall clock TIME (seconds) = 16.007 CPU/machine TIME (seconds) = 15.970 Wall clock TIME (seconds) = 65.148 CPU/machine TIME (seconds) = 64.010 45,474 Wall clock TIME (seconds) = 12.891 CPU/machine TIME (seconds) = 12.740 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 45,188 Wall clock TIME (seconds) = 15.120 CPU/machine TIME (seconds) = 15.070 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 45,7899 Wall clock TIME (seconds) = 12.697 CPU/machine TIME (seconds) = 12.690 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 45,9 Wall clock TIME (seconds) = 17.941 CPU/machine TIME (seconds) = 17.690 Wall clock TIME (seconds) = 64.748 CPU/machine TIME (seconds) = 64.010 45,774 Wall clock TIME (seconds) = 16.167 CPU/machine TIME (seconds) = 15.940 Wall clock TIME (seconds) = 64.083 CPU/machine TIME (seconds) = 64.010 46,3455 Wall clock TIME (seconds) = 16.796 CPU/machine TIME (seconds) = 16.640 Wall clock TIME (seconds) = 65.954 CPU/machine TIME (seconds) = 64.010 46,12 Wall clock TIME (seconds) = 12.674 CPU/machine TIME (seconds) = 12.510 Wall clock TIME (seconds) = 64.035 CPU/machine TIME (seconds) = 64.010 46,45 Wall clock TIME (seconds) = 13.098 CPU/machine TIME (seconds) = 13.040 Wall clock TIME (seconds) = 64.081 CPU/machine TIME (seconds) = 64.010 46,78 Wall clock TIME (seconds) = 14.634 CPU/machine TIME (seconds) = 14.540 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 46,8546 Wall clock TIME (seconds) = 14.011 CPU/machine TIME (seconds) = 13.940 Wall clock TIME (seconds) = 64.114 CPU/machine TIME (seconds) = 64.010 46,474 Wall clock TIME (seconds) = 14.094 CPU/machine TIME (seconds) = 13.990 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 46,188 Wall clock TIME (seconds) = 16.537 CPU/machine TIME (seconds) = 16.120 Wall clock TIME (seconds) = 64.151 CPU/machine TIME (seconds) = 64.010 46,7899 Wall clock TIME (seconds) = 15.455 CPU/machine TIME (seconds) = 15.430 Wall clock TIME (seconds) = 68.447 CPU/machine TIME (seconds) = 64.010 46,9 Wall clock TIME (seconds) = 15.429 CPU/machine TIME (seconds) = 15.360 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 46,774 Wall clock TIME (seconds) = 17.269 CPU/machine TIME (seconds) = 17.030 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 47,3455 Wall clock TIME (seconds) = 16.633 CPU/machine TIME (seconds) = 16.360 Wall clock TIME (seconds) = 66.936 CPU/machine TIME (seconds) = 64.010 47,12 Wall clock TIME (seconds) = 12.284 CPU/machine TIME (seconds) = 12.180 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 47,45 Wall clock TIME (seconds) = 14.700 CPU/machine TIME (seconds) = 14.680 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 47,78 Wall clock TIME (seconds) = 14.277 CPU/machine TIME (seconds) = 14.050 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 47,8546 Wall clock TIME (seconds) = 16.575 CPU/machine TIME (seconds) = 16.210 Wall clock TIME (seconds) = 64.361 CPU/machine TIME (seconds) = 64.010 47,474 Wall clock TIME (seconds) = 14.753 CPU/machine TIME (seconds) = 14.720 Wall clock TIME (seconds) = 64.009 CPU/machine TIME (seconds) = 64.010 47,188 Wall clock TIME (seconds) = 14.771 CPU/machine TIME (seconds) = 14.650 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 47,7899 Wall clock TIME (seconds) = 14.709 CPU/machine TIME (seconds) = 14.500 Wall clock TIME (seconds) = 67.167 CPU/machine TIME (seconds) = 64.010 47,9 Wall clock TIME (seconds) = 14.200 CPU/machine TIME (seconds) = 14.060 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 47,774 Wall clock TIME (seconds) = 15.639 CPU/machine TIME (seconds) = 15.580 Wall clock TIME (seconds) = 66.454 CPU/machine TIME (seconds) = 64.010 48,3455 Wall clock TIME (seconds) = 17.406 CPU/machine TIME (seconds) = 17.380 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 48,12 Wall clock TIME (seconds) = 13.237 CPU/machine TIME (seconds) = 13.220 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 48,45 Wall clock TIME (seconds) = 14.047 CPU/machine TIME (seconds) = 13.960 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 48,78 Wall clock TIME (seconds) = 13.652 CPU/machine TIME (seconds) = 13.560 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 48,8546 Wall clock TIME (seconds) = 14.482 CPU/machine TIME (seconds) = 14.360 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 48,474 Wall clock TIME (seconds) = 15.546 CPU/machine TIME (seconds) = 15.500 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 48,188 Wall clock TIME (seconds) = 14.034 CPU/machine TIME (seconds) = 13.970 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 48,7899 Wall clock TIME (seconds) = 15.588 CPU/machine TIME (seconds) = 15.270 Wall clock TIME (seconds) = 67.074 CPU/machine TIME (seconds) = 64.010 48,9 Wall clock TIME (seconds) = 17.256 CPU/machine TIME (seconds) = 17.040 Wall clock TIME (seconds) = 64.304 CPU/machine TIME (seconds) = 64.010 48,774 Wall clock TIME (seconds) = 14.807 CPU/machine TIME (seconds) = 14.760 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 49,3455 Wall clock TIME (seconds) = 13.149 CPU/machine TIME (seconds) = 13.080 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 49,12 Wall clock TIME (seconds) = 12.166 CPU/machine TIME (seconds) = 12.050 Wall clock TIME (seconds) = 64.085 CPU/machine TIME (seconds) = 64.010 49,45 Wall clock TIME (seconds) = 13.037 CPU/machine TIME (seconds) = 13.000 Wall clock TIME (seconds) = 64.066 CPU/machine TIME (seconds) = 64.010 49,78 Wall clock TIME (seconds) = 11.740 CPU/machine TIME (seconds) = 11.690 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 49,8546 Wall clock TIME (seconds) = 13.985 CPU/machine TIME (seconds) = 13.700 Wall clock TIME (seconds) = 66.132 CPU/machine TIME (seconds) = 64.010 49,474 Wall clock TIME (seconds) = 15.068 CPU/machine TIME (seconds) = 14.980 Wall clock TIME (seconds) = 64.448 CPU/machine TIME (seconds) = 64.010 49,188 Wall clock TIME (seconds) = 14.860 CPU/machine TIME (seconds) = 14.830 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 49,7899 Wall clock TIME (seconds) = 15.260 CPU/machine TIME (seconds) = 15.110 Wall clock TIME (seconds) = 64.357 CPU/machine TIME (seconds) = 64.010 49,9 Wall clock TIME (seconds) = 13.668 CPU/machine TIME (seconds) = 13.410 Wall clock TIME (seconds) = 64.059 CPU/machine TIME (seconds) = 64.010 49,774 Wall clock TIME (seconds) = 17.979 CPU/machine TIME (seconds) = 17.580 Wall clock TIME (seconds) = 64.098 CPU/machine TIME (seconds) = 64.010 50,3455 Wall clock TIME (seconds) = 15.053 CPU/machine TIME (seconds) = 15.010 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 50,12 Wall clock TIME (seconds) = 13.055 CPU/machine TIME (seconds) = 12.930 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 50,45 Wall clock TIME (seconds) = 13.482 CPU/machine TIME (seconds) = 13.420 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 50,78 Wall clock TIME (seconds) = 13.689 CPU/machine TIME (seconds) = 13.600 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 50,8546 Wall clock TIME (seconds) = 16.410 CPU/machine TIME (seconds) = 16.090 Wall clock TIME (seconds) = 65.863 CPU/machine TIME (seconds) = 64.010 50,474 Wall clock TIME (seconds) = 12.048 CPU/machine TIME (seconds) = 12.010 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 50,188 Wall clock TIME (seconds) = 13.683 CPU/machine TIME (seconds) = 13.640 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 50,7899 Wall clock TIME (seconds) = 14.633 CPU/machine TIME (seconds) = 14.480 Wall clock TIME (seconds) = 64.667 CPU/machine TIME (seconds) = 64.010 50,9 Wall clock TIME (seconds) = 14.649 CPU/machine TIME (seconds) = 14.310 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 50,774 Wall clock TIME (seconds) = 14.878 CPU/machine TIME (seconds) = 14.820 Wall clock TIME (seconds) = 64.030 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 total makespan = 0 3,12 total makespan = 0 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 total makespan = 0 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 total makespan = 0 4,3455 total makespan = 0 4,12 total makespan = 0 4,45 total makespan = 0 4,78 total makespan = 0 4,8546 total makespan = 0 4,474 total makespan = 0 4,188 total makespan = 0 4,7899 total makespan = 0 4,9 total makespan = 0 4,774 total makespan = 0 5,3455 total makespan = 0 5,12 total makespan = 0 5,45 total makespan = 0 5,78 total makespan = 0 5,8546 total makespan = 0 5,474 total makespan = 0 5,188 total makespan = 0 5,7899 total makespan = 0 5,9 total makespan = 0 5,774 total makespan = 0 6,3455 total makespan = 0 6,12 total makespan = 0 6,45 total makespan = 0 6,78 total makespan = 0 6,8546 total makespan = 0 6,474 total makespan = 0 6,188 total makespan = 0 6,7899 total makespan = 0 6,9 total makespan = 0 6,774 total makespan = 0 7,3455 total makespan = 0 7,12 total makespan = 0 7,45 total makespan = 0 7,78 total makespan = 0 7,8546 total makespan = 0 7,474 total makespan = 0 7,188 total makespan = 0 7,7899 total makespan = 0 7,9 total makespan = 0 7,774 total makespan = 0 8,3455 total makespan = 0 8,12 total makespan = 0 8,45 total makespan = 0 8,78 total makespan = 0 8,8546 total makespan = 0 8,474 total makespan = 0 8,188 total makespan = 0 8,7899 total makespan = 0 8,9 total makespan = 0 8,774 total makespan = 0 9,3455 total makespan = 0 9,12 total makespan = 0 9,45 total makespan = 0 9,78 total makespan = 0 9,8546 total makespan = 0 9,474 total makespan = 0 9,188 total makespan = 0 9,7899 total makespan = 0 9,9 total makespan = 0 9,774 total makespan = 0 10,3455 total makespan = 0 10,12 total makespan = 0 10,45 total makespan = 0 10,78 total makespan = 0 10,8546 total makespan = 0 10,474 total makespan = 0 10,188 total makespan = 0 10,7899 total makespan = 0 10,9 total makespan = 0 10,774 total makespan = 0 11,3455 total makespan = 0 11,12 total makespan = 0 11,45 total makespan = 0 11,78 total makespan = 0 11,8546 total makespan = 0 11,474 total makespan = 0 11,188 total makespan = 0 11,7899 total makespan = 0 11,9 total makespan = 0 11,774 total makespan = 0 12,3455 total makespan = 0 12,12 total makespan = 0 12,45 total makespan = 0 12,78 total makespan = 0 12,8546 total makespan = 0 12,474 total makespan = 0 12,188 total makespan = 0 12,7899 total makespan = 0 12,9 total makespan = 0 12,774 total makespan = 0 13,3455 total makespan = 0 13,12 total makespan = 0 13,45 total makespan = 0 13,78 total makespan = 0 13,8546 total makespan = 0 13,474 total makespan = 0 13,188 total makespan = 0 13,7899 total makespan = 0 13,9 total makespan = 0 13,774 total makespan = 0 14,3455 total makespan = 0 14,12 total makespan = 0 14,45 total makespan = 0 14,78 total makespan = 0 14,8546 total makespan = 0 14,474 total makespan = 0 14,188 total makespan = 0 14,7899 total makespan = 0 14,9 total makespan = 0 14,774 total makespan = 0 15,3455 total makespan = 0 15,12 total makespan = 0 15,45 total makespan = 0 15,78 total makespan = 0 15,8546 total makespan = 0 15,474 total makespan = 0 15,188 total makespan = 0 15,7899 total makespan = 0 15,9 total makespan = 0 15,774 total makespan = 0 16,3455 total makespan = 0 16,12 total makespan = 0 16,45 total makespan = 0 16,78 total makespan = 0 16,8546 total makespan = 0 16,474 total makespan = 0 16,188 total makespan = 0 16,7899 total makespan = 0 16,9 total makespan = 0 16,774 total makespan = 0 17,3455 total makespan = 0 17,12 total makespan = 0 17,45 total makespan = 0 17,78 total makespan = 0 17,8546 total makespan = 0 17,474 total makespan = 0 17,188 total makespan = 0 17,7899 total makespan = 0 17,9 total makespan = 0 17,774 total makespan = 0 18,3455 total makespan = 0 18,12 total makespan = 0 18,45 total makespan = 0 18,78 total makespan = 0 18,8546 total makespan = 0 18,474 total makespan = 0 18,188 total makespan = 0 18,7899 total makespan = 0 18,9 total makespan = 0 18,774 total makespan = 0 19,3455 total makespan = 0 19,12 total makespan = 0 19,45 total makespan = 0 19,78 total makespan = 0 19,8546 total makespan = 0 19,474 total makespan = 0 19,188 total makespan = 0 19,7899 total makespan = 0 19,9 total makespan = 0 19,774 total makespan = 0 20,3455 total makespan = 0 20,12 total makespan = 0 20,45 total makespan = 0 20,78 total makespan = 0 20,8546 total makespan = 0 20,474 total makespan = 0 20,188 total makespan = 0 20,7899 total makespan = 0 20,9 total makespan = 0 20,774 total makespan = 0 21,3455 total makespan = 0 21,12 total makespan = 0 21,45 total makespan = 0 21,78 total makespan = 0 21,8546 total makespan = 0 21,474 total makespan = 0 21,188 total makespan = 0 21,7899 total makespan = 0 21,9 total makespan = 0 21,774 total makespan = 0 22,3455 total makespan = 0 22,12 total makespan = 0 22,45 total makespan = 0 22,78 total makespan = 0 22,8546 total makespan = 0 22,474 total makespan = 0 22,188 total makespan = 0 22,7899 total makespan = 0 22,9 total makespan = 0 22,774 total makespan = 0 23,3455 total makespan = 0 23,12 total makespan = 0 23,45 total makespan = 0 23,78 total makespan = 0 23,8546 total makespan = 0 23,474 total makespan = 0 23,188 total makespan = 0 23,7899 total makespan = 0 23,9 total makespan = 0 23,774 total makespan = 0 24,3455 total makespan = 0 24,12 total makespan = 0 24,45 total makespan = 0 24,78 total makespan = 0 24,8546 total makespan = 0 24,474 total makespan = 0 24,188 total makespan = 0 24,7899 total makespan = 0 24,9 total makespan = 0 24,774 total makespan = 0 25,3455 total makespan = 0 25,12 total makespan = 0 25,45 total makespan = 0 25,78 total makespan = 0 25,8546 total makespan = 0 25,474 total makespan = 0 25,188 total makespan = 0 25,7899 total makespan = 0 25,9 total makespan = 0 25,774 total makespan = 0 26,3455 total makespan = 0 26,12 total makespan = 0 26,45 total makespan = 0 26,78 total makespan = 0 26,8546 total makespan = 0 26,474 total makespan = 0 26,188 total makespan = 0 26,7899 total makespan = 0 26,9 total makespan = 0 26,774 total makespan = 0 27,3455 total makespan = 0 27,12 total makespan = 0 27,45 total makespan = 0 27,78 total makespan = 0 27,8546 total makespan = 0 27,474 total makespan = 0 27,188 total makespan = 0 27,7899 total makespan = 0 27,9 total makespan = 0 27,774 total makespan = 0 28,3455 total makespan = 0 28,12 total makespan = 0 28,45 total makespan = 0 28,78 total makespan = 0 28,8546 total makespan = 0 28,474 total makespan = 0 28,188 total makespan = 0 28,7899 total makespan = 0 28,9 total makespan = 0 28,774 total makespan = 0 29,3455 total makespan = 0 29,12 total makespan = 0 29,45 total makespan = 0 29,78 total makespan = 0 29,8546 total makespan = 0 29,474 total makespan = 0 29,188 total makespan = 0 29,7899 total makespan = 0 29,9 total makespan = 0 29,774 total makespan = 0 30,3455 total makespan = 0 30,12 total makespan = 0 30,45 total makespan = 0 30,78 total makespan = 0 30,8546 total makespan = 0 30,474 total makespan = 0 30,188 total makespan = 0 30,7899 total makespan = 0 30,9 total makespan = 0 30,774 total makespan = 0 31,3455 total makespan = 0 31,12 total makespan = 0 31,45 total makespan = 0 31,78 total makespan = 0 31,8546 total makespan = 0 31,474 total makespan = 0 31,188 total makespan = 0 31,7899 total makespan = 0 31,9 total makespan = 0 31,774 total makespan = 0 32,3455 total makespan = 0 32,12 total makespan = 0 32,45 total makespan = 0 32,78 total makespan = 0 32,8546 total makespan = 0 32,474 total makespan = 0 32,188 total makespan = 0 32,7899 total makespan = 0 32,9 total makespan = 0 32,774 total makespan = 0 33,3455 total makespan = 0 33,12 total makespan = 0 33,45 total makespan = 0 33,78 total makespan = 0 33,8546 total makespan = 0 33,474 total makespan = 0 33,188 total makespan = 0 33,7899 total makespan = 0 33,9 total makespan = 0 33,774 total makespan = 0 34,3455 total makespan = 0 34,12 total makespan = 0 34,45 total makespan = 0 34,78 total makespan = 0 34,8546 total makespan = 0 34,474 total makespan = 0 34,188 total makespan = 0 34,7899 total makespan = 0 34,9 total makespan = 0 34,774 total makespan = 0 35,3455 total makespan = 0 35,12 total makespan = 0 35,45 total makespan = 0 35,78 total makespan = 0 35,8546 total makespan = 0 35,474 total makespan = 0 35,188 total makespan = 0 35,7899 total makespan = 0 35,9 total makespan = 0 35,774 total makespan = 0 36,3455 total makespan = 0 36,12 total makespan = 0 36,45 total makespan = 0 36,78 total makespan = 0 36,8546 total makespan = 0 36,474 total makespan = 0 36,188 total makespan = 0 36,7899 total makespan = 0 36,9 total makespan = 0 36,774 total makespan = 0 37,3455 total makespan = 0 37,12 total makespan = 0 37,45 total makespan = 0 37,78 total makespan = 0 37,8546 total makespan = 0 37,474 total makespan = 0 37,188 total makespan = 0 37,7899 total makespan = 0 37,9 total makespan = 0 37,774 total makespan = 0 38,3455 total makespan = 0 38,12 total makespan = 0 38,45 total makespan = 0 38,78 total makespan = 0 38,8546 total makespan = 0 38,474 total makespan = 0 38,188 total makespan = 0 38,7899 total makespan = 0 38,9 total makespan = 0 38,774 total makespan = 0 39,3455 total makespan = 0 39,12 total makespan = 0 39,45 total makespan = 0 39,78 total makespan = 0 39,8546 total makespan = 0 39,474 total makespan = 0 39,188 total makespan = 0 39,7899 total makespan = 0 39,9 total makespan = 0 39,774 total makespan = 0 40,3455 total makespan = 0 40,12 total makespan = 0 40,45 total makespan = 0 40,78 total makespan = 0 40,8546 total makespan = 0 40,474 total makespan = 0 40,188 total makespan = 0 40,7899 total makespan = 0 40,9 total makespan = 0 40,774 total makespan = 0 41,3455 total makespan = 0 41,12 total makespan = 0 41,45 total makespan = 0 41,78 total makespan = 0 41,8546 total makespan = 0 41,474 total makespan = 0 41,188 total makespan = 0 41,7899 total makespan = 0 41,9 total makespan = 0 41,774 total makespan = 0 42,3455 total makespan = 0 42,12 total makespan = 0 42,45 total makespan = 0 42,78 total makespan = 0 42,8546 total makespan = 0 42,474 total makespan = 0 42,188 total makespan = 0 42,7899 total makespan = 0 42,9 total makespan = 0 42,774 total makespan = 0 43,3455 total makespan = 0 43,12 total makespan = 0 43,45 total makespan = 0 43,78 total makespan = 0 43,8546 total makespan = 0 43,474 total makespan = 0 43,188 total makespan = 0 43,7899 total makespan = 0 43,9 total makespan = 0 43,774 total makespan = 0 44,3455 total makespan = 0 44,12 total makespan = 0 44,45 total makespan = 0 44,78 total makespan = 0 44,8546 total makespan = 0 44,474 total makespan = 0 44,188 total makespan = 0 44,7899 total makespan = 0 44,9 total makespan = 0 44,774 total makespan = 0 45,3455 total makespan = 0 45,12 total makespan = 0 45,45 total makespan = 0 45,78 total makespan = 0 45,8546 total makespan = 0 45,474 total makespan = 0 45,188 total makespan = 0 45,7899 total makespan = 0 45,9 total makespan = 0 45,774 total makespan = 0 46,3455 total makespan = 0 46,12 total makespan = 0 46,45 total makespan = 0 46,78 total makespan = 0 46,8546 total makespan = 0 46,474 total makespan = 0 46,188 total makespan = 0 46,7899 total makespan = 0 46,9 total makespan = 0 46,774 total makespan = 0 47,3455 total makespan = 0 47,12 total makespan = 0 47,45 total makespan = 0 47,78 total makespan = 0 47,8546 total makespan = 0 47,474 total makespan = 0 47,188 total makespan = 0 47,7899 total makespan = 0 47,9 total makespan = 0 47,774 total makespan = 0 48,3455 total makespan = 0 48,12 total makespan = 0 48,45 total makespan = 0 48,78 total makespan = 0 48,8546 total makespan = 0 48,474 total makespan = 0 48,188 total makespan = 0 48,7899 total makespan = 0 48,9 total makespan = 0 48,774 total makespan = 0 49,3455 total makespan = 0 49,12 total makespan = 0 49,45 total makespan = 0 49,78 total makespan = 0 49,8546 total makespan = 0 49,474 total makespan = 0 49,188 total makespan = 0 49,7899 total makespan = 0 49,9 total makespan = 0 49,774 total makespan = 0 50,3455 total makespan = 0 50,12 total makespan = 0 50,45 total makespan = 0 50,78 total makespan = 0 50,8546 total makespan = 0 50,474 total makespan = 0 50,188 total makespan = 0 50,7899 total makespan = 0 50,9 total makespan = 0 50,774 total makespan = 0