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.000> Board {turn = Player_B, ponds_A = [ 6, 6, 6, 6, 6, 0], bank_A = 1, ponds_B = [ 7, 7, 7, 7, 7, 6], bank_B = 0}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 7, 7, 7, 7, 7, 0], bank_A = 1, ponds_B = [ 7, 7, 7, 7, 7, 0], bank_B = 1}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 7, 7, 7, 7, 0, 1], bank_A = 2, ponds_B = [ 8, 8, 8, 8, 8, 0], bank_B = 1}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 8, 8, 8, 8, 1, 2], bank_A = 2, ponds_B = [ 8, 8, 8, 8, 0, 1], bank_B = 2}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 8, 8, 8, 8, 1, 0], bank_A = 3, ponds_B = [ 9, 8, 8, 8, 0, 1], bank_B = 2}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 9, 9, 9, 9, 2, 0], bank_A = 3, ponds_B = [ 9, 8, 8, 0, 1, 2], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 9, 9, 9, 9, 0, 1], bank_A = 4, ponds_B = [ 9, 8, 8, 0, 1, 2], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 9, 9, 9, 9, 0, 0], bank_A = 5, ponds_B = [ 9, 8, 8, 0, 1, 2], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 9, 9, 9, 0, 1, 1], bank_A = 6, ponds_B = [10, 9, 9, 1, 2, 3], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [10, 10, 10, 1, 2, 1], bank_A = 6, ponds_B = [10, 9, 0, 2, 3, 4], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [10, 10, 10, 1, 2, 0], bank_A = 7, ponds_B = [10, 9, 0, 2, 3, 4], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [10, 10, 10, 1, 0, 1], bank_A = 8, ponds_B = [10, 9, 0, 2, 3, 4], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [10, 10, 10, 0, 0, 1], bank_A = 18, ponds_B = [10, 0, 0, 2, 3, 4], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [11, 11, 11, 1, 0, 1], bank_A = 18, ponds_B = [ 0, 1, 1, 3, 4, 5], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [11, 11, 11, 0, 0, 1], bank_A = 20, ponds_B = [ 0, 0, 1, 3, 4, 5], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [12, 12, 12, 1, 0, 1], bank_A = 20, ponds_B = [ 0, 0, 1, 3, 4, 0], bank_B = 6}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [12, 12, 12, 1, 0, 0], bank_A = 21, ponds_B = [ 0, 0, 1, 3, 4, 0], bank_B = 6}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [13, 13, 0, 2, 1, 1], bank_A = 22, ponds_B = [ 1, 1, 2, 4, 5, 1], bank_B = 6}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [14, 14, 1, 2, 1, 1], bank_A = 22, ponds_B = [ 1, 1, 2, 4, 0, 2], bank_B = 7}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [14, 14, 1, 2, 1, 0], bank_A = 23, ponds_B = [ 1, 1, 2, 4, 0, 2], bank_B = 7}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [14, 14, 1, 2, 0, 0], bank_A = 25, ponds_B = [ 0, 1, 2, 4, 0, 2], bank_B = 7}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [15, 14, 1, 2, 0, 0], bank_A = 25, ponds_B = [ 0, 1, 2, 4, 0, 0], bank_B = 8}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [16, 1, 3, 3, 1, 1], bank_A = 26, ponds_B = [ 1, 2, 3, 5, 1, 1], bank_B = 8}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [17, 2, 3, 3, 1, 1], bank_A = 26, ponds_B = [ 1, 2, 3, 0, 2, 2], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [17, 2, 3, 3, 1, 0], bank_A = 27, ponds_B = [ 1, 2, 3, 0, 2, 2], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [17, 2, 3, 3, 0, 0], bank_A = 29, ponds_B = [ 0, 2, 3, 0, 2, 2], bank_B = 9}-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [18, 2, 3, 3, 0, 0], bank_A = 29, ponds_B = [ 0, 2, 3, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [18, 2, 3, 0, 1, 1], bank_A = 30, ponds_B = [ 0, 2, 3, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [18, 0, 4, 0, 1, 1], bank_A = 34, ponds_B = [ 0, 2, 0, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [18, 0, 0, 0, 1, 1], bank_A = 34, ponds_B = [ 0, 0, 1, 0, 2, 0], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [18, 0, 0, 0, 1, 0], bank_A = 35, ponds_B = [ 0, 0, 1, 0, 2, 0], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 2, 2, 2, 3, 2], bank_A = 36, ponds_B = [ 1, 1, 2, 1, 3, 1], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 2, 2, 2, 3, 2], bank_A = 36, ponds_B = [ 1, 1, 2, 1, 0, 2], bank_B = 16}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 2, 2, 2, 2, 3, 0], bank_A = 37, ponds_B = [ 2, 1, 2, 1, 0, 2], bank_B = 16}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 2, 2, 2, 3, 0], bank_A = 37, ponds_B = [ 2, 1, 2, 1, 0, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 3, 2, 2, 0, 4, 0], bank_A = 40, ponds_B = [ 0, 1, 2, 1, 0, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 2, 2, 0, 4, 0], bank_A = 40, ponds_B = [ 0, 0, 3, 1, 0, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 3, 0, 3, 0, 4, 0], bank_A = 44, ponds_B = [ 0, 0, 0, 1, 0, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 0, 3, 0, 4, 0], bank_A = 44, ponds_B = [ 0, 0, 0, 0, 1, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 3, 0, 3, 0, 0, 1], bank_A = 45, ponds_B = [ 1, 1, 0, 0, 1, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 0, 3, 0, 0, 1], bank_A = 45, ponds_B = [ 1, 0, 1, 0, 1, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 4, 0, 0, 1], bank_A = 47, ponds_B = [ 1, 0, 0, 0, 1, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 1, 4, 0, 0, 1], bank_A = 47, ponds_B = [ 1, 0, 0, 0, 0, 1], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 1, 4, 0, 0, 0], bank_A = 48, ponds_B = [ 1, 0, 0, 0, 0, 1], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 1, 0, 1, 1, 1], bank_A = 49, ponds_B = [ 1, 0, 0, 0, 0, 1], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 1, 0, 1, 1, 0], bank_A = 50, ponds_B = [ 1, 0, 0, 0, 0, 1], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 0, 1, 0, 0], bank_A = 52, ponds_B = [ 0, 0, 0, 0, 0, 1], bank_B = 17}-0.000-0.000-0.000-0.000> Board {turn = Finished, ponds_A = [ 0, 0, 0, 0, 0, 0], bank_A = 54, ponds_B = [ 0, 0, 0, 0, 0, 0], bank_B = 18} End of game ----------------------------------------------------------------------- # First result for player A: 1 point with a pebble difference of 36 ----------------------------------------------------------------------- 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.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 7, 7, 7, 7, 7, 6], bank_A = 0, ponds_B = [ 6, 6, 6, 6, 6, 0], bank_B = 1}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 7, 7, 7, 7, 7, 0], bank_A = 1, ponds_B = [ 7, 7, 7, 7, 7, 0], bank_B = 1}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 8, 8, 8, 8, 8, 0], bank_A = 1, ponds_B = [ 7, 7, 7, 7, 0, 1], bank_B = 2}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 8, 8, 8, 8, 0, 1], bank_A = 2, ponds_B = [ 8, 8, 8, 8, 1, 2], bank_B = 2}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 9, 9, 9, 9, 1, 1], bank_A = 2, ponds_B = [ 8, 8, 8, 0, 2, 3], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 9, 9, 9, 9, 1, 0], bank_A = 3, ponds_B = [ 8, 8, 8, 0, 2, 3], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 9, 9, 9, 9, 0, 0], bank_A = 12, ponds_B = [ 0, 8, 8, 0, 2, 3], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [10, 10, 10, 10, 0, 0], bank_A = 12, ponds_B = [ 0, 8, 0, 1, 3, 4], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [11, 10, 10, 0, 1, 1], bank_A = 13, ponds_B = [ 1, 9, 1, 2, 4, 5], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [12, 11, 11, 1, 1, 1], bank_A = 13, ponds_B = [ 1, 9, 1, 2, 4, 0], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [12, 11, 11, 1, 1, 0], bank_A = 14, ponds_B = [ 1, 9, 1, 2, 4, 0], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [12, 11, 11, 1, 0, 0], bank_A = 16, ponds_B = [ 0, 9, 1, 2, 4, 0], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [13, 12, 12, 2, 0, 0], bank_A = 16, ponds_B = [ 0, 0, 2, 3, 5, 1], bank_B = 6}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 13, 13, 3, 1, 1], bank_A = 20, ponds_B = [ 1, 1, 3, 4, 6, 0], bank_B = 6}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 1, 14, 14, 4, 1, 1], bank_A = 20, ponds_B = [ 1, 1, 3, 4, 0, 1], bank_B = 7}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 1, 14, 14, 4, 1, 0], bank_A = 21, ponds_B = [ 1, 1, 3, 4, 0, 1], bank_B = 7}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 14, 14, 4, 0, 0], bank_A = 23, ponds_B = [ 0, 1, 3, 4, 0, 1], bank_B = 7}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 14, 14, 4, 0, 0], bank_A = 23, ponds_B = [ 0, 1, 3, 0, 1, 2], bank_B = 8}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 2, 14, 14, 0, 1, 1], bank_A = 24, ponds_B = [ 1, 1, 3, 0, 1, 2], bank_B = 8}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 14, 14, 0, 1, 1], bank_A = 24, ponds_B = [ 1, 1, 3, 0, 1, 0], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 15, 15, 0, 1, 1], bank_A = 28, ponds_B = [ 1, 1, 0, 0, 1, 0], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 15, 15, 0, 1, 1], bank_A = 28, ponds_B = [ 1, 1, 0, 0, 0, 1], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 15, 15, 0, 1, 0], bank_A = 29, ponds_B = [ 1, 1, 0, 0, 0, 1], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 15, 15, 0, 0, 0], bank_A = 31, ponds_B = [ 0, 1, 0, 0, 0, 1], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 15, 15, 0, 0, 0], bank_A = 31, ponds_B = [ 0, 0, 1, 0, 0, 1], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 16, 1, 2, 2, 1], bank_A = 32, ponds_B = [ 1, 1, 2, 1, 1, 2], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 16, 1, 2, 2, 1], bank_A = 32, ponds_B = [ 1, 1, 2, 1, 1, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 16, 1, 2, 2, 0], bank_A = 33, ponds_B = [ 1, 1, 2, 1, 1, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 2, 16, 1, 0, 3, 0], bank_A = 35, ponds_B = [ 0, 1, 2, 1, 1, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 16, 1, 0, 3, 0], bank_A = 35, ponds_B = [ 0, 1, 2, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 2, 16, 0, 0, 3, 0], bank_A = 38, ponds_B = [ 0, 1, 0, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 16, 0, 0, 3, 0], bank_A = 38, ponds_B = [ 0, 0, 1, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 2, 16, 0, 0, 0, 1], bank_A = 39, ponds_B = [ 1, 0, 1, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 16, 0, 0, 0, 1], bank_A = 39, ponds_B = [ 1, 0, 0, 1, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 17, 0, 0, 0, 1], bank_A = 41, ponds_B = [ 1, 0, 0, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 17, 0, 0, 0, 1], bank_A = 41, ponds_B = [ 0, 1, 0, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 17, 0, 0, 0, 0], bank_A = 42, ponds_B = [ 0, 1, 0, 0, 2, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 1, 2, 2, 2, 2], bank_A = 43, ponds_B = [ 1, 2, 1, 1, 3, 1], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 1, 2, 2, 2, 2], bank_A = 43, ponds_B = [ 1, 2, 1, 1, 0, 2], bank_B = 11}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 2, 1, 2, 2, 2, 0], bank_A = 44, ponds_B = [ 2, 2, 1, 1, 0, 2], bank_B = 11}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 1, 2, 2, 2, 0], bank_A = 44, ponds_B = [ 2, 2, 1, 1, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 3, 1, 2, 0, 3, 0], bank_A = 47, ponds_B = [ 0, 2, 1, 1, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 1, 2, 0, 3, 0], bank_A = 47, ponds_B = [ 0, 2, 0, 2, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 3, 1, 2, 0, 0, 1], bank_A = 48, ponds_B = [ 1, 2, 0, 2, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 1, 2, 0, 0, 1], bank_A = 48, ponds_B = [ 1, 0, 1, 3, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 2, 3, 0, 0, 1], bank_A = 50, ponds_B = [ 1, 0, 0, 3, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 2, 3, 0, 0, 1], bank_A = 50, ponds_B = [ 0, 1, 0, 3, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 2, 3, 0, 0, 0], bank_A = 51, ponds_B = [ 0, 1, 0, 3, 0, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 2, 0, 1, 1, 1], bank_A = 51, ponds_B = [ 0, 1, 0, 3, 0, 0], bank_B = 12}-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 2, 0, 0, 1, 1], bank_A = 51, ponds_B = [ 0, 0, 0, 3, 0, 0], bank_B = 14}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 2, 0, 0, 1, 0], bank_A = 52, ponds_B = [ 0, 0, 0, 3, 0, 0], bank_B = 14}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 2, 0, 0, 0, 1], bank_A = 52, ponds_B = [ 0, 0, 0, 3, 0, 0], bank_B = 14}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 2, 0, 0, 0, 1], bank_A = 52, ponds_B = [ 0, 0, 0, 0, 1, 1], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 2, 0, 0, 0, 1], bank_A = 52, ponds_B = [ 0, 0, 0, 0, 0, 2], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 2, 0, 0, 0, 0], bank_A = 53, ponds_B = [ 0, 0, 0, 0, 0, 2], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 0, 1, 1, 0, 0], bank_A = 53, ponds_B = [ 0, 0, 0, 0, 0, 2], bank_B = 15}-0.000-0.000-0.000> Board {turn = Finished, ponds_A = [ 0, 0, 0, 0, 0, 0], bank_A = 56, ponds_B = [ 0, 0, 0, 0, 0, 0], bank_B = 16} End of game ----------------------------------------------------------------------- # Second result for player A: 1 point with a pebble difference of 40 ----------------------------------------------------------------------- ----------------------------------------------------------------------- # Total result for player A: 2 points with a pebble difference of 76 ----------------------------------------------------------------------- 17,907,776 bytes allocated in the heap 57,760,160 bytes copied during GC 113,312 bytes maximum residency (1278 sample(s)) 24,616 bytes maximum slop 1 MB total memory in use (0 MB lost due to fragmentation) Tot time (elapsed) Avg pause Max pause Gen 0 1 colls, 0 par 0.00s 0.00s 0.0000s 0.0000s Gen 1 1278 colls, 0 par 0.16s 0.16s 0.0001s 0.0002s INIT time 0.00s ( 0.00s elapsed) MUT time 0.02s ( 0.02s elapsed) GC time 0.16s ( 0.16s elapsed) EXIT time 0.00s ( 0.00s elapsed) Total time 0.18s ( 0.18s elapsed) %GC time 88.4% (88.8% elapsed) Alloc rate 837,569,023 bytes per MUT second Productivity 11.5% of total user, 11.5% of total elapsed