main.sum_distinct-big failed in buildbot, timeout after 7200 seconds

main.sum_distinct-big 'innodb'           w2 [ fail ]  timeout after 7200 seconds

        Test ended at 2017-08-27 20:22:39

Test case timeout after 7200 seconds

== /mnt/buildbot/build/mariadb-10.3.1/mysql-test/var/2/log/sum_distinct-big.log == 

INSERT INTO t1 (id) SELECT id FROM t1;

INSERT INTO t1 (id) SELECT id FROM t1;

INSERT INTO t1 (id) SELECT id FROM t1;

INSERT INTO t1 (id) SELECT id FROM t1;

INSERT INTO t1 (id) SELECT id FROM t1;

INSERT INTO t1 SELECT id+1 FROM t1;

INSERT INTO t1 SELECT id+2 FROM t1;

INSERT INTO t1 SELECT id+4 FROM t1;

INSERT INTO t1 SELECT id+8 FROM t1;

INSERT INTO t1 SELECT id+16 FROM t1;

INSERT INTO t1 SELECT id+32 FROM t1;

INSERT INTO t1 SELECT id+64 FROM t1;

INSERT INTO t1 SELECT id+128 FROM t1;

INSERT INTO t1 SELECT id+256 FROM t1;

INSERT INTO t1 SELECT id+512 FROM t1;

INSERT INTO t1 SELECT id+1024 FROM t1;

INSERT INTO t1 SELECT id+2048 FROM t1;

INSERT INTO t1 SELECT id+4096 FROM t1;

INSERT INTO t1 SELECT id+8192 FROM t1;

INSERT INTO t2 SELECT id FROM t1 ORDER BY id*rand();