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.002-0.006-0.024-0.076-0.301-1.071> 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.000-0.001-0.003-0.009-0.036-0.189-0.586-1.605> Board {turn = Player_B, ponds_A = [ 0, 7, 7, 0, 8, 8], bank_A = 2, ponds_B = [ 7, 7, 7, 7, 6, 6], bank_B = 0}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 1, 8, 8, 1, 9, 8], bank_A = 2, ponds_B = [ 7, 7, 7, 7, 6, 0], bank_B = 1}-0.000-0.001-0.002-0.006-0.017-0.055-0.099-0.248-0.672-1.638> Board {turn = Player_B, ponds_A = [ 1, 8, 0, 2, 10, 9], bank_A = 3, ponds_B = [ 8, 8, 8, 8, 6, 0], bank_B = 1}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 9, 1, 3, 10, 9], bank_A = 3, ponds_B = [ 8, 8, 8, 8, 0, 1], bank_B = 2}-0.000-0.001-0.001-0.003-0.007-0.026-0.044-0.120-0.249-0.648-1.387> Board {turn = Player_A, ponds_A = [ 2, 9, 1, 0, 11, 10], bank_A = 4, ponds_B = [ 8, 8, 8, 8, 0, 1], bank_B = 2}-0.000-0.000-0.001-0.003-0.009-0.016-0.037-0.096-0.276-0.491-0.802-1.425> Board {turn = Player_B, ponds_A = [ 2, 9, 0, 0, 11, 10], bank_A = 13, ponds_B = [ 8, 8, 0, 8, 0, 1], bank_B = 2}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 2, 9, 0, 0, 11, 10], bank_A = 13, ponds_B = [ 8, 8, 0, 8, 0, 0], bank_B = 3}-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 3, 10, 1, 1, 12, 10], bank_A = 13, ponds_B = [ 8, 8, 0, 0, 1, 1], bank_B = 4}-0.000-0.000-0.002-0.004-0.009-0.019-0.045-0.111-0.172-0.422-0.887-1.608> Board {turn = Player_B, ponds_A = [ 0, 11, 2, 2, 12, 10], bank_A = 13, ponds_B = [ 8, 8, 0, 0, 1, 1], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 11, 2, 2, 12, 10], bank_A = 13, ponds_B = [ 8, 8, 0, 0, 1, 0], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 11, 2, 2, 12, 10], bank_A = 13, ponds_B = [ 8, 8, 0, 0, 0, 1], bank_B = 5}-0.000-0.001-0.002-0.005-0.011-0.022-0.043-0.077-0.152-0.310-0.566-1.192> Board {turn = Player_B, ponds_A = [ 1, 12, 3, 2, 12, 0], bank_A = 14, ponds_B = [ 9, 9, 1, 1, 1, 2], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 12, 3, 2, 12, 0], bank_A = 14, ponds_B = [ 9, 9, 1, 1, 1, 0], bank_B = 6}-0.000-0.000-0.001-0.001-0.003-0.005-0.007-0.012-0.023-0.063-0.070-0.133-0.330-0.454-0.826-1.665> Board {turn = Player_B, ponds_A = [ 2, 12, 3, 0, 13, 0], bank_A = 24, ponds_B = [ 0, 9, 1, 1, 1, 0], bank_B = 6}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 12, 3, 0, 13, 0], bank_A = 24, ponds_B = [ 0, 9, 1, 1, 0, 0], bank_B = 9}-0.000-0.000-0.000-0.001-0.001-0.002-0.005-0.007-0.013-0.021-0.031-0.046-0.071-0.099-0.166-0.291-0.467-0.693-1.026> Board {turn = Player_B, ponds_A = [ 1, 13, 4, 1, 0, 1], bank_A = 36, ponds_B = [ 1, 0, 2, 2, 1, 1], bank_B = 9}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 13, 4, 1, 0, 1], bank_A = 36, ponds_B = [ 1, 0, 2, 2, 1, 0], bank_B = 10}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 13, 4, 1, 0, 1], bank_A = 36, ponds_B = [ 1, 0, 2, 2, 0, 0], bank_B = 12}-0.000-0.000-0.000-0.001-0.002-0.003-0.005-0.009-0.016-0.027-0.034-0.059-0.103-0.168-0.256-0.337-0.452-0.706-0.906-1.152> Board {turn = Player_A, ponds_A = [ 0, 13, 4, 1, 0, 0], bank_A = 37, ponds_B = [ 1, 0, 2, 2, 0, 0], bank_B = 12}-0.000-0.000-0.000-0.001-0.001-0.002-0.003-0.006-0.011-0.013-0.024-0.044-0.079-0.117-0.141-0.177-0.315-0.458-0.608-0.745-0.954-1.131> Board {turn = Player_A, ponds_A = [ 0, 13, 0, 2, 1, 1], bank_A = 38, ponds_B = [ 1, 0, 2, 2, 0, 0], bank_B = 12}-0.000-0.000-0.000-0.001-0.001-0.002-0.004-0.006-0.009-0.016-0.032-0.062-0.093-0.110-0.130-0.242-0.358-0.496-0.599-0.765-0.807-0.928-1.059> Board {turn = Player_A, ponds_A = [ 0, 13, 0, 2, 1, 0], bank_A = 39, ponds_B = [ 1, 0, 2, 2, 0, 0], bank_B = 12}-0.000-0.000-0.000-0.000-0.001-0.001-0.002-0.003-0.006-0.014-0.021-0.029-0.036-0.051-0.071-0.090-0.103-0.152-0.148-0.184-0.216-0.233-0.260-0.273-0.299-0.328-0.327-0.322> Board {turn = Player_B, ponds_A = [ 1, 0, 1, 3, 2, 1], bank_A = 42, ponds_B = [ 2, 1, 3, 3, 0, 1], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 0, 1, 3, 2, 1], bank_A = 42, ponds_B = [ 2, 1, 3, 3, 0, 0], bank_B = 13}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 0, 1, 3, 2, 1], bank_A = 42, ponds_B = [ 2, 1, 3, 0, 1, 1], bank_B = 14}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 0, 1, 3, 2, 1], bank_A = 42, ponds_B = [ 2, 1, 3, 0, 1, 0], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 0, 1, 3, 2, 1], bank_A = 42, ponds_B = [ 2, 1, 3, 0, 0, 0], bank_B = 17}-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.001-0.001-0.001-0.001> Board {turn = Player_A, ponds_A = [ 0, 0, 1, 3, 2, 0], bank_A = 43, ponds_B = [ 2, 1, 3, 0, 0, 0], bank_B = 17}-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 0, 1, 3, 0, 1], bank_A = 44, ponds_B = [ 2, 1, 3, 0, 0, 0], bank_B = 17}-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 0, 1, 3, 0, 0], bank_A = 45, ponds_B = [ 2, 1, 3, 0, 0, 0], bank_B = 17}-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 0, 1, 0, 1, 1], bank_A = 46, ponds_B = [ 2, 1, 3, 0, 0, 0], bank_B = 17}-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 0, 1, 0, 1, 0], bank_A = 47, ponds_B = [ 2, 1, 3, 0, 0, 0], bank_B = 17}-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 0, 0, 0, 1, 0], bank_A = 51, ponds_B = [ 2, 1, 0, 0, 0, 0], bank_B = 17}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 0, 0, 0, 1, 0], bank_A = 51, ponds_B = [ 2, 0, 1, 0, 0, 0], bank_B = 17}-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.001-0.002-0.006-0.021-0.086-0.300-0.837-2.004> Board {turn = Player_B, ponds_A = [ 7, 7, 0, 8, 8, 7], bank_A = 1, ponds_B = [ 7, 7, 7, 6, 6, 0], bank_B = 1}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 8, 8, 1, 9, 8, 7], bank_A = 1, ponds_B = [ 7, 7, 7, 6, 0, 1], bank_B = 2}-0.000-0.000-0.001-0.003-0.005-0.027-0.061-0.162-0.284-0.721-1.512> Board {turn = Player_B, ponds_A = [ 8, 8, 1, 9, 8, 0], bank_A = 2, ponds_B = [ 8, 8, 8, 7, 1, 2], bank_B = 2}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 9, 8, 1, 9, 8, 0], bank_A = 2, ponds_B = [ 8, 8, 8, 7, 1, 0], bank_B = 3}-0.000-0.000-0.001-0.003-0.007-0.019-0.045-0.108-0.265-0.533-1.105> Board {turn = Player_B, ponds_A = [ 0, 9, 2, 10, 9, 1], bank_A = 3, ponds_B = [ 9, 9, 9, 7, 1, 0], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 9, 2, 10, 9, 1], bank_A = 3, ponds_B = [ 9, 9, 9, 7, 0, 1], bank_B = 3}-0.000-0.001-0.001-0.002-0.010-0.013-0.037-0.054-0.105-0.268-0.409-1.051> Board {turn = Player_A, ponds_A = [ 0, 9, 2, 10, 9, 0], bank_A = 4, ponds_B = [ 9, 9, 9, 7, 0, 1], bank_B = 3}-0.000-0.000-0.001-0.003-0.008-0.014-0.030-0.070-0.147-0.207-0.514-0.694-1.477> Board {turn = Player_B, ponds_A = [ 0, 9, 2, 10, 0, 1], bank_A = 8, ponds_B = [10, 10, 10, 8, 1, 0], bank_B = 3}-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 9, 2, 10, 0, 1], bank_A = 8, ponds_B = [10, 10, 10, 8, 0, 1], bank_B = 3}-0.000-0.000-0.001-0.001-0.003-0.009-0.014-0.029-0.045-0.072-0.120-0.311-0.607-1.221> Board {turn = Player_A, ponds_A = [ 0, 9, 2, 10, 0, 0], bank_A = 9, ponds_B = [10, 10, 10, 8, 0, 1], bank_B = 3}-0.000-0.000-0.001-0.001-0.003-0.007-0.009-0.011-0.030-0.057-0.080-0.246-0.406-0.785-1.504> Board {turn = Player_B, ponds_A = [ 0, 9, 2, 0, 1, 1], bank_A = 13, ponds_B = [11, 11, 11, 9, 1, 0], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 9, 2, 0, 1, 1], bank_A = 13, ponds_B = [11, 11, 11, 9, 0, 1], bank_B = 3}-0.000-0.000-0.000-0.000-0.001-0.002-0.004-0.007-0.017-0.033-0.062-0.106-0.202-0.384-0.659-1.246> Board {turn = Player_A, ponds_A = [ 0, 9, 2, 0, 1, 0], bank_A = 14, ponds_B = [11, 11, 11, 9, 0, 1], bank_B = 3}-0.000-0.000-0.000-0.001-0.001-0.002-0.005-0.010-0.022-0.043-0.071-0.138-0.262-0.494-0.922-1.508> Board {turn = Player_B, ponds_A = [ 0, 9, 2, 0, 0, 0], bank_A = 26, ponds_B = [ 0, 11, 11, 9, 0, 1], bank_B = 3}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 9, 2, 0, 0, 0], bank_A = 26, ponds_B = [ 0, 11, 11, 9, 0, 0], bank_B = 4}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 1, 10, 3, 1, 1, 1], bank_A = 26, ponds_B = [ 0, 11, 11, 0, 1, 1], bank_B = 5}-0.000-0.000-0.000-0.001-0.002-0.005-0.012-0.021-0.038-0.060-0.114-0.232-0.419-0.725-1.421> Board {turn = Player_A, ponds_A = [ 1, 10, 3, 1, 1, 0], bank_A = 27, ponds_B = [ 0, 11, 11, 0, 1, 1], bank_B = 5}-0.000-0.000-0.001-0.002-0.003-0.006-0.011-0.020-0.041-0.080-0.140-0.286-0.540-0.924-1.652> Board {turn = Player_B, ponds_A = [ 1, 10, 3, 1, 0, 1], bank_A = 27, ponds_B = [ 0, 11, 11, 0, 1, 1], bank_B = 5}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 1, 10, 3, 1, 0, 1], bank_A = 27, ponds_B = [ 0, 11, 11, 0, 1, 0], bank_B = 6}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 10, 3, 1, 0, 1], bank_A = 27, ponds_B = [ 0, 11, 11, 0, 0, 0], bank_B = 8}-0.000-0.000-0.000-0.001-0.001-0.002-0.003-0.005-0.007-0.011-0.017-0.025-0.038-0.059-0.102-0.140-0.218-0.325-0.476-0.655-0.888-1.230> Board {turn = Player_A, ponds_A = [ 0, 10, 3, 1, 0, 0], bank_A = 28, ponds_B = [ 0, 11, 11, 0, 0, 0], bank_B = 8}-0.000-0.000-0.000-0.000-0.001-0.001-0.002-0.003-0.005-0.007-0.011-0.016-0.025-0.049-0.061-0.101-0.156-0.232-0.323-0.433-0.599-0.835-1.174> Board {turn = Player_B, ponds_A = [ 0, 10, 3, 0, 0, 0], bank_A = 40, ponds_B = [ 0, 0, 11, 0, 0, 0], bank_B = 8}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 1, 11, 4, 1, 1, 0], bank_A = 40, ponds_B = [ 0, 0, 0, 1, 1, 1], bank_B = 11}-0.000-0.000-0.000-0.001-0.001-0.001-0.002-0.003-0.004-0.006-0.008-0.023-0.019-0.029-0.044-0.051-0.059-0.057-0.067-0.071-0.076-0.080-0.080-0.085-0.086-0.085-0.087> Board {turn = Player_A, ponds_A = [ 1, 11, 0, 2, 2, 1], bank_A = 41, ponds_B = [ 0, 0, 0, 1, 1, 1], bank_B = 11}-0.000-0.000-0.000-0.001-0.001-0.001-0.002-0.002-0.003-0.005-0.013-0.012-0.020-0.027-0.031-0.041-0.037-0.044-0.049-0.050-0.054-0.058-0.063-0.064-0.063-0.064-0.063> Board {turn = Player_A, ponds_A = [ 1, 11, 0, 2, 2, 0], bank_A = 42, ponds_B = [ 0, 0, 0, 1, 1, 1], bank_B = 11}-0.000-0.000-0.000-0.000-0.001-0.001-0.002-0.002-0.003-0.007-0.008-0.014-0.020-0.024-0.032-0.027-0.033-0.038-0.039-0.042-0.046-0.051-0.053-0.052-0.053> Board {turn = Player_A, ponds_A = [ 1, 11, 0, 2, 0, 1], bank_A = 43, ponds_B = [ 0, 0, 0, 1, 1, 1], bank_B = 11}-0.000-0.000-0.000-0.000-0.001-0.001-0.001-0.002-0.004-0.006-0.011-0.015-0.018-0.026-0.019-0.024-0.028> Board {turn = Player_A, ponds_A = [ 1, 11, 0, 2, 0, 0], bank_A = 44, ponds_B = [ 0, 0, 0, 1, 1, 1], bank_B = 11}-0.000-0.000-0.000-0.000-0.001-0.001-0.001-0.003-0.004-0.009-0.013-0.016-0.023-0.016-0.020-0.023> Board {turn = Player_B, ponds_A = [ 1, 0, 1, 3, 1, 1], bank_A = 45, ponds_B = [ 1, 1, 1, 2, 2, 2], bank_B = 11}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 2, 0, 1, 3, 1, 1], bank_A = 45, ponds_B = [ 1, 1, 1, 2, 2, 0], bank_B = 12}-0.000-0.000-0.000-0.000-0.000-0.001-0.001-0.002-0.002-0.003-0.008-0.005-0.007-0.008> Board {turn = Player_A, ponds_A = [ 2, 0, 1, 3, 1, 0], bank_A = 46, ponds_B = [ 1, 1, 1, 2, 2, 0], bank_B = 12}-0.000-0.000-0.000-0.000-0.000-0.001-0.001-0.001-0.001-0.007-0.004-0.005-0.007> Board {turn = Player_A, ponds_A = [ 2, 0, 1, 0, 2, 1], bank_A = 47, ponds_B = [ 1, 1, 1, 2, 2, 0], bank_B = 12}-0.000-0.000-0.000-0.000-0.000-0.001-0.001-0.001-0.004-0.003-0.004-0.006-0.007-0.009-0.010-0.011-0.012-0.013-0.013-0.014-0.015-0.015-0.016-0.016-0.016-0.016> Board {turn = Player_B, ponds_A = [ 0, 1, 2, 0, 2, 1], bank_A = 47, ponds_B = [ 1, 1, 1, 2, 2, 0], bank_B = 12}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 2, 0, 2, 1], bank_A = 47, ponds_B = [ 1, 1, 1, 2, 0, 1], bank_B = 13}-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 2, 0, 2, 1], bank_A = 47, ponds_B = [ 1, 1, 1, 2, 0, 0], bank_B = 14}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 1, 2, 0, 2, 1], bank_A = 47, ponds_B = [ 1, 1, 1, 0, 1, 1], bank_B = 14}-0.000-0.000-0.000-0.000-0.000-0.001-0.001-0.001-0.002-0.002-0.002-0.003-0.003-0.003-0.003-0.003-0.004-0.004-0.004-0.004-0.004-0.004> Board {turn = Player_A, ponds_A = [ 0, 1, 2, 0, 0, 2], bank_A = 48, ponds_B = [ 1, 1, 1, 0, 1, 1], bank_B = 14}-0.000-0.000-0.000-0.000-0.000-0.000-0.001-0.001-0.001-0.001-0.002-0.002-0.002-0.003-0.003-0.003-0.003-0.003-0.003> Board {turn = Player_B, ponds_A = [ 0, 1, 0, 1, 0, 2], bank_A = 50, ponds_B = [ 1, 0, 1, 0, 1, 1], bank_B = 14}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 0, 1, 0, 2], bank_A = 50, ponds_B = [ 1, 0, 1, 0, 1, 0], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 1, 0, 1, 0, 2], bank_A = 50, ponds_B = [ 1, 0, 1, 0, 0, 1], bank_B = 15}-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 0, 1, 0, 0], bank_A = 51, ponds_B = [ 2, 0, 1, 0, 0, 1], bank_B = 15}-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 0, 1, 0, 0], bank_A = 51, ponds_B = [ 2, 0, 1, 0, 0, 0], bank_B = 16}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 1, 0, 1, 0, 0], bank_A = 51, ponds_B = [ 2, 0, 0, 1, 0, 0], bank_B = 16}-0.000-0.000-0.000-0.000-0.000-0.000-0.000> Board {turn = Player_B, ponds_A = [ 0, 1, 0, 0, 1, 0], bank_A = 51, ponds_B = [ 2, 0, 0, 1, 0, 0], bank_B = 16}-0.000-0.000-0.000> Board {turn = Player_A, ponds_A = [ 0, 0, 0, 0, 1, 0], bank_A = 51, ponds_B = [ 2, 0, 0, 0, 0, 0], bank_B = 18}-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 ----------------------------------------------------------------------- # Second result for player A: 1 point with a pebble difference of 36 ----------------------------------------------------------------------- ----------------------------------------------------------------------- # Total result for player A: 2 points with a pebble difference of 72 ----------------------------------------------------------------------- 212,458,051,240 bytes allocated in the heap 1,510,970,160 bytes copied during GC 123,296 bytes maximum residency (2818 sample(s)) 53,344 bytes maximum slop 2 MB total memory in use (0 MB lost due to fragmentation) Tot time (elapsed) Avg pause Max pause Gen 0 409601 colls, 0 par 4.86s 4.85s 0.0000s 0.0001s Gen 1 2818 colls, 0 par 0.40s 0.40s 0.0001s 0.0003s INIT time 0.00s ( 0.00s elapsed) MUT time 80.55s ( 80.60s elapsed) GC time 5.26s ( 5.25s elapsed) EXIT time 0.00s ( 0.00s elapsed) Total time 85.81s ( 85.85s elapsed) %GC time 6.1% (6.1% elapsed) Alloc rate 2,637,554,480 bytes per MUT second Productivity 93.9% of total user, 93.8% of total elapsed