First game (first move goes to player A): Board {turn = Player_A, ponds_A = [ 6, 6, 6, 6, 6, 6], bank_A = 0, ponds_B = [ 6, 6, 6, 6, 6, 6], bank_B = 0}-0.000-0.000-0.001-0.006-0.030-0.134-0.455-1.281> Board {turn = Player_A, ponds_A = [ 0, 7, 7, 7, 7, 7], bank_A = 1, ponds_B = [ 6, 6, 6, 6, 6, 6], bank_B = 0}-0.000-0.001-0.002-0.009-0.036-0.142-0.503-1.294> Board {turn = Player_B, ponds_A = [ 0, 7, 7, 7, 0, 8], bank_A = 2, ponds_B = [ 7, 7, 7, 7, 7, 6], bank_B = 0}-0.002-0.013-0.073-0.411-2.006> Board {turn = Player_A, ponds_A = [ 1, 8, 8, 8, 1, 8], bank_A = 2, ponds_B = [ 7, 7, 7, 7, 7, 0], bank_B = 1}-0.000-0.001-0.004-0.010-0.062-0.152-0.706-1.585> Board {turn = Player_B, ponds_A = [ 1, 0, 9, 9, 2, 9], bank_A = 3, ponds_B = [ 8, 8, 8, 7, 7, 0], bank_B = 1}-0.002-0.011-0.065-0.352-1.822> Board {turn = Player_A, ponds_A = [ 2, 1, 10, 10, 3, 9], bank_A = 3, ponds_B = [ 8, 8, 8, 7, 0, 1], bank_B = 2}-0.000-0.001-0.005-0.012-0.068-0.164-0.672-1.586> Board {turn = Player_B, ponds_A = [ 3, 1, 10, 0, 4, 10], bank_A = 4, ponds_B = [ 9, 9, 9, 8, 1, 2], bank_B = 2}-0.002-0.011-0.066-0.349-1.793> Board {turn = Player_A, ponds_A = [ 4, 1, 10, 0, 4, 10], bank_A = 4, ponds_B = [ 9, 9, 9, 8, 1, 0], bank_B = 3}-0.000-0.001-0.007-0.016-0.057-0.151-0.467-1.199> Board {turn = Player_B, ponds_A = [ 5, 2, 11, 0, 4, 0], bank_A = 5, ponds_B = [10, 10, 10, 9, 2, 1], bank_B = 3}-0.002-0.010-0.059-0.313-1.607> Board {turn = Player_B, ponds_A = [ 5, 2, 11, 0, 4, 0], bank_A = 5, ponds_B = [10, 10, 10, 9, 2, 0], bank_B = 4}-0.001-0.008-0.050-0.260-1.326> Board {turn = Player_B, ponds_A = [ 5, 2, 11, 0, 4, 0], bank_A = 5, ponds_B = [10, 10, 10, 9, 0, 1], bank_B = 5}-0.001-0.008-0.047-0.246-1.255> Board {turn = Player_B, ponds_A = [ 5, 2, 11, 0, 4, 0], bank_A = 5, ponds_B = [10, 10, 10, 9, 0, 0], bank_B = 6}-0.001-0.007-0.039-0.202-1.032> Board {turn = Player_A, ponds_A = [ 6, 3, 12, 1, 5, 1], bank_A = 5, ponds_B = [10, 10, 10, 0, 1, 1], bank_B = 7}-0.000-0.001-0.004-0.013-0.043-0.126-0.384-1.216> Board {turn = Player_A, ponds_A = [ 6, 3, 12, 1, 5, 0], bank_A = 6, ponds_B = [10, 10, 10, 0, 1, 1], bank_B = 7}-0.000-0.001-0.004-0.011-0.033-0.107-0.304-1.083> Board {turn = Player_A, ponds_A = [ 0, 4, 13, 2, 6, 1], bank_A = 7, ponds_B = [10, 10, 10, 0, 1, 1], bank_B = 7}-0.000-0.001-0.003-0.008-0.023-0.082-0.273-0.841-2.007> Board {turn = Player_A, ponds_A = [ 0, 4, 13, 2, 6, 0], bank_A = 8, ponds_B = [10, 10, 10, 0, 1, 1], bank_B = 7}-0.000-0.001-0.002-0.006-0.019-0.060-0.191-0.570-1.860> Board {turn = Player_B, ponds_A = [ 0, 0, 14, 3, 7, 0], bank_A = 19, ponds_B = [ 0, 10, 10, 0, 1, 1], bank_B = 7}-0.001-0.003-0.022-0.117-0.579-2.002> Board {turn = Player_B, ponds_A = [ 0, 0, 14, 3, 7, 0], bank_A = 19, ponds_B = [ 0, 10, 10, 0, 1, 0], bank_B = 8}-0.001-0.003-0.017-0.093-0.457-2.007> Board {turn = Player_A, ponds_A = [ 1, 1, 15, 4, 8, 0], bank_A = 19, ponds_B = [ 0, 0, 11, 1, 2, 1], bank_B = 9}-0.000-0.001-0.002-0.006-0.018-0.049-0.145-0.374-1.085> Board {turn = Player_B, ponds_A = [ 1, 1, 15, 4, 0, 1], bank_A = 20, ponds_B = [ 1, 1, 12, 2, 3, 2], bank_B = 9}-0.001-0.006-0.039-0.201-0.954-2.001> Board {turn = Player_A, ponds_A = [ 2, 2, 16, 5, 1, 2], bank_A = 20, ponds_B = [ 2, 2, 0, 3, 4, 3], bank_B = 10}-0.000-0.001-0.002-0.005-0.018-0.046-0.129-0.387-1.107> Board {turn = Player_B, ponds_A = [ 3, 3, 1, 7, 3, 4], bank_A = 21, ponds_B = [ 3, 3, 1, 4, 5, 4], bank_B = 10}-0.001-0.007-0.049-0.236-1.128> Board {turn = Player_A, ponds_A = [ 4, 4, 2, 7, 3, 4], bank_A = 21, ponds_B = [ 3, 3, 1, 4, 0, 5], bank_B = 11}-0.000-0.000-0.001-0.004-0.008-0.041-0.084-0.318-0.875-2.002> Board {turn = Player_B, ponds_A = [ 4, 0, 3, 8, 4, 5], bank_A = 21, ponds_B = [ 3, 3, 1, 4, 0, 5], bank_B = 11}-0.001-0.004-0.030-0.140-0.665-2.006> Board {turn = Player_A, ponds_A = [ 4, 0, 3, 8, 4, 5], bank_A = 21, ponds_B = [ 0, 4, 2, 5, 0, 5], bank_B = 11}-0.000-0.001-0.002-0.006-0.013-0.040-0.107-0.291-0.786-2.010> Board {turn = Player_B, ponds_A = [ 4, 0, 3, 8, 0, 6], bank_A = 22, ponds_B = [ 1, 5, 2, 5, 0, 5], bank_B = 11}-0.001-0.004-0.025-0.121-0.558-2.009> Board {turn = Player_B, ponds_A = [ 4, 0, 3, 8, 0, 6], bank_A = 22, ponds_B = [ 1, 0, 3, 6, 1, 6], bank_B = 12}-0.001-0.004-0.025-0.122-0.553-2.002> Board {turn = Player_A, ponds_A = [ 4, 0, 3, 8, 0, 6], bank_A = 22, ponds_B = [ 1, 0, 3, 6, 0, 7], bank_B = 12}-0.000-0.000-0.001-0.004-0.013-0.035-0.098-0.270-0.708-1.730> Board {turn = Player_B, ponds_A = [ 4, 0, 3, 0, 1, 7], bank_A = 23, ponds_B = [ 2, 1, 4, 7, 1, 7], bank_B = 12}-0.001-0.005-0.031-0.153-0.682-2.008> Board {turn = Player_B, ponds_A = [ 4, 0, 3, 0, 1, 7], bank_A = 23, ponds_B = [ 2, 1, 0, 8, 2, 8], bank_B = 13}-0.001-0.003-0.023-0.106-0.470-2.004> Board {turn = Player_A, ponds_A = [ 4, 0, 3, 0, 1, 7], bank_A = 23, ponds_B = [ 2, 0, 1, 8, 2, 8], bank_B = 13}-0.000-0.000-0.002-0.005-0.014-0.042-0.134-0.335-0.865-2.009> Board {turn = Player_B, ponds_A = [ 4, 0, 3, 0, 0, 8], bank_A = 23, ponds_B = [ 2, 0, 1, 8, 2, 8], bank_B = 13}-0.001-0.003-0.018-0.085-0.369-1.593> Board {turn = Player_A, ponds_A = [ 4, 0, 3, 0, 0, 8], bank_A = 23, ponds_B = [ 0, 1, 2, 8, 2, 8], bank_B = 13}-0.000-0.000-0.001-0.003-0.011-0.028-0.083-0.190-0.521-1.185> Board {turn = Player_B, ponds_A = [ 5, 0, 3, 0, 0, 0], bank_A = 24, ponds_B = [ 1, 2, 3, 9, 3, 9], bank_B = 13}-0.001-0.003-0.017-0.083-0.361-1.544> Board {turn = Player_A, ponds_A = [ 5, 0, 3, 0, 0, 0], bank_A = 24, ponds_B = [ 0, 3, 3, 9, 3, 9], bank_B = 13}-0.000-0.000-0.001-0.002-0.007-0.018-0.049-0.135-0.331-0.909-2.003> Board {turn = Player_B, ponds_A = [ 5, 0, 0, 1, 1, 1], bank_A = 24, ponds_B = [ 0, 3, 3, 9, 3, 9], bank_B = 13}-0.001-0.003-0.018-0.087-0.378-1.630> Board {turn = Player_A, ponds_A = [ 5, 0, 0, 1, 1, 1], bank_A = 24, ponds_B = [ 0, 0, 4, 10, 4, 9], bank_B = 13}-0.000-0.000-0.001-0.002-0.005-0.012-0.033-0.077-0.215-0.539-1.388> Board {turn = Player_B, ponds_A = [ 5, 0, 0, 1, 0, 2], bank_A = 24, ponds_B = [ 0, 0, 4, 10, 4, 9], bank_B = 13}-0.000-0.002-0.011-0.047-0.197-0.819-2.004> Board {turn = Player_B, ponds_A = [ 5, 0, 0, 1, 0, 2], bank_A = 24, ponds_B = [ 0, 0, 0, 11, 5, 10], bank_B = 14}-0.000-0.001-0.008-0.035-0.147-0.590-2.005> Board {turn = Player_A, ponds_A = [ 6, 1, 1, 0, 1, 3], bank_A = 24, ponds_B = [ 1, 1, 0, 11, 5, 0], bank_B = 18}-0.000-0.000-0.002-0.005-0.013-0.034-0.088-0.226-0.564-1.131> Board {turn = Player_A, ponds_A = [ 0, 2, 2, 1, 2, 4], bank_A = 25, ponds_B = [ 1, 1, 0, 11, 5, 0], bank_B = 18}-0.000-0.000-0.001-0.003-0.010-0.022-0.059-0.128-0.291-0.582-1.583> Board {turn = Player_A, ponds_A = [ 0, 2, 2, 1, 0, 5], bank_A = 26, ponds_B = [ 1, 1, 0, 11, 5, 0], bank_B = 18}-0.000-0.000-0.001-0.002-0.006-0.011-0.024-0.059-0.114-0.249-0.559-1.310> Board {turn = Player_B, ponds_A = [ 0, 2, 2, 0, 0, 5], bank_A = 28, ponds_B = [ 1, 0, 0, 11, 5, 0], bank_B = 18}-0.000-0.001-0.004-0.020-0.079-0.308-1.160> Board {turn = Player_A, ponds_A = [ 1, 3, 3, 0, 0, 5], bank_A = 28, ponds_B = [ 1, 0, 0, 11, 0, 1], bank_B = 19}-0.000-0.000-0.001-0.002-0.004-0.009-0.024-0.063-0.138-0.366-0.678-1.607> Board {turn = Player_B, ponds_A = [ 0, 4, 3, 0, 0, 5], bank_A = 28, ponds_B = [ 1, 0, 0, 11, 0, 1], bank_B = 19}-0.000-0.001-0.004-0.020-0.080-0.304-1.126> Board {turn = Player_B, ponds_A = [ 0, 4, 3, 0, 0, 5], bank_A = 28, ponds_B = [ 1, 0, 0, 11, 0, 0], bank_B = 20}-0.000-0.001-0.003-0.013-0.053-0.196-0.707-2.008> Board {turn = Player_A, ponds_A = [ 0, 4, 3, 0, 0, 5], bank_A = 28, ponds_B = [ 0, 1, 0, 11, 0, 0], bank_B = 20}-0.000-0.000-0.000-0.001-0.003-0.007-0.016-0.034-0.087-0.183-0.437-0.958-1.852> Board {turn = Player_B, ponds_A = [ 0, 4, 0, 1, 1, 6], bank_A = 28, ponds_B = [ 0, 1, 0, 11, 0, 0], bank_B = 20}-0.000-0.001-0.005-0.020-0.077-0.290-1.058> Board {turn = Player_A, ponds_A = [ 1, 5, 1, 2, 2, 7], bank_A = 28, ponds_B = [ 1, 2, 0, 0, 1, 1], bank_B = 21}-0.000-0.001-0.003-0.008-0.015-0.035-0.073-0.146-0.319-0.769-1.651> Board {turn = Player_A, ponds_A = [ 1, 5, 1, 2, 0, 8], bank_A = 29, ponds_B = [ 1, 2, 0, 0, 1, 1], bank_B = 21}-0.000-0.001-0.001-0.004-0.008-0.021-0.039-0.089-0.203-0.436-0.940-1.932> Board {turn = Player_A, ponds_A = [ 1, 0, 2, 3, 1, 9], bank_A = 30, ponds_B = [ 1, 2, 0, 0, 1, 1], bank_B = 21}-0.000-0.000-0.001-0.002-0.006-0.012-0.023-0.048-0.094-0.207-0.417-0.738-1.312> Board {turn = Player_A, ponds_A = [ 1, 0, 2, 0, 2, 10], bank_A = 31, ponds_B = [ 1, 2, 0, 0, 1, 1], bank_B = 21}-0.000-0.000-0.001-0.002-0.003-0.008-0.016-0.035-0.081-0.181-0.418-0.788-1.672> Board {turn = Player_A, ponds_A = [ 1, 0, 2, 0, 0, 11], bank_A = 32, ponds_B = [ 1, 2, 0, 0, 1, 1], bank_B = 21}-0.000-0.000-0.000-0.001-0.001-0.003-0.006-0.013-0.025-0.055-0.105-0.166-0.303-0.548-0.901-1.344> Board {turn = Player_B, ponds_A = [ 1, 0, 0, 1, 0, 11], bank_A = 35, ponds_B = [ 1, 0, 0, 0, 1, 1], bank_B = 21}-0.000-0.000-0.001-0.007-0.024-0.078-0.229-0.644-1.749> Board {turn = Player_B, ponds_A = [ 1, 0, 0, 1, 0, 11], bank_A = 35, ponds_B = [ 1, 0, 0, 0, 1, 0], bank_B = 22}-0.000-0.000-0.001-0.004-0.015-0.046-0.127-0.329-0.851-2.006> Board {turn = Player_A, ponds_A = [ 0, 0, 0, 1, 0, 11], bank_A = 35, ponds_B = [ 1, 0, 0, 0, 0, 0], bank_B = 24}-0.000-0.000-0.000-0.001-0.002-0.003-0.006-0.011-0.019-0.033-0.052-0.076-0.105-0.156-0.212-0.264-0.305-0.361-0.362-0.411-0.443-0.470-0.510-0.539-0.574-0.595-0.616-0.635-0.648> Board {turn = Player_B, ponds_A = [ 0, 0, 0, 0, 1, 11], bank_A = 35, ponds_B = [ 1, 0, 0, 0, 0, 0], bank_B = 24}-0.000-0.000-0.000> Board {turn = Finished, ponds_A = [ 0, 0, 0, 0, 0, 0], bank_A = 46, ponds_B = [ 0, 0, 0, 0, 0, 0], bank_B = 26} End of game ----------------------------------------------------------------------- # First result for player A: 1 point with a pebble difference of 20 ----------------------------------------------------------------------- Second game (first move goes to player B): Board {turn = Player_B, ponds_A = [ 6, 6, 6, 6, 6, 6], bank_A = 0, ponds_B = [ 6, 6, 6, 6, 6, 6], bank_B = 0}-0.002-0.014-0.083-0.454-2.001> Board {turn = Player_B, ponds_A = [ 6, 6, 6, 6, 6, 6], bank_A = 0, ponds_B = [ 0, 7, 7, 7, 7, 7], bank_B = 1}-0.002-0.012-0.073-0.387-2.004> Board {turn = Player_A, ponds_A = [ 7, 7, 7, 7, 7, 7], bank_A = 0, ponds_B = [ 0, 7, 7, 7, 7, 0], bank_B = 2}-0.000-0.001-0.003-0.010-0.053-0.139-0.439-1.459> Board {turn = Player_B, ponds_A = [ 7, 7, 7, 0, 8, 8], bank_A = 1, ponds_B = [ 1, 8, 8, 8, 7, 0], bank_B = 2}-0.002-0.010-0.064-0.337-1.820> Board {turn = Player_A, ponds_A = [ 8, 8, 8, 1, 9, 8], bank_A = 1, ponds_B = [ 1, 8, 8, 8, 0, 1], bank_B = 3}-0.000-0.001-0.004-0.013-0.049-0.171-0.539-2.005> Board {turn = Player_B, ponds_A = [ 9, 8, 8, 1, 9, 0], bank_A = 2, ponds_B = [ 2, 9, 9, 9, 1, 2], bank_B = 3}-0.002-0.011-0.065-0.348-1.829> Board {turn = Player_A, ponds_A = [10, 8, 8, 1, 9, 0], bank_A = 2, ponds_B = [ 2, 9, 9, 9, 1, 0], bank_B = 4}-0.000-0.001-0.003-0.012-0.043-0.146-0.466-1.527> Board {turn = Player_B, ponds_A = [ 0, 9, 9, 2, 10, 1], bank_A = 3, ponds_B = [ 3, 10, 10, 10, 1, 0], bank_B = 4}-0.001-0.009-0.053-0.277-1.403> Board {turn = Player_A, ponds_A = [ 1, 10, 10, 3, 11, 2], bank_A = 3, ponds_B = [ 3, 10, 0, 11, 2, 1], bank_B = 5}-0.000-0.001-0.003-0.012-0.030-0.123-0.327-1.129> Board {turn = Player_A, ponds_A = [ 1, 10, 10, 0, 12, 3], bank_A = 4, ponds_B = [ 3, 10, 0, 11, 2, 1], bank_B = 5}-0.000-0.001-0.002-0.008-0.027-0.085-0.271-0.835-2.001> Board {turn = Player_B, ponds_A = [ 1, 10, 0, 1, 13, 4], bank_A = 5, ponds_B = [ 4, 11, 1, 12, 3, 2], bank_B = 5}-0.001-0.009-0.053-0.278-1.424> Board {turn = Player_A, ponds_A = [ 2, 11, 1, 2, 14, 5], bank_A = 5, ponds_B = [ 5, 12, 2, 0, 4, 3], bank_B = 6}-0.000-0.002-0.003-0.015-0.038-0.131-0.387-1.250> Board {turn = Player_B, ponds_A = [ 2, 11, 0, 3, 14, 5], bank_A = 5, ponds_B = [ 5, 12, 2, 0, 4, 3], bank_B = 6}-0.001-0.008-0.045-0.234-1.209> Board {turn = Player_A, ponds_A = [ 2, 11, 0, 3, 14, 5], bank_A = 5, ponds_B = [ 0, 13, 3, 1, 5, 4], bank_B = 6}-0.000-0.001-0.003-0.010-0.034-0.105-0.384-1.116> Board {turn = Player_A, ponds_A = [ 2, 11, 0, 0, 15, 6], bank_A = 6, ponds_B = [ 0, 13, 3, 1, 5, 4], bank_B = 6}-0.000-0.001-0.002-0.009-0.030-0.107-0.342-1.007> Board {turn = Player_A, ponds_A = [ 3, 12, 1, 1, 1, 8], bank_A = 8, ponds_B = [ 1, 14, 4, 2, 6, 5], bank_B = 6}-0.000-0.001-0.005-0.016-0.059-0.182-0.590-1.818> Board {turn = Player_B, ponds_A = [ 3, 12, 0, 2, 1, 8], bank_A = 8, ponds_B = [ 1, 14, 4, 2, 6, 5], bank_B = 6}-0.001-0.009-0.055-0.291-1.485> Board {turn = Player_A, ponds_A = [ 3, 12, 0, 2, 1, 8], bank_A = 8, ponds_B = [ 0, 15, 4, 2, 6, 5], bank_B = 6}-0.000-0.001-0.003-0.011-0.034-0.101-0.346-1.145> Board {turn = Player_B, ponds_A = [ 3, 12, 0, 2, 0, 9], bank_A = 8, ponds_B = [ 0, 15, 4, 2, 6, 5], bank_B = 6}-0.001-0.005-0.036-0.187-0.952-2.004> Board {turn = Player_B, ponds_A = [ 3, 12, 0, 2, 0, 9], bank_A = 8, ponds_B = [ 0, 15, 0, 3, 7, 6], bank_B = 7}-0.001-0.004-0.030-0.152-0.782-2.007> Board {turn = Player_A, ponds_A = [ 4, 13, 1, 3, 1, 9], bank_A = 8, ponds_B = [ 0, 15, 0, 3, 0, 7], bank_B = 8}-0.000-0.001-0.004-0.011-0.035-0.096-0.301-0.905-2.002> Board {turn = Player_A, ponds_A = [ 4, 13, 1, 0, 2, 10], bank_A = 9, ponds_B = [ 0, 15, 0, 3, 0, 7], bank_B = 8}-0.000-0.001-0.004-0.011-0.031-0.081-0.241-0.677-1.947> Board {turn = Player_A, ponds_A = [ 4, 13, 1, 0, 0, 11], bank_A = 10, ponds_B = [ 0, 15, 0, 3, 0, 7], bank_B = 8}-0.000-0.001-0.006-0.008-0.032-0.070-0.204-0.530-1.496> Board {turn = Player_B, ponds_A = [ 0, 14, 2, 1, 0, 11], bank_A = 26, ponds_B = [ 0, 0, 0, 3, 0, 7], bank_B = 8}-0.000-0.001-0.004-0.021-0.104-0.482-2.006> Board {turn = Player_B, ponds_A = [ 0, 14, 2, 1, 0, 11], bank_A = 26, ponds_B = [ 0, 0, 0, 0, 1, 8], bank_B = 9}-0.000-0.001-0.004-0.022-0.107-0.467-2.006> Board {turn = Player_A, ponds_A = [ 1, 15, 3, 2, 1, 0], bank_A = 26, ponds_B = [ 0, 0, 0, 0, 1, 0], bank_B = 23}-0.000-0.000-0.001-0.004-0.008-0.019-0.043-0.090-0.327-0.680-1.480> Board {turn = Player_B, ponds_A = [ 0, 16, 3, 2, 1, 0], bank_A = 26, ponds_B = [ 0, 0, 0, 0, 1, 0], bank_B = 23}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 16, 3, 2, 1, 0], bank_A = 26, ponds_B = [ 0, 0, 0, 0, 0, 1], bank_B = 23}-0.000-0.000-0.000-0.001-0.005-0.012-0.028-0.097-0.166-0.473-1.003> Board {turn = Player_B, ponds_A = [ 0, 16, 0, 3, 2, 1], bank_A = 26, ponds_B = [ 0, 0, 0, 0, 0, 1], bank_B = 23}-0.000-0.000-0.000> Board {turn = Finished, ponds_A = [ 0, 0, 0, 0, 0, 0], bank_A = 48, ponds_B = [ 0, 0, 0, 0, 0, 0], bank_B = 24} End of game ----------------------------------------------------------------------- # Second result for player A: 1 point with a pebble difference of 24 ----------------------------------------------------------------------- ----------------------------------------------------------------------- # Total result for player A: 2 points with a pebble difference of 44 ----------------------------------------------------------------------- 460,408,195,976 bytes allocated in the heap 19,585,881,712 bytes copied during GC 121,312 bytes maximum residency (19770 sample(s)) 57,248 bytes maximum slop 2 MB total memory in use (0 MB lost due to fragmentation) Tot time (elapsed) Avg pause Max pause Gen 0 870970 colls, 0 par 39.70s 39.67s 0.0000s 0.0002s Gen 1 19770 colls, 0 par 3.07s 3.07s 0.0002s 0.0002s INIT time 0.00s ( 0.00s elapsed) MUT time 163.72s (163.82s elapsed) GC time 42.77s ( 42.74s elapsed) EXIT time 0.00s ( 0.00s elapsed) Total time 206.49s (206.56s elapsed) %GC time 20.7% (20.7% elapsed) Alloc rate 2,812,194,982 bytes per MUT second Productivity 79.3% of total user, 79.3% of total elapsed