grid size = 8 max robots = 32 1,3455 Wall clock TIME (seconds) = 0.002 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.002 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.002 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.002 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.002 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.002 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.002 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.002 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.002 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.002 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.002 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.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.004 CPU/machine TIME (seconds) = 0.000 2,45 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.069 CPU/machine TIME (seconds) = 0.070 2,78 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.020 Wall clock TIME (seconds) = 0.044 CPU/machine TIME (seconds) = 0.030 2,8546 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.001 CPU/machine TIME (seconds) = 0.000 2,474 Wall clock TIME (seconds) = 0.009 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.058 CPU/machine TIME (seconds) = 0.050 2,188 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 2,7899 Wall clock TIME (seconds) = 0.007 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.052 CPU/machine TIME (seconds) = 0.050 2,9 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.002 CPU/machine TIME (seconds) = 0.000 2,774 Wall clock TIME (seconds) = 0.006 CPU/machine TIME (seconds) = 0.000 Wall clock TIME (seconds) = 0.035 CPU/machine TIME (seconds) = 0.030 3,3455 Wall clock TIME (seconds) = 0.008 CPU/machine TIME (seconds) = 0.010 Wall clock TIME (seconds) = 0.081 CPU/machine TIME (seconds) = 0.050 3,12 Wall clock TIME (seconds) = 0.096 CPU/machine TIME (seconds) = 0.090 Wall clock TIME (seconds) = 0.525 CPU/machine TIME (seconds) = 0.520 3,45 Wall clock TIME (seconds) = 5.771 CPU/machine TIME (seconds) = 5.770 Wall clock TIME (seconds) = 36.234 CPU/machine TIME (seconds) = 36.200 3,78 Wall clock TIME (seconds) = 0.116 CPU/machine TIME (seconds) = 0.110 Wall clock TIME (seconds) = 0.525 CPU/machine TIME (seconds) = 0.520 3,8546 Wall clock TIME (seconds) = 0.912 CPU/machine TIME (seconds) = 0.910 Wall clock TIME (seconds) = 4.278 CPU/machine TIME (seconds) = 4.250 3,474 Wall clock TIME (seconds) = 4.289 CPU/machine TIME (seconds) = 4.280 Wall clock TIME (seconds) = 32.122 CPU/machine TIME (seconds) = 32.040 3,188 Wall clock TIME (seconds) = 6.252 CPU/machine TIME (seconds) = 6.120 Wall clock TIME (seconds) = 51.865 CPU/machine TIME (seconds) = 51.010 3,7899 Wall clock TIME (seconds) = 9.971 CPU/machine TIME (seconds) = 9.350 Wall clock TIME (seconds) = 66.435 CPU/machine TIME (seconds) = 64.010 3,9 Wall clock TIME (seconds) = 0.854 CPU/machine TIME (seconds) = 0.480 Wall clock TIME (seconds) = 2.974 CPU/machine TIME (seconds) = 2.960 3,774 Wall clock TIME (seconds) = 0.767 CPU/machine TIME (seconds) = 0.600 Wall clock TIME (seconds) = 3.560 CPU/machine TIME (seconds) = 3.520 4,3455 Wall clock TIME (seconds) = 10.888 CPU/machine TIME (seconds) = 10.790 Wall clock TIME (seconds) = 65.123 CPU/machine TIME (seconds) = 64.010 4,12 Wall clock TIME (seconds) = 8.540 CPU/machine TIME (seconds) = 8.450 Wall clock TIME (seconds) = 64.263 CPU/machine TIME (seconds) = 64.010 4,45 Wall clock TIME (seconds) = 8.493 CPU/machine TIME (seconds) = 8.340 Wall clock TIME (seconds) = 64.262 CPU/machine TIME (seconds) = 64.010 4,78 Wall clock TIME (seconds) = 9.830 CPU/machine TIME (seconds) = 9.730 Wall clock TIME (seconds) = 64.335 CPU/machine TIME (seconds) = 64.010 4,8546 Wall clock TIME (seconds) = 9.974 CPU/machine TIME (seconds) = 9.810 Wall clock TIME (seconds) = 64.316 CPU/machine TIME (seconds) = 64.010 4,474 Wall clock TIME (seconds) = 11.087 CPU/machine TIME (seconds) = 10.600 Wall clock TIME (seconds) = 65.876 CPU/machine TIME (seconds) = 64.010 4,188 Wall clock TIME (seconds) = 1.035 CPU/machine TIME (seconds) = 1.020 Wall clock TIME (seconds) = 5.937 CPU/machine TIME (seconds) = 5.900 4,7899 Wall clock TIME (seconds) = 9.104 CPU/machine TIME (seconds) = 9.060 Wall clock TIME (seconds) = 64.046 CPU/machine TIME (seconds) = 64.010 4,9 Wall clock TIME (seconds) = 10.348 CPU/machine TIME (seconds) = 9.980 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 4,774 Wall clock TIME (seconds) = 10.213 CPU/machine TIME (seconds) = 10.020 Wall clock TIME (seconds) = 65.554 CPU/machine TIME (seconds) = 64.010 5,3455 Wall clock TIME (seconds) = 15.124 CPU/machine TIME (seconds) = 15.050 Wall clock TIME (seconds) = 66.497 CPU/machine TIME (seconds) = 64.010 5,12 Wall clock TIME (seconds) = 9.454 CPU/machine TIME (seconds) = 9.380 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 5,45 Wall clock TIME (seconds) = 11.199 CPU/machine TIME (seconds) = 11.050 Wall clock TIME (seconds) = 64.266 CPU/machine TIME (seconds) = 64.010 5,78 Wall clock TIME (seconds) = 8.321 CPU/machine TIME (seconds) = 8.210 Wall clock TIME (seconds) = 64.305 CPU/machine TIME (seconds) = 64.010 5,8546 Wall clock TIME (seconds) = 7.677 CPU/machine TIME (seconds) = 7.560 Wall clock TIME (seconds) = 64.325 CPU/machine TIME (seconds) = 64.010 5,474 Wall clock TIME (seconds) = 11.167 CPU/machine TIME (seconds) = 11.010 Wall clock TIME (seconds) = 65.673 CPU/machine TIME (seconds) = 64.010 5,188 Wall clock TIME (seconds) = 10.968 CPU/machine TIME (seconds) = 10.750 Wall clock TIME (seconds) = 65.511 CPU/machine TIME (seconds) = 64.010 5,7899 Wall clock TIME (seconds) = 10.353 CPU/machine TIME (seconds) = 10.280 Wall clock TIME (seconds) = 64.884 CPU/machine TIME (seconds) = 64.010 5,9 Wall clock TIME (seconds) = 9.250 CPU/machine TIME (seconds) = 9.130 Wall clock TIME (seconds) = 64.088 CPU/machine TIME (seconds) = 64.010 5,774 Wall clock TIME (seconds) = 9.476 CPU/machine TIME (seconds) = 9.300 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 6,3455 Wall clock TIME (seconds) = 16.246 CPU/machine TIME (seconds) = 15.480 Wall clock TIME (seconds) = 64.142 CPU/machine TIME (seconds) = 64.010 6,12 Wall clock TIME (seconds) = 12.548 CPU/machine TIME (seconds) = 11.520 Wall clock TIME (seconds) = 64.037 CPU/machine TIME (seconds) = 64.010 6,45 Wall clock TIME (seconds) = 10.373 CPU/machine TIME (seconds) = 10.330 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 6,78 Wall clock TIME (seconds) = 10.690 CPU/machine TIME (seconds) = 10.280 Wall clock TIME (seconds) = 66.994 CPU/machine TIME (seconds) = 64.010 6,8546 Wall clock TIME (seconds) = 12.063 CPU/machine TIME (seconds) = 11.990 Wall clock TIME (seconds) = 64.093 CPU/machine TIME (seconds) = 64.010 6,474 Wall clock TIME (seconds) = 9.825 CPU/machine TIME (seconds) = 9.680 Wall clock TIME (seconds) = 64.065 CPU/machine TIME (seconds) = 64.010 6,188 Wall clock TIME (seconds) = 9.893 CPU/machine TIME (seconds) = 9.810 Wall clock TIME (seconds) = 64.070 CPU/machine TIME (seconds) = 64.010 6,7899 Wall clock TIME (seconds) = 11.764 CPU/machine TIME (seconds) = 11.650 Wall clock TIME (seconds) = 66.215 CPU/machine TIME (seconds) = 64.010 6,9 Wall clock TIME (seconds) = 9.548 CPU/machine TIME (seconds) = 9.510 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 6,774 Wall clock TIME (seconds) = 6.689 CPU/machine TIME (seconds) = 6.660 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 7,3455 Wall clock TIME (seconds) = 10.768 CPU/machine TIME (seconds) = 10.720 Wall clock TIME (seconds) = 64.109 CPU/machine TIME (seconds) = 64.010 7,12 Wall clock TIME (seconds) = 9.483 CPU/machine TIME (seconds) = 9.370 Wall clock TIME (seconds) = 64.296 CPU/machine TIME (seconds) = 64.010 7,45 Wall clock TIME (seconds) = 8.103 CPU/machine TIME (seconds) = 8.020 Wall clock TIME (seconds) = 64.358 CPU/machine TIME (seconds) = 64.010 7,78 Wall clock TIME (seconds) = 12.976 CPU/machine TIME (seconds) = 12.540 Wall clock TIME (seconds) = 65.843 CPU/machine TIME (seconds) = 64.010 7,8546 Wall clock TIME (seconds) = 9.890 CPU/machine TIME (seconds) = 9.640 Wall clock TIME (seconds) = 64.155 CPU/machine TIME (seconds) = 64.010 7,474 Wall clock TIME (seconds) = 14.130 CPU/machine TIME (seconds) = 13.820 Wall clock TIME (seconds) = 65.192 CPU/machine TIME (seconds) = 64.010 7,188 Wall clock TIME (seconds) = 11.046 CPU/machine TIME (seconds) = 11.020 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 7,7899 Wall clock TIME (seconds) = 10.465 CPU/machine TIME (seconds) = 10.430 Wall clock TIME (seconds) = 64.078 CPU/machine TIME (seconds) = 64.010 7,9 Wall clock TIME (seconds) = 8.713 CPU/machine TIME (seconds) = 8.570 Wall clock TIME (seconds) = 64.063 CPU/machine TIME (seconds) = 64.010 7,774 Wall clock TIME (seconds) = 9.526 CPU/machine TIME (seconds) = 9.480 Wall clock TIME (seconds) = 64.059 CPU/machine TIME (seconds) = 64.010 8,3455 Wall clock TIME (seconds) = 13.679 CPU/machine TIME (seconds) = 13.490 Wall clock TIME (seconds) = 67.563 CPU/machine TIME (seconds) = 64.010 8,12 Wall clock TIME (seconds) = 14.496 CPU/machine TIME (seconds) = 13.680 Wall clock TIME (seconds) = 65.094 CPU/machine TIME (seconds) = 64.010 8,45 Wall clock TIME (seconds) = 12.411 CPU/machine TIME (seconds) = 12.230 Wall clock TIME (seconds) = 64.048 CPU/machine TIME (seconds) = 64.010 8,78 Wall clock TIME (seconds) = 15.418 CPU/machine TIME (seconds) = 15.350 Wall clock TIME (seconds) = 64.023 CPU/machine TIME (seconds) = 64.010 8,8546 Wall clock TIME (seconds) = 14.121 CPU/machine TIME (seconds) = 13.880 Wall clock TIME (seconds) = 68.497 CPU/machine TIME (seconds) = 64.010 8,474 Wall clock TIME (seconds) = 12.072 CPU/machine TIME (seconds) = 12.050 Wall clock TIME (seconds) = 64.073 CPU/machine TIME (seconds) = 64.010 8,188 Wall clock TIME (seconds) = 13.760 CPU/machine TIME (seconds) = 13.720 Wall clock TIME (seconds) = 64.085 CPU/machine TIME (seconds) = 64.010 8,7899 Wall clock TIME (seconds) = 14.256 CPU/machine TIME (seconds) = 14.180 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 8,9 Wall clock TIME (seconds) = 18.194 CPU/machine TIME (seconds) = 18.090 Wall clock TIME (seconds) = 64.047 CPU/machine TIME (seconds) = 64.010 8,774 Wall clock TIME (seconds) = 15.171 CPU/machine TIME (seconds) = 14.910 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 9,3455 Wall clock TIME (seconds) = 9.864 CPU/machine TIME (seconds) = 9.720 Wall clock TIME (seconds) = 64.043 CPU/machine TIME (seconds) = 64.010 9,12 Wall clock TIME (seconds) = 17.104 CPU/machine TIME (seconds) = 16.940 Wall clock TIME (seconds) = 64.745 CPU/machine TIME (seconds) = 64.010 9,45 Wall clock TIME (seconds) = 13.848 CPU/machine TIME (seconds) = 13.820 Wall clock TIME (seconds) = 64.062 CPU/machine TIME (seconds) = 64.010 9,78 Wall clock TIME (seconds) = 17.544 CPU/machine TIME (seconds) = 17.400 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 9,8546 Wall clock TIME (seconds) = 9.272 CPU/machine TIME (seconds) = 9.210 Wall clock TIME (seconds) = 64.207 CPU/machine TIME (seconds) = 64.010 9,474 Wall clock TIME (seconds) = 13.285 CPU/machine TIME (seconds) = 13.150 Wall clock TIME (seconds) = 64.082 CPU/machine TIME (seconds) = 64.010 9,188 Wall clock TIME (seconds) = 8.429 CPU/machine TIME (seconds) = 8.390 Wall clock TIME (seconds) = 64.046 CPU/machine TIME (seconds) = 64.010 9,7899 Wall clock TIME (seconds) = 15.404 CPU/machine TIME (seconds) = 14.980 Wall clock TIME (seconds) = 64.651 CPU/machine TIME (seconds) = 64.010 9,9 Wall clock TIME (seconds) = 19.020 CPU/machine TIME (seconds) = 18.510 Wall clock TIME (seconds) = 65.144 CPU/machine TIME (seconds) = 64.010 9,774 Wall clock TIME (seconds) = 17.858 CPU/machine TIME (seconds) = 17.560 Wall clock TIME (seconds) = 64.287 CPU/machine TIME (seconds) = 64.010 10,3455 Wall clock TIME (seconds) = 26.692 CPU/machine TIME (seconds) = 25.870 Wall clock TIME (seconds) = 64.430 CPU/machine TIME (seconds) = 64.010 10,12 Wall clock TIME (seconds) = 18.539 CPU/machine TIME (seconds) = 18.490 Wall clock TIME (seconds) = 64.172 CPU/machine TIME (seconds) = 64.010 10,45 Wall clock TIME (seconds) = 11.416 CPU/machine TIME (seconds) = 11.360 Wall clock TIME (seconds) = 64.732 CPU/machine TIME (seconds) = 64.010 10,78 Wall clock TIME (seconds) = 23.058 CPU/machine TIME (seconds) = 22.510 Wall clock TIME (seconds) = 68.199 CPU/machine TIME (seconds) = 64.010 10,8546 Wall clock TIME (seconds) = 15.827 CPU/machine TIME (seconds) = 15.610 Wall clock TIME (seconds) = 64.871 CPU/machine TIME (seconds) = 64.010 10,474 Wall clock TIME (seconds) = 16.759 CPU/machine TIME (seconds) = 16.560 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 10,188 Wall clock TIME (seconds) = 23.118 CPU/machine TIME (seconds) = 22.970 Wall clock TIME (seconds) = 65.010 CPU/machine TIME (seconds) = 64.010 10,7899 Wall clock TIME (seconds) = 16.291 CPU/machine TIME (seconds) = 16.130 Wall clock TIME (seconds) = 64.479 CPU/machine TIME (seconds) = 64.010 10,9 Wall clock TIME (seconds) = 25.909 CPU/machine TIME (seconds) = 25.150 Wall clock TIME (seconds) = 64.829 CPU/machine TIME (seconds) = 64.010 10,774 Wall clock TIME (seconds) = 20.236 CPU/machine TIME (seconds) = 20.000 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 11,3455 Wall clock TIME (seconds) = 23.347 CPU/machine TIME (seconds) = 23.310 Wall clock TIME (seconds) = 64.114 CPU/machine TIME (seconds) = 64.010 11,12 Wall clock TIME (seconds) = 20.613 CPU/machine TIME (seconds) = 20.600 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 11,45 Wall clock TIME (seconds) = 10.631 CPU/machine TIME (seconds) = 10.610 Wall clock TIME (seconds) = 64.076 CPU/machine TIME (seconds) = 64.010 11,78 Wall clock TIME (seconds) = 25.494 CPU/machine TIME (seconds) = 24.710 Wall clock TIME (seconds) = 65.857 CPU/machine TIME (seconds) = 64.010 11,8546 Wall clock TIME (seconds) = 12.255 CPU/machine TIME (seconds) = 12.020 Wall clock TIME (seconds) = 64.300 CPU/machine TIME (seconds) = 64.010 11,474 Wall clock TIME (seconds) = 19.210 CPU/machine TIME (seconds) = 19.060 Wall clock TIME (seconds) = 64.092 CPU/machine TIME (seconds) = 64.010 11,188 Wall clock TIME (seconds) = 11.885 CPU/machine TIME (seconds) = 11.770 Wall clock TIME (seconds) = 64.059 CPU/machine TIME (seconds) = 64.010 11,7899 Wall clock TIME (seconds) = 19.515 CPU/machine TIME (seconds) = 19.240 Wall clock TIME (seconds) = 64.056 CPU/machine TIME (seconds) = 64.010 11,9 Wall clock TIME (seconds) = 23.613 CPU/machine TIME (seconds) = 23.150 Wall clock TIME (seconds) = 66.006 CPU/machine TIME (seconds) = 64.010 11,774 Wall clock TIME (seconds) = 27.440 CPU/machine TIME (seconds) = 27.370 Wall clock TIME (seconds) = 64.047 CPU/machine TIME (seconds) = 64.010 12,3455 Wall clock TIME (seconds) = 22.711 CPU/machine TIME (seconds) = 22.670 Wall clock TIME (seconds) = 64.155 CPU/machine TIME (seconds) = 64.010 12,12 Wall clock TIME (seconds) = 27.398 CPU/machine TIME (seconds) = 27.240 Wall clock TIME (seconds) = 64.013 CPU/machine TIME (seconds) = 64.010 12,45 Wall clock TIME (seconds) = 14.760 CPU/machine TIME (seconds) = 14.500 Wall clock TIME (seconds) = 64.138 CPU/machine TIME (seconds) = 64.010 12,78 Wall clock TIME (seconds) = 19.570 CPU/machine TIME (seconds) = 18.960 Wall clock TIME (seconds) = 68.890 CPU/machine TIME (seconds) = 64.010 12,8546 Wall clock TIME (seconds) = 22.367 CPU/machine TIME (seconds) = 22.220 Wall clock TIME (seconds) = 64.847 CPU/machine TIME (seconds) = 64.010 12,474 Wall clock TIME (seconds) = 25.155 CPU/machine TIME (seconds) = 24.930 Wall clock TIME (seconds) = 64.096 CPU/machine TIME (seconds) = 64.010 12,188 Wall clock TIME (seconds) = 19.657 CPU/machine TIME (seconds) = 19.610 Wall clock TIME (seconds) = 64.070 CPU/machine TIME (seconds) = 64.010 12,7899 Wall clock TIME (seconds) = 24.701 CPU/machine TIME (seconds) = 24.200 Wall clock TIME (seconds) = 68.774 CPU/machine TIME (seconds) = 64.010 12,9 Wall clock TIME (seconds) = 21.466 CPU/machine TIME (seconds) = 20.960 Wall clock TIME (seconds) = 68.308 CPU/machine TIME (seconds) = 64.010 12,774 Wall clock TIME (seconds) = 20.244 CPU/machine TIME (seconds) = 20.030 Wall clock TIME (seconds) = 64.037 CPU/machine TIME (seconds) = 64.010 13,3455 Wall clock TIME (seconds) = 23.488 CPU/machine TIME (seconds) = 23.460 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 13,12 Wall clock TIME (seconds) = 24.234 CPU/machine TIME (seconds) = 24.160 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 13,45 Wall clock TIME (seconds) = 16.781 CPU/machine TIME (seconds) = 16.700 Wall clock TIME (seconds) = 64.071 CPU/machine TIME (seconds) = 64.010 13,78 Wall clock TIME (seconds) = 22.452 CPU/machine TIME (seconds) = 22.200 Wall clock TIME (seconds) = 64.365 CPU/machine TIME (seconds) = 64.010 13,8546 Wall clock TIME (seconds) = 24.379 CPU/machine TIME (seconds) = 24.350 Wall clock TIME (seconds) = 64.064 CPU/machine TIME (seconds) = 64.010 13,474 Wall clock TIME (seconds) = 21.062 CPU/machine TIME (seconds) = 21.040 Wall clock TIME (seconds) = 64.138 CPU/machine TIME (seconds) = 64.010 13,188 Wall clock TIME (seconds) = 25.751 CPU/machine TIME (seconds) = 25.220 Wall clock TIME (seconds) = 64.994 CPU/machine TIME (seconds) = 64.010 13,7899 Wall clock TIME (seconds) = 23.641 CPU/machine TIME (seconds) = 23.470 Wall clock TIME (seconds) = 66.265 CPU/machine TIME (seconds) = 64.010 13,9 Wall clock TIME (seconds) = 25.977 CPU/machine TIME (seconds) = 25.330 Wall clock TIME (seconds) = 71.190 CPU/machine TIME (seconds) = 64.010 13,774 Wall clock TIME (seconds) = 21.210 CPU/machine TIME (seconds) = 21.090 Wall clock TIME (seconds) = 64.372 CPU/machine TIME (seconds) = 64.010 14,3455 Wall clock TIME (seconds) = 23.480 CPU/machine TIME (seconds) = 23.410 Wall clock TIME (seconds) = 64.239 CPU/machine TIME (seconds) = 64.010 14,12 Wall clock TIME (seconds) = 22.349 CPU/machine TIME (seconds) = 22.190 Wall clock TIME (seconds) = 64.066 CPU/machine TIME (seconds) = 64.010 14,45 Wall clock TIME (seconds) = 21.250 CPU/machine TIME (seconds) = 21.220 Wall clock TIME (seconds) = 64.555 CPU/machine TIME (seconds) = 64.010 14,78 Wall clock TIME (seconds) = 24.172 CPU/machine TIME (seconds) = 22.730 Wall clock TIME (seconds) = 70.657 CPU/machine TIME (seconds) = 64.010 14,8546 Wall clock TIME (seconds) = 22.422 CPU/machine TIME (seconds) = 22.350 Wall clock TIME (seconds) = 64.068 CPU/machine TIME (seconds) = 64.010 14,474 Wall clock TIME (seconds) = 18.914 CPU/machine TIME (seconds) = 18.810 Wall clock TIME (seconds) = 64.116 CPU/machine TIME (seconds) = 64.010 14,188 Wall clock TIME (seconds) = 24.788 CPU/machine TIME (seconds) = 24.750 Wall clock TIME (seconds) = 64.071 CPU/machine TIME (seconds) = 64.010 14,7899 Wall clock TIME (seconds) = 22.473 CPU/machine TIME (seconds) = 22.370 Wall clock TIME (seconds) = 64.064 CPU/machine TIME (seconds) = 64.010 14,9 Wall clock TIME (seconds) = 19.518 CPU/machine TIME (seconds) = 19.480 Wall clock TIME (seconds) = 68.390 CPU/machine TIME (seconds) = 64.010 14,774 Wall clock TIME (seconds) = 22.718 CPU/machine TIME (seconds) = 22.690 Wall clock TIME (seconds) = 64.075 CPU/machine TIME (seconds) = 64.010 15,3455 Wall clock TIME (seconds) = 23.932 CPU/machine TIME (seconds) = 23.860 Wall clock TIME (seconds) = 64.111 CPU/machine TIME (seconds) = 64.010 15,12 Wall clock TIME (seconds) = 21.262 CPU/machine TIME (seconds) = 21.120 Wall clock TIME (seconds) = 64.131 CPU/machine TIME (seconds) = 64.010 15,45 Wall clock TIME (seconds) = 18.702 CPU/machine TIME (seconds) = 18.680 Wall clock TIME (seconds) = 64.071 CPU/machine TIME (seconds) = 64.010 15,78 Wall clock TIME (seconds) = 23.421 CPU/machine TIME (seconds) = 22.990 Wall clock TIME (seconds) = 69.271 CPU/machine TIME (seconds) = 64.010 15,8546 Wall clock TIME (seconds) = 23.864 CPU/machine TIME (seconds) = 23.650 Wall clock TIME (seconds) = 64.293 CPU/machine TIME (seconds) = 64.010 15,474 Wall clock TIME (seconds) = 20.513 CPU/machine TIME (seconds) = 20.370 Wall clock TIME (seconds) = 64.251 CPU/machine TIME (seconds) = 64.010 15,188 Wall clock TIME (seconds) = 19.408 CPU/machine TIME (seconds) = 19.260 Wall clock TIME (seconds) = 64.411 CPU/machine TIME (seconds) = 64.010 15,7899 Wall clock TIME (seconds) = 23.791 CPU/machine TIME (seconds) = 23.730 Wall clock TIME (seconds) = 64.155 CPU/machine TIME (seconds) = 64.010 15,9 Wall clock TIME (seconds) = 23.446 CPU/machine TIME (seconds) = 23.050 Wall clock TIME (seconds) = 68.135 CPU/machine TIME (seconds) = 64.010 15,774 Wall clock TIME (seconds) = 23.574 CPU/machine TIME (seconds) = 23.490 Wall clock TIME (seconds) = 64.062 CPU/machine TIME (seconds) = 64.010 16,3455 Wall clock TIME (seconds) = 16.867 CPU/machine TIME (seconds) = 16.790 Wall clock TIME (seconds) = 64.018 CPU/machine TIME (seconds) = 64.010 16,12 Wall clock TIME (seconds) = 19.146 CPU/machine TIME (seconds) = 18.860 Wall clock TIME (seconds) = 64.027 CPU/machine TIME (seconds) = 64.010 16,45 Wall clock TIME (seconds) = 20.050 CPU/machine TIME (seconds) = 20.030 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 16,78 Wall clock TIME (seconds) = 21.802 CPU/machine TIME (seconds) = 21.690 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 16,8546 Wall clock TIME (seconds) = 20.209 CPU/machine TIME (seconds) = 20.120 Wall clock TIME (seconds) = 64.111 CPU/machine TIME (seconds) = 64.010 16,474 Wall clock TIME (seconds) = 17.929 CPU/machine TIME (seconds) = 17.770 Wall clock TIME (seconds) = 69.790 CPU/machine TIME (seconds) = 64.010 16,188 Wall clock TIME (seconds) = 24.147 CPU/machine TIME (seconds) = 23.420 Wall clock TIME (seconds) = 64.221 CPU/machine TIME (seconds) = 64.010 16,7899 Wall clock TIME (seconds) = 24.154 CPU/machine TIME (seconds) = 23.820 Wall clock TIME (seconds) = 64.253 CPU/machine TIME (seconds) = 64.010 16,9 Wall clock TIME (seconds) = 19.136 CPU/machine TIME (seconds) = 18.910 Wall clock TIME (seconds) = 64.074 CPU/machine TIME (seconds) = 64.010 16,774 Wall clock TIME (seconds) = 21.757 CPU/machine TIME (seconds) = 21.730 Wall clock TIME (seconds) = 64.041 CPU/machine TIME (seconds) = 64.010 17,3455 Wall clock TIME (seconds) = 19.789 CPU/machine TIME (seconds) = 19.600 Wall clock TIME (seconds) = 64.064 CPU/machine TIME (seconds) = 64.010 17,12 Wall clock TIME (seconds) = 21.990 CPU/machine TIME (seconds) = 21.420 Wall clock TIME (seconds) = 67.311 CPU/machine TIME (seconds) = 64.010 17,45 Wall clock TIME (seconds) = 19.723 CPU/machine TIME (seconds) = 19.660 Wall clock TIME (seconds) = 64.022 CPU/machine TIME (seconds) = 64.010 17,78 Wall clock TIME (seconds) = 25.883 CPU/machine TIME (seconds) = 25.640 Wall clock TIME (seconds) = 66.375 CPU/machine TIME (seconds) = 64.010 17,8546 Wall clock TIME (seconds) = 20.078 CPU/machine TIME (seconds) = 20.060 Wall clock TIME (seconds) = 64.815 CPU/machine TIME (seconds) = 64.010 17,474 Wall clock TIME (seconds) = 18.002 CPU/machine TIME (seconds) = 17.890 Wall clock TIME (seconds) = 64.042 CPU/machine TIME (seconds) = 64.010 17,188 Wall clock TIME (seconds) = 21.400 CPU/machine TIME (seconds) = 21.330 Wall clock TIME (seconds) = 64.350 CPU/machine TIME (seconds) = 64.010 17,7899 Wall clock TIME (seconds) = 18.569 CPU/machine TIME (seconds) = 18.460 Wall clock TIME (seconds) = 64.087 CPU/machine TIME (seconds) = 64.010 17,9 Wall clock TIME (seconds) = 18.779 CPU/machine TIME (seconds) = 18.700 Wall clock TIME (seconds) = 64.105 CPU/machine TIME (seconds) = 64.010 17,774 Wall clock TIME (seconds) = 24.864 CPU/machine TIME (seconds) = 24.060 Wall clock TIME (seconds) = 66.055 CPU/machine TIME (seconds) = 64.010 18,3455 Wall clock TIME (seconds) = 26.870 CPU/machine TIME (seconds) = 25.920 Wall clock TIME (seconds) = 64.706 CPU/machine TIME (seconds) = 64.010 18,12 Wall clock TIME (seconds) = 18.491 CPU/machine TIME (seconds) = 18.310 Wall clock TIME (seconds) = 65.329 CPU/machine TIME (seconds) = 64.010 18,45 Wall clock TIME (seconds) = 19.327 CPU/machine TIME (seconds) = 19.260 Wall clock TIME (seconds) = 64.100 CPU/machine TIME (seconds) = 64.010 18,78 Wall clock TIME (seconds) = 22.648 CPU/machine TIME (seconds) = 22.170 Wall clock TIME (seconds) = 66.736 CPU/machine TIME (seconds) = 64.010 18,8546 Wall clock TIME (seconds) = 18.865 CPU/machine TIME (seconds) = 18.840 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 18,474 Wall clock TIME (seconds) = 20.415 CPU/machine TIME (seconds) = 20.290 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 18,188 Wall clock TIME (seconds) = 19.835 CPU/machine TIME (seconds) = 19.780 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 18,7899 Wall clock TIME (seconds) = 19.469 CPU/machine TIME (seconds) = 19.460 Wall clock TIME (seconds) = 64.031 CPU/machine TIME (seconds) = 64.010 18,9 Wall clock TIME (seconds) = 20.391 CPU/machine TIME (seconds) = 20.130 Wall clock TIME (seconds) = 64.619 CPU/machine TIME (seconds) = 64.010 18,774 Wall clock TIME (seconds) = 19.626 CPU/machine TIME (seconds) = 19.520 Wall clock TIME (seconds) = 64.338 CPU/machine TIME (seconds) = 64.010 19,3455 Wall clock TIME (seconds) = 19.529 CPU/machine TIME (seconds) = 19.480 Wall clock TIME (seconds) = 64.231 CPU/machine TIME (seconds) = 64.010 19,12 Wall clock TIME (seconds) = 18.358 CPU/machine TIME (seconds) = 18.290 Wall clock TIME (seconds) = 64.044 CPU/machine TIME (seconds) = 64.010 19,45 Wall clock TIME (seconds) = 20.229 CPU/machine TIME (seconds) = 20.180 Wall clock TIME (seconds) = 64.125 CPU/machine TIME (seconds) = 64.010 19,78 Wall clock TIME (seconds) = 19.414 CPU/machine TIME (seconds) = 19.040 Wall clock TIME (seconds) = 64.827 CPU/machine TIME (seconds) = 64.010 19,8546 Wall clock TIME (seconds) = 18.976 CPU/machine TIME (seconds) = 18.930 Wall clock TIME (seconds) = 64.089 CPU/machine TIME (seconds) = 64.010 19,474 Wall clock TIME (seconds) = 17.704 CPU/machine TIME (seconds) = 17.590 Wall clock TIME (seconds) = 67.728 CPU/machine TIME (seconds) = 64.010 19,188 Wall clock TIME (seconds) = 21.038 CPU/machine TIME (seconds) = 20.670 Wall clock TIME (seconds) = 64.040 CPU/machine TIME (seconds) = 64.010 19,7899 Wall clock TIME (seconds) = 18.655 CPU/machine TIME (seconds) = 18.600 Wall clock TIME (seconds) = 64.468 CPU/machine TIME (seconds) = 64.010 19,9 Wall clock TIME (seconds) = 20.502 CPU/machine TIME (seconds) = 20.460 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 19,774 Wall clock TIME (seconds) = 19.174 CPU/machine TIME (seconds) = 19.050 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 20,3455 Wall clock TIME (seconds) = 20.829 CPU/machine TIME (seconds) = 20.600 Wall clock TIME (seconds) = 64.099 CPU/machine TIME (seconds) = 64.010 20,12 Wall clock TIME (seconds) = 20.754 CPU/machine TIME (seconds) = 20.250 Wall clock TIME (seconds) = 64.866 CPU/machine TIME (seconds) = 64.010 20,45 Wall clock TIME (seconds) = 18.733 CPU/machine TIME (seconds) = 17.770 Wall clock TIME (seconds) = 64.794 CPU/machine TIME (seconds) = 64.010 20,78 Wall clock TIME (seconds) = 20.830 CPU/machine TIME (seconds) = 20.760 Wall clock TIME (seconds) = 67.432 CPU/machine TIME (seconds) = 64.010 20,8546 Wall clock TIME (seconds) = 21.926 CPU/machine TIME (seconds) = 21.410 Wall clock TIME (seconds) = 65.647 CPU/machine TIME (seconds) = 64.010 20,474 Wall clock TIME (seconds) = 17.329 CPU/machine TIME (seconds) = 17.160 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 20,188 Wall clock TIME (seconds) = 24.559 CPU/machine TIME (seconds) = 23.240 Wall clock TIME (seconds) = 64.976 CPU/machine TIME (seconds) = 64.010 20,7899 Wall clock TIME (seconds) = 22.588 CPU/machine TIME (seconds) = 22.530 Wall clock TIME (seconds) = 64.095 CPU/machine TIME (seconds) = 64.010 20,9 Wall clock TIME (seconds) = 17.253 CPU/machine TIME (seconds) = 17.130 Wall clock TIME (seconds) = 66.039 CPU/machine TIME (seconds) = 64.010 20,774 Wall clock TIME (seconds) = 20.383 CPU/machine TIME (seconds) = 20.100 Wall clock TIME (seconds) = 64.262 CPU/machine TIME (seconds) = 64.010 21,3455 Wall clock TIME (seconds) = 19.448 CPU/machine TIME (seconds) = 18.630 Wall clock TIME (seconds) = 64.682 CPU/machine TIME (seconds) = 64.010 21,12 Wall clock TIME (seconds) = 19.417 CPU/machine TIME (seconds) = 18.870 Wall clock TIME (seconds) = 64.066 CPU/machine TIME (seconds) = 64.010 21,45 Wall clock TIME (seconds) = 17.572 CPU/machine TIME (seconds) = 17.450 Wall clock TIME (seconds) = 64.329 CPU/machine TIME (seconds) = 64.010 21,78 Wall clock TIME (seconds) = 21.904 CPU/machine TIME (seconds) = 21.220 Wall clock TIME (seconds) = 65.943 CPU/machine TIME (seconds) = 64.010 21,8546 Wall clock TIME (seconds) = 20.441 CPU/machine TIME (seconds) = 20.330 Wall clock TIME (seconds) = 64.285 CPU/machine TIME (seconds) = 64.010 21,474 Wall clock TIME (seconds) = 17.098 CPU/machine TIME (seconds) = 16.710 Wall clock TIME (seconds) = 64.092 CPU/machine TIME (seconds) = 64.010 21,188 Wall clock TIME (seconds) = 25.200 CPU/machine TIME (seconds) = 23.930 Wall clock TIME (seconds) = 65.738 CPU/machine TIME (seconds) = 64.010 21,7899 Wall clock TIME (seconds) = 21.796 CPU/machine TIME (seconds) = 21.640 Wall clock TIME (seconds) = 64.426 CPU/machine TIME (seconds) = 64.010 21,9 Wall clock TIME (seconds) = 19.045 CPU/machine TIME (seconds) = 18.870 Wall clock TIME (seconds) = 64.048 CPU/machine TIME (seconds) = 64.010 21,774 Wall clock TIME (seconds) = 19.973 CPU/machine TIME (seconds) = 19.900 Wall clock TIME (seconds) = 64.505 CPU/machine TIME (seconds) = 64.010 22,3455 Wall clock TIME (seconds) = 17.447 CPU/machine TIME (seconds) = 17.390 Wall clock TIME (seconds) = 67.273 CPU/machine TIME (seconds) = 64.010 22,12 Wall clock TIME (seconds) = 21.371 CPU/machine TIME (seconds) = 20.880 Wall clock TIME (seconds) = 65.169 CPU/machine TIME (seconds) = 64.010 22,45 Wall clock TIME (seconds) = 15.633 CPU/machine TIME (seconds) = 15.590 Wall clock TIME (seconds) = 64.128 CPU/machine TIME (seconds) = 64.010 22,78 Wall clock TIME (seconds) = 19.053 CPU/machine TIME (seconds) = 18.750 Wall clock TIME (seconds) = 67.903 CPU/machine TIME (seconds) = 64.010 22,8546 Wall clock TIME (seconds) = 20.232 CPU/machine TIME (seconds) = 20.090 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 22,474 Wall clock TIME (seconds) = 15.574 CPU/machine TIME (seconds) = 15.540 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 22,188 Wall clock TIME (seconds) = 19.956 CPU/machine TIME (seconds) = 19.640 Wall clock TIME (seconds) = 65.361 CPU/machine TIME (seconds) = 64.010 22,7899 Wall clock TIME (seconds) = 21.554 CPU/machine TIME (seconds) = 19.210 Wall clock TIME (seconds) = 64.072 CPU/machine TIME (seconds) = 64.010 22,9 Wall clock TIME (seconds) = 16.054 CPU/machine TIME (seconds) = 15.910 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 22,774 Wall clock TIME (seconds) = 21.460 CPU/machine TIME (seconds) = 21.280 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 23,3455 Wall clock TIME (seconds) = 23.899 CPU/machine TIME (seconds) = 23.340 Wall clock TIME (seconds) = 64.567 CPU/machine TIME (seconds) = 64.010 23,12 Wall clock TIME (seconds) = 15.137 CPU/machine TIME (seconds) = 15.040 Wall clock TIME (seconds) = 64.215 CPU/machine TIME (seconds) = 64.010 23,45 Wall clock TIME (seconds) = 17.765 CPU/machine TIME (seconds) = 17.660 Wall clock TIME (seconds) = 64.241 CPU/machine TIME (seconds) = 64.010 23,78 Wall clock TIME (seconds) = 21.008 CPU/machine TIME (seconds) = 20.830 Wall clock TIME (seconds) = 67.776 CPU/machine TIME (seconds) = 64.010 23,8546 Wall clock TIME (seconds) = 20.465 CPU/machine TIME (seconds) = 20.430 Wall clock TIME (seconds) = 64.506 CPU/machine TIME (seconds) = 64.010 23,474 Wall clock TIME (seconds) = 19.196 CPU/machine TIME (seconds) = 18.660 Wall clock TIME (seconds) = 64.011 CPU/machine TIME (seconds) = 64.010 23,188 Wall clock TIME (seconds) = 18.327 CPU/machine TIME (seconds) = 18.300 Wall clock TIME (seconds) = 64.008 CPU/machine TIME (seconds) = 64.010 23,7899 Wall clock TIME (seconds) = 20.578 CPU/machine TIME (seconds) = 20.490 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 23,9 Wall clock TIME (seconds) = 23.138 CPU/machine TIME (seconds) = 22.640 Wall clock TIME (seconds) = 64.015 CPU/machine TIME (seconds) = 64.010 23,774 Wall clock TIME (seconds) = 20.282 CPU/machine TIME (seconds) = 20.240 Wall clock TIME (seconds) = 64.049 CPU/machine TIME (seconds) = 64.010 24,3455 Wall clock TIME (seconds) = 18.537 CPU/machine TIME (seconds) = 18.410 Wall clock TIME (seconds) = 64.534 CPU/machine TIME (seconds) = 64.010 24,12 Wall clock TIME (seconds) = 18.381 CPU/machine TIME (seconds) = 18.150 Wall clock TIME (seconds) = 64.046 CPU/machine TIME (seconds) = 64.010 24,45 Wall clock TIME (seconds) = 16.575 CPU/machine TIME (seconds) = 16.540 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 24,78 Wall clock TIME (seconds) = 17.600 CPU/machine TIME (seconds) = 17.450 Wall clock TIME (seconds) = 67.150 CPU/machine TIME (seconds) = 64.010 24,8546 Wall clock TIME (seconds) = 22.851 CPU/machine TIME (seconds) = 22.400 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 24,474 Wall clock TIME (seconds) = 15.525 CPU/machine TIME (seconds) = 15.330 Wall clock TIME (seconds) = 64.006 CPU/machine TIME (seconds) = 64.010 24,188 Wall clock TIME (seconds) = 17.828 CPU/machine TIME (seconds) = 17.130 Wall clock TIME (seconds) = 64.506 CPU/machine TIME (seconds) = 64.010 24,7899 Wall clock TIME (seconds) = 24.862 CPU/machine TIME (seconds) = 24.380 Wall clock TIME (seconds) = 64.296 CPU/machine TIME (seconds) = 64.010 24,9 Wall clock TIME (seconds) = 23.539 CPU/machine TIME (seconds) = 23.350 Wall clock TIME (seconds) = 64.145 CPU/machine TIME (seconds) = 64.010 24,774 Wall clock TIME (seconds) = 20.567 CPU/machine TIME (seconds) = 20.530 Wall clock TIME (seconds) = 64.033 CPU/machine TIME (seconds) = 64.010 25,3455 Wall clock TIME (seconds) = 20.559 CPU/machine TIME (seconds) = 20.430 Wall clock TIME (seconds) = 64.063 CPU/machine TIME (seconds) = 64.010 25,12 Wall clock TIME (seconds) = 18.787 CPU/machine TIME (seconds) = 18.710 Wall clock TIME (seconds) = 64.094 CPU/machine TIME (seconds) = 64.010 25,45 Wall clock TIME (seconds) = 17.452 CPU/machine TIME (seconds) = 17.330 Wall clock TIME (seconds) = 64.552 CPU/machine TIME (seconds) = 64.010 25,78 Wall clock TIME (seconds) = 22.796 CPU/machine TIME (seconds) = 22.410 Wall clock TIME (seconds) = 66.205 CPU/machine TIME (seconds) = 64.010 25,8546 Wall clock TIME (seconds) = 20.113 CPU/machine TIME (seconds) = 19.890 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 25,474 Wall clock TIME (seconds) = 20.031 CPU/machine TIME (seconds) = 19.980 Wall clock TIME (seconds) = 64.046 CPU/machine TIME (seconds) = 64.010 25,188 Wall clock TIME (seconds) = 14.652 CPU/machine TIME (seconds) = 14.510 Wall clock TIME (seconds) = 64.047 CPU/machine TIME (seconds) = 64.010 25,7899 Wall clock TIME (seconds) = 17.287 CPU/machine TIME (seconds) = 17.220 Wall clock TIME (seconds) = 64.086 CPU/machine TIME (seconds) = 64.010 25,9 Wall clock TIME (seconds) = 23.455 CPU/machine TIME (seconds) = 23.100 Wall clock TIME (seconds) = 64.582 CPU/machine TIME (seconds) = 64.010 25,774 Wall clock TIME (seconds) = 16.777 CPU/machine TIME (seconds) = 16.530 Wall clock TIME (seconds) = 64.178 CPU/machine TIME (seconds) = 64.010 26,3455 Wall clock TIME (seconds) = 19.650 CPU/machine TIME (seconds) = 19.260 Wall clock TIME (seconds) = 64.661 CPU/machine TIME (seconds) = 64.010 26,12 Wall clock TIME (seconds) = 17.562 CPU/machine TIME (seconds) = 17.530 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 26,45 Wall clock TIME (seconds) = 17.444 CPU/machine TIME (seconds) = 17.390 Wall clock TIME (seconds) = 64.333 CPU/machine TIME (seconds) = 64.010 26,78 Wall clock TIME (seconds) = 19.821 CPU/machine TIME (seconds) = 18.800 Wall clock TIME (seconds) = 67.872 CPU/machine TIME (seconds) = 64.010 26,8546 Wall clock TIME (seconds) = 19.176 CPU/machine TIME (seconds) = 18.760 Wall clock TIME (seconds) = 64.237 CPU/machine TIME (seconds) = 64.010 26,474 Wall clock TIME (seconds) = 13.579 CPU/machine TIME (seconds) = 13.380 Wall clock TIME (seconds) = 64.237 CPU/machine TIME (seconds) = 64.010 26,188 Wall clock TIME (seconds) = 18.128 CPU/machine TIME (seconds) = 17.940 Wall clock TIME (seconds) = 64.072 CPU/machine TIME (seconds) = 64.010 26,7899 Wall clock TIME (seconds) = 16.297 CPU/machine TIME (seconds) = 16.180 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 26,9 Wall clock TIME (seconds) = 21.722 CPU/machine TIME (seconds) = 21.390 Wall clock TIME (seconds) = 65.301 CPU/machine TIME (seconds) = 64.010 26,774 Wall clock TIME (seconds) = 17.682 CPU/machine TIME (seconds) = 17.660 Wall clock TIME (seconds) = 64.189 CPU/machine TIME (seconds) = 64.010 27,3455 Wall clock TIME (seconds) = 21.943 CPU/machine TIME (seconds) = 21.860 Wall clock TIME (seconds) = 64.584 CPU/machine TIME (seconds) = 64.010 27,12 Wall clock TIME (seconds) = 14.473 CPU/machine TIME (seconds) = 14.410 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 27,45 Wall clock TIME (seconds) = 18.908 CPU/machine TIME (seconds) = 18.830 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 27,78 Wall clock TIME (seconds) = 19.988 CPU/machine TIME (seconds) = 19.740 Wall clock TIME (seconds) = 69.072 CPU/machine TIME (seconds) = 64.010 27,8546 Wall clock TIME (seconds) = 12.830 CPU/machine TIME (seconds) = 12.740 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 27,474 Wall clock TIME (seconds) = 18.634 CPU/machine TIME (seconds) = 18.590 Wall clock TIME (seconds) = 64.017 CPU/machine TIME (seconds) = 64.010 27,188 Wall clock TIME (seconds) = 18.879 CPU/machine TIME (seconds) = 18.830 Wall clock TIME (seconds) = 64.007 CPU/machine TIME (seconds) = 64.010 27,7899 Wall clock TIME (seconds) = 18.531 CPU/machine TIME (seconds) = 17.960 Wall clock TIME (seconds) = 64.032 CPU/machine TIME (seconds) = 64.010 27,9 Wall clock TIME (seconds) = 20.279 CPU/machine TIME (seconds) = 19.970 Wall clock TIME (seconds) = 66.454 CPU/machine TIME (seconds) = 64.010 27,774 Wall clock TIME (seconds) = 16.417 CPU/machine TIME (seconds) = 16.370 Wall clock TIME (seconds) = 64.293 CPU/machine TIME (seconds) = 64.010 28,3455 Wall clock TIME (seconds) = 20.757 CPU/machine TIME (seconds) = 20.680 Wall clock TIME (seconds) = 64.088 CPU/machine TIME (seconds) = 64.010 28,12 Wall clock TIME (seconds) = 15.673 CPU/machine TIME (seconds) = 15.520 Wall clock TIME (seconds) = 64.146 CPU/machine TIME (seconds) = 64.010 28,45 Wall clock TIME (seconds) = 15.464 CPU/machine TIME (seconds) = 15.110 Wall clock TIME (seconds) = 64.039 CPU/machine TIME (seconds) = 64.010 28,78 Wall clock TIME (seconds) = 19.713 CPU/machine TIME (seconds) = 19.290 Wall clock TIME (seconds) = 64.786 CPU/machine TIME (seconds) = 64.010 28,8546 Wall clock TIME (seconds) = 18.100 CPU/machine TIME (seconds) = 18.030 Wall clock TIME (seconds) = 64.012 CPU/machine TIME (seconds) = 64.010 28,474 Wall clock TIME (seconds) = 20.331 CPU/machine TIME (seconds) = 20.280 Wall clock TIME (seconds) = 64.069 CPU/machine TIME (seconds) = 64.010 28,188 Wall clock TIME (seconds) = 15.472 CPU/machine TIME (seconds) = 15.410 Wall clock TIME (seconds) = 64.549 CPU/machine TIME (seconds) = 64.010 28,7899 Wall clock TIME (seconds) = 21.766 CPU/machine TIME (seconds) = 21.170 Wall clock TIME (seconds) = 65.998 CPU/machine TIME (seconds) = 64.010 28,9 Wall clock TIME (seconds) = 18.263 CPU/machine TIME (seconds) = 17.820 Wall clock TIME (seconds) = 64.497 CPU/machine TIME (seconds) = 64.010 28,774 Wall clock TIME (seconds) = 21.325 CPU/machine TIME (seconds) = 21.010 Wall clock TIME (seconds) = 64.867 CPU/machine TIME (seconds) = 64.010 29,3455 Wall clock TIME (seconds) = 18.987 CPU/machine TIME (seconds) = 18.730 Wall clock TIME (seconds) = 65.091 CPU/machine TIME (seconds) = 64.010 29,12 Wall clock TIME (seconds) = 14.829 CPU/machine TIME (seconds) = 14.610 Wall clock TIME (seconds) = 64.054 CPU/machine TIME (seconds) = 64.010 29,45 Wall clock TIME (seconds) = 14.911 CPU/machine TIME (seconds) = 14.850 Wall clock TIME (seconds) = 64.082 CPU/machine TIME (seconds) = 64.010 29,78 Wall clock TIME (seconds) = 17.763 CPU/machine TIME (seconds) = 17.660 Wall clock TIME (seconds) = 64.331 CPU/machine TIME (seconds) = 64.010 29,8546 Wall clock TIME (seconds) = 16.622 CPU/machine TIME (seconds) = 16.590 Wall clock TIME (seconds) = 64.037 CPU/machine TIME (seconds) = 64.010 29,474 Wall clock TIME (seconds) = 14.420 CPU/machine TIME (seconds) = 14.310 Wall clock TIME (seconds) = 64.059 CPU/machine TIME (seconds) = 64.010 29,188 Wall clock TIME (seconds) = 16.950 CPU/machine TIME (seconds) = 16.900 Wall clock TIME (seconds) = 64.076 CPU/machine TIME (seconds) = 64.010 29,7899 Wall clock TIME (seconds) = 18.693 CPU/machine TIME (seconds) = 18.660 Wall clock TIME (seconds) = 64.570 CPU/machine TIME (seconds) = 64.010 29,9 Wall clock TIME (seconds) = 17.493 CPU/machine TIME (seconds) = 17.450 Wall clock TIME (seconds) = 64.048 CPU/machine TIME (seconds) = 64.010 29,774 Wall clock TIME (seconds) = 20.322 CPU/machine TIME (seconds) = 20.040 Wall clock TIME (seconds) = 64.304 CPU/machine TIME (seconds) = 64.010 30,3455 Wall clock TIME (seconds) = 18.886 CPU/machine TIME (seconds) = 18.070 Wall clock TIME (seconds) = 64.487 CPU/machine TIME (seconds) = 64.010 30,12 Wall clock TIME (seconds) = 17.299 CPU/machine TIME (seconds) = 17.190 Wall clock TIME (seconds) = 64.238 CPU/machine TIME (seconds) = 64.010 30,45 Wall clock TIME (seconds) = 13.167 CPU/machine TIME (seconds) = 13.080 Wall clock TIME (seconds) = 64.107 CPU/machine TIME (seconds) = 64.010 30,78 Wall clock TIME (seconds) = 15.821 CPU/machine TIME (seconds) = 15.730 Wall clock TIME (seconds) = 64.028 CPU/machine TIME (seconds) = 64.010 30,8546 Wall clock TIME (seconds) = 16.669 CPU/machine TIME (seconds) = 16.440 Wall clock TIME (seconds) = 65.043 CPU/machine TIME (seconds) = 64.010 30,474 Wall clock TIME (seconds) = 13.281 CPU/machine TIME (seconds) = 13.230 Wall clock TIME (seconds) = 64.129 CPU/machine TIME (seconds) = 64.010 30,188 Wall clock TIME (seconds) = 13.181 CPU/machine TIME (seconds) = 13.150 Wall clock TIME (seconds) = 64.024 CPU/machine TIME (seconds) = 64.010 30,7899 Wall clock TIME (seconds) = 15.894 CPU/machine TIME (seconds) = 15.600 Wall clock TIME (seconds) = 64.646 CPU/machine TIME (seconds) = 64.010 30,9 Wall clock TIME (seconds) = 17.362 CPU/machine TIME (seconds) = 16.800 Wall clock TIME (seconds) = 65.179 CPU/machine TIME (seconds) = 64.010 30,774 Wall clock TIME (seconds) = 17.324 CPU/machine TIME (seconds) = 17.310 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 31,3455 Wall clock TIME (seconds) = 12.806 CPU/machine TIME (seconds) = 12.530 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 31,12 Wall clock TIME (seconds) = 14.734 CPU/machine TIME (seconds) = 14.670 Wall clock TIME (seconds) = 64.034 CPU/machine TIME (seconds) = 64.010 31,45 Wall clock TIME (seconds) = 13.705 CPU/machine TIME (seconds) = 13.430 Wall clock TIME (seconds) = 64.251 CPU/machine TIME (seconds) = 64.010 31,78 Wall clock TIME (seconds) = 17.261 CPU/machine TIME (seconds) = 16.460 Wall clock TIME (seconds) = 67.082 CPU/machine TIME (seconds) = 64.010 31,8546 Wall clock TIME (seconds) = 21.896 CPU/machine TIME (seconds) = 21.370 Wall clock TIME (seconds) = 64.038 CPU/machine TIME (seconds) = 64.010 31,474 Wall clock TIME (seconds) = 15.882 CPU/machine TIME (seconds) = 15.830 Wall clock TIME (seconds) = 64.020 CPU/machine TIME (seconds) = 64.010 31,188 Wall clock TIME (seconds) = 13.594 CPU/machine TIME (seconds) = 13.460 Wall clock TIME (seconds) = 64.016 CPU/machine TIME (seconds) = 64.010 31,7899 Wall clock TIME (seconds) = 18.582 CPU/machine TIME (seconds) = 17.980 Wall clock TIME (seconds) = 65.243 CPU/machine TIME (seconds) = 64.010 31,9 Wall clock TIME (seconds) = 19.605 CPU/machine TIME (seconds) = 18.810 Wall clock TIME (seconds) = 66.375 CPU/machine TIME (seconds) = 64.010 31,774 Wall clock TIME (seconds) = 20.209 CPU/machine TIME (seconds) = 19.780 Wall clock TIME (seconds) = 64.030 CPU/machine TIME (seconds) = 64.010 32,3455 Wall clock TIME (seconds) = 20.054 CPU/machine TIME (seconds) = 19.970 Wall clock TIME (seconds) = 64.029 CPU/machine TIME (seconds) = 64.010 32,12 Wall clock TIME (seconds) = 11.722 CPU/machine TIME (seconds) = 11.650 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 32,45 Wall clock TIME (seconds) = 18.023 CPU/machine TIME (seconds) = 17.950 Wall clock TIME (seconds) = 64.025 CPU/machine TIME (seconds) = 64.010 32,78 Wall clock TIME (seconds) = 16.197 CPU/machine TIME (seconds) = 14.990 Wall clock TIME (seconds) = 65.170 CPU/machine TIME (seconds) = 64.010 32,8546 Wall clock TIME (seconds) = 19.815 CPU/machine TIME (seconds) = 19.780 Wall clock TIME (seconds) = 64.014 CPU/machine TIME (seconds) = 64.010 32,474 Wall clock TIME (seconds) = 14.673 CPU/machine TIME (seconds) = 14.660 Wall clock TIME (seconds) = 64.019 CPU/machine TIME (seconds) = 64.010 32,188 Wall clock TIME (seconds) = 16.343 CPU/machine TIME (seconds) = 16.290 Wall clock TIME (seconds) = 64.010 CPU/machine TIME (seconds) = 64.010 32,7899 Wall clock TIME (seconds) = 16.948 CPU/machine TIME (seconds) = 16.870 Wall clock TIME (seconds) = 64.036 CPU/machine TIME (seconds) = 64.010 32,9 Wall clock TIME (seconds) = 18.989 CPU/machine TIME (seconds) = 18.860 Wall clock TIME (seconds) = 64.299 CPU/machine TIME (seconds) = 64.010 32,774 Wall clock TIME (seconds) = 19.814 CPU/machine TIME (seconds) = 19.790 Wall clock TIME (seconds) = 64.026 CPU/machine TIME (seconds) = 64.010 grid size = 8 max robots = 32 1,3455 Computed optimal makespan:5 total makespan = 5 1,12 Computed optimal makespan:6 total makespan = 6 1,45 Computed optimal makespan:7 total makespan = 7 1,78 Computed optimal makespan:5 total makespan = 5 1,8546 Computed optimal makespan:3 total makespan = 3 1,474 Computed optimal makespan:10 total makespan = 10 1,188 Computed optimal makespan:1 total makespan = 1 1,7899 Computed optimal makespan:9 total makespan = 9 1,9 Computed optimal makespan:4 total makespan = 4 1,774 Computed optimal makespan:3 total makespan = 3 2,3455 Computed optimal makespan:6 total makespan = 6 2,12 Computed optimal makespan:5 total makespan = 5 2,45 Computed optimal makespan:13 total makespan = 13 2,78 Computed optimal makespan:8 total makespan = 8 2,8546 Computed optimal makespan:4 total makespan = 4 2,474 Computed optimal makespan:11 total makespan = 11 2,188 Computed optimal makespan:5 total makespan = 5 2,7899 Computed optimal makespan:9 total makespan = 9 2,9 Computed optimal makespan:4 total makespan = 4 2,774 Computed optimal makespan:9 total makespan = 9 3,3455 Computed optimal makespan:4 total makespan = 4 3,12 Computed optimal makespan:6 total makespan = 6 3,45 Computed optimal makespan:18 total makespan = 18 3,78 Computed optimal makespan:5 total makespan = 5 3,8546 total makespan = 0 3,474 Computed optimal makespan:11 total makespan = 11 3,188 Computed optimal makespan:13 total makespan = 13 3,7899 total makespan = 0 3,9 Computed optimal makespan:6 total makespan = 6 3,774 Computed optimal makespan:9 total makespan = 9 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 Computed optimal makespan:4 total makespan = 4 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