Job 902

CakeML:0d7f53041520403e4c81652bf82c3232d2e57e81
  Merge pull request #633 from CakeML/FMA_support [May 27 00:52:01]
HOL:08cf0f71293ee2ed21e3c2667ecbb0a9d211be18
  Add regression tests for find_consts [May 24 06:22:28]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

May 27 00:55:39 Claimed job
May 27 00:55:43 Reusing HOL
May 27 00:55:49 Starting developers
May 27 00:55:49 Finished developers                                               0s  27MB
May 27 00:55:50 Starting developers/bin
May 27 00:55:53 Finished developers/bin                                           3s 144MB
May 27 00:55:54 Starting semantics/ffi
May 27 00:56:01 Finished semantics/ffi                                            7s 222MB
May 27 00:56:01 Starting semantics
May 27 00:57:17 Finished semantics                                             1m15s 828MB
May 27 00:57:18 Starting semantics/proofs
May 27 01:00:11 Finished semantics/proofs                                      2m52s   1GB
May 27 01:00:11 Starting basis/pure
May 27 01:00:54 Finished basis/pure                                              43s 658MB
May 27 01:00:55 Starting translator
May 27 01:02:33 Finished translator                                            1m37s   1GB
May 27 01:02:33 Starting compiler/parsing
May 27 01:03:30 Finished compiler/parsing                                        56s   2GB
May 27 01:03:30 Starting characteristic
May 27 01:08:38 Finished characteristic                                        5m07s   1GB
May 27 01:08:39 Starting translator/monadic
May 27 01:10:04 Finished translator/monadic                                    1m25s   1GB
May 27 01:10:05 Starting basis
May 27 01:26:49 Finished basis                                                16m43s   3GB
May 27 01:26:49 Starting compiler/inference
May 27 01:28:21 Finished compiler/inference                                    1m31s   1GB
May 27 01:28:21 Starting compiler/backend/reg_alloc
May 27 01:29:19 Finished compiler/backend/reg_alloc                              57s   1GB
May 27 01:29:19 Starting compiler/backend/gc
May 27 01:37:13 Finished compiler/backend/gc                                   7m53s   2GB
May 27 01:37:13 Starting compiler/backend
May 27 01:37:14 Finished compiler/backend                                         0s  43MB
May 27 01:37:15 Starting compiler/encoders/asm
May 27 01:37:15 Finished compiler/encoders/asm                                    0s  36MB
May 27 01:37:15 Starting compiler/encoders/x64
May 27 01:37:37 Finished compiler/encoders/x64                                   21s 963MB
May 27 01:37:38 Starting compiler/encoders/arm7
May 27 01:38:21 Finished compiler/encoders/arm7                                  43s 696MB
May 27 01:38:22 Starting compiler/encoders/arm8
May 27 01:38:33 Finished compiler/encoders/arm8                                  11s 859MB
May 27 01:38:33 Starting compiler/encoders/mips
May 27 01:38:48 Finished compiler/encoders/mips                                  14s 739MB
May 27 01:38:48 Starting compiler/encoders/riscv
May 27 01:39:01 Finished compiler/encoders/riscv                                 12s 815MB
May 27 01:39:01 Starting compiler/encoders/ag32
May 27 01:39:16 Finished compiler/encoders/ag32                                  14s 768MB
May 27 01:39:16 Starting compiler/backend/x64
May 27 01:39:32 Finished compiler/backend/x64                                    15s   1GB
May 27 01:39:32 Starting compiler/backend/arm7
May 27 01:39:48 Finished compiler/backend/arm7                                   15s   1GB
May 27 01:39:49 Starting compiler/backend/arm8
May 27 01:40:05 Finished compiler/backend/arm8                                   16s   1GB
May 27 01:40:05 Starting compiler/backend/mips
May 27 01:40:21 Finished compiler/backend/mips                                   15s   1GB
May 27 01:40:22 Starting compiler/backend/riscv
May 27 01:40:38 Finished compiler/backend/riscv                                  15s   1GB
May 27 01:40:38 Starting compiler/backend/ag32
May 27 01:41:43 Finished compiler/backend/ag32                                 1m04s   1GB
May 27 01:41:43 Starting compiler/parsing/proofs
May 27 01:47:08 Finished compiler/parsing/proofs                               5m24s 847MB
May 27 01:47:08 Starting compiler/inference/proofs
May 27 01:49:45 Finished compiler/inference/proofs                             2m35s   1GB
May 27 01:49:45 Starting compiler/backend/semantics
May 27 01:56:45 Finished compiler/backend/semantics                            6m59s   2GB
May 27 01:56:45 Starting compiler/backend/reg_alloc/proofs
May 27 01:59:57 Finished compiler/backend/reg_alloc/proofs                     3m11s 801MB
May 27 01:59:57 Starting compiler/backend/proofs
May 27 02:38:14 Finished compiler/backend/proofs                              38m16s   4GB
May 27 02:38:14 Starting compiler/encoders/x64/proofs
May 27 02:47:16 Finished compiler/encoders/x64/proofs                          9m01s   5GB
May 27 02:47:16 Starting compiler/encoders/arm7/proofs
May 27 02:59:17 Finished compiler/encoders/arm7/proofs                        11m59s   5GB
May 27 02:59:17 Starting compiler/encoders/arm8/proofs
May 27 03:05:43 Finished compiler/encoders/arm8/proofs                         6m26s   1GB
May 27 03:05:44 Starting compiler/encoders/mips/proofs
May 27 03:15:04 Finished compiler/encoders/mips/proofs                         9m20s   2GB
May 27 03:15:05 Starting compiler/encoders/riscv/proofs
May 27 03:23:11 Finished compiler/encoders/riscv/proofs                        8m05s   1GB
May 27 03:23:11 Starting compiler/encoders/ag32/proofs
May 27 03:25:38 Finished compiler/encoders/ag32/proofs                         2m26s 955MB
May 27 03:25:38 Starting compiler/backend/x64/proofs
May 27 03:25:54 Finished compiler/backend/x64/proofs                             15s   1GB
May 27 03:25:54 Starting compiler/backend/arm7/proofs
May 27 03:26:11 Finished compiler/backend/arm7/proofs                            16s 840MB
May 27 03:26:11 Starting compiler/backend/arm8/proofs
May 27 03:26:27 Finished compiler/backend/arm8/proofs                            15s   1GB
May 27 03:26:27 Starting compiler/backend/mips/proofs
May 27 03:26:44 Finished compiler/backend/mips/proofs                            16s   1GB
May 27 03:26:45 Starting compiler/backend/riscv/proofs
May 27 03:27:01 Finished compiler/backend/riscv/proofs                           16s   1GB
May 27 03:27:02 Starting compiler/backend/ag32/proofs
May 27 03:35:57 Finished compiler/backend/ag32/proofs                          8m55s   2GB
May 27 03:35:58 Starting compiler/proofs
May 27 03:37:11 Finished compiler/proofs                                       1m12s   3GB
May 27 03:37:11 Starting candle/set-theory
May 27 03:37:36 Finished candle/set-theory                                       24s 739MB
May 27 03:37:36 Starting candle/syntax-lib
May 27 03:37:46 Finished candle/syntax-lib                                        9s 656MB
May 27 03:37:46 Starting candle/standard/syntax
May 27 03:39:26 Finished candle/standard/syntax                                1m39s   1GB
May 27 03:39:26 Starting candle/standard/semantics
May 27 03:40:59 Finished candle/standard/semantics                             1m32s   1GB
May 27 03:40:59 Starting candle/standard/monadic
May 27 03:42:31 Finished candle/standard/monadic                               1m31s   1GB
May 27 03:42:31 Starting candle/standard/ml_kernel
May 27 03:46:15 Finished candle/standard/ml_kernel                             3m43s   3GB
May 27 03:46:15 Starting candle/standard/opentheory
May 27 03:54:37 Finished candle/standard/opentheory                            8m21s   4GB
May 27 03:54:37 Starting candle/standard/opentheory/compilation
May 27 04:23:27 Finished candle/standard/opentheory/compilation               28m50s  23GB
May 27 04:23:28 Starting candle/standard/opentheory/compilation/proofs
May 27 04:24:01 Finished candle/standard/opentheory/compilation/proofs           33s   3GB
May 27 04:24:01 Starting characteristic/examples
May 27 04:25:22 Finished characteristic/examples                               1m20s   1GB
May 27 04:25:22 Starting tutorial/solutions
May 27 04:38:26 Finished tutorial/solutions                                   13m03s   6GB
May 27 04:38:26 Starting translator/monadic/examples
May 27 04:41:17 Finished translator/monadic/examples                           2m50s   2GB
May 27 04:41:18 Starting examples
May 27 04:49:54 Finished examples                                              8m36s   3GB
May 27 04:49:55 Starting examples/compilation/x64
May 27 06:50:40 Finished examples/compilation/x64                           2h00m45s  10GB
May 27 06:50:41 Starting examples/compilation/x64/proofs
May 27 06:52:15 Finished examples/compilation/x64/proofs                       1m33s   2GB
May 27 06:52:15 Starting examples/compilation/ag32
May 27 07:20:06 Finished examples/compilation/ag32                            27m50s   5GB
May 27 07:20:06 Starting examples/compilation/ag32/proofs
May 27 07:21:02 Finished examples/compilation/ag32/proofs                        55s   3GB
May 27 07:21:02 Starting translator/okasaki-examples
May 27 07:25:02 Finished translator/okasaki-examples                           3m59s   1GB
May 27 07:25:02 Starting translator/other-examples
May 27 07:25:41 Finished translator/other-examples                               38s   1GB
May 27 07:25:41 Starting compiler/parsing/tests
May 27 07:26:05 Finished compiler/parsing/tests                                  23s 595MB
May 27 07:26:05 Starting compiler/inference/tests
May 27 07:30:10 Finished compiler/inference/tests                              4m04s   4GB
May 27 07:30:11 Starting compiler/bootstrap/translation
May 27 09:57:37 Finished compiler/bootstrap/translation                     2h27m25s  35GB
May 27 09:57:37 Starting unverified/sexpr-bootstrap/x64/64
May 27 10:05:06 Finished unverified/sexpr-bootstrap/x64/64                     7m28s   3GB
May 27 10:05:06 Starting unverified/sexpr-bootstrap/x64/32
May 27 10:09:32 Finished unverified/sexpr-bootstrap/x64/32                     4m25s   7GB
May 27 10:09:32 Starting compiler/benchmarks
May 27 10:46:31 Finished compiler/benchmarks                                  36m58s   2GB
May 27 10:46:32 Starting compiler/bootstrap/compilation/x64/64
May 27 21:12:36 Finished compiler/bootstrap/compilation/x64/64             10h26m02s  64GB
May 27 21:12:36 Starting compiler/bootstrap/compilation/x64/64/proofs
May 27 21:16:27 Finished compiler/bootstrap/compilation/x64/64/proofs          3m50s   6GB
May 27 21:16:27 Starting compiler/bootstrap/compilation/x64/32
May 28 06:49:43 Finished compiler/bootstrap/compilation/x64/32              9h33m14s  64GB
May 28 06:49:44 Starting compiler/bootstrap/compilation/x64/32/proofs
May 28 06:52:49 Finished compiler/bootstrap/compilation/x64/32/proofs          3m05s   4GB
May 28 06:52:50 Starting compiler/bootstrap/compilation/ag32/32
May 28 17:37:47 Finished compiler/bootstrap/compilation/ag32/32            10h44m56s  63GB
May 28 17:37:47 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 28 17:52:37 Finished compiler/bootstrap/compilation/ag32/32/proofs        14m49s  12GB
May 28 17:52:37 SUCCESS