Job 913

CakeML:57a8a31ea045f3f546c1be2bc98ce345e492bdcb
  Merge pull request #659 from CakeML/filterfix [Jun 06 22:01:22]
HOL:52d62131e6d5569360e8eee918011d10af7912e0
  Merge remote-tracking branch 'origin/develop' into thibault-wip [Jun 03 20:17:39]
Machine:te1
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jun 06 22:02:08 Claimed job
Jun 06 22:02:14 Building HOL
Jun 06 22:15:04 Starting developers
Jun 06 22:15:07 Finished developers                                               2s  33MB
Jun 06 22:15:07 Starting developers/bin
Jun 06 22:15:13 Finished developers/bin                                           6s 931MB
Jun 06 22:15:13 Starting semantics/ffi
Jun 06 22:16:08 Finished semantics/ffi                                           54s 623MB
Jun 06 22:16:08 Starting semantics
Jun 06 22:18:19 Finished semantics                                             2m11s   1GB
Jun 06 22:18:20 Starting semantics/proofs
Jun 06 22:22:41 Finished semantics/proofs                                      4m21s   1GB
Jun 06 22:22:41 Starting semantics/alt_semantics
Jun 06 22:22:52 Finished semantics/alt_semantics                                 10s 290MB
Jun 06 22:22:52 Starting semantics/alt_semantics/proofs
Jun 06 22:25:22 Finished semantics/alt_semantics/proofs                        2m29s 917MB
Jun 06 22:25:22 Starting basis/pure
Jun 06 22:30:18 Finished basis/pure                                            4m55s 806MB
Jun 06 22:30:18 Starting translator
Jun 06 22:32:41 Finished translator                                            2m22s   1GB
Jun 06 22:32:41 Starting compiler/parsing
Jun 06 22:34:04 Finished compiler/parsing                                      1m22s   1GB
Jun 06 22:34:04 Starting characteristic
Jun 06 22:41:20 Finished characteristic                                        7m15s   2GB
Jun 06 22:41:20 Starting translator/monadic
Jun 06 22:43:22 Finished translator/monadic                                    2m02s   1GB
Jun 06 22:43:22 Starting basis
Jun 06 23:06:09 Finished basis                                                22m46s   2GB
Jun 06 23:06:09 Starting compiler/inference
Jun 06 23:08:50 Finished compiler/inference                                    2m40s   1GB
Jun 06 23:08:50 Starting compiler/backend/reg_alloc
Jun 06 23:10:07 Finished compiler/backend/reg_alloc                            1m17s   1GB
Jun 06 23:10:08 Starting compiler/backend/gc
Jun 06 23:22:31 Finished compiler/backend/gc                                  12m23s   1GB
Jun 06 23:22:31 Starting compiler/backend
Jun 06 23:22:34 Finished compiler/backend                                         2s  35MB
Jun 06 23:22:34 Starting compiler/encoders/asm
Jun 06 23:22:35 Finished compiler/encoders/asm                                    1s  18MB
Jun 06 23:22:35 Starting compiler/encoders/x64
Jun 06 23:24:03 Finished compiler/encoders/x64                                 1m27s 849MB
Jun 06 23:24:03 Starting compiler/encoders/arm7
Jun 06 23:26:25 Finished compiler/encoders/arm7                                2m21s   1GB
Jun 06 23:26:25 Starting compiler/encoders/arm8
Jun 06 23:27:10 Finished compiler/encoders/arm8                                  45s 561MB
Jun 06 23:27:10 Starting compiler/encoders/mips
Jun 06 23:28:49 Finished compiler/encoders/mips                                1m39s 883MB
Jun 06 23:28:50 Starting compiler/encoders/riscv
Jun 06 23:30:41 Finished compiler/encoders/riscv                               1m50s   1GB
Jun 06 23:30:41 Starting compiler/encoders/ag32
Jun 06 23:31:04 Finished compiler/encoders/ag32                                  23s 649MB
Jun 06 23:31:04 Starting compiler/backend/x64
Jun 06 23:31:29 Finished compiler/backend/x64                                    24s   1GB
Jun 06 23:31:29 Starting compiler/backend/arm7
Jun 06 23:31:56 Finished compiler/backend/arm7                                   26s   1GB
Jun 06 23:31:56 Starting compiler/backend/arm8
Jun 06 23:32:20 Finished compiler/backend/arm8                                   24s   1GB
Jun 06 23:32:20 Starting compiler/backend/mips
Jun 06 23:32:46 Finished compiler/backend/mips                                   25s   1GB
Jun 06 23:32:46 Starting compiler/backend/riscv
Jun 06 23:33:11 Finished compiler/backend/riscv                                  24s   1GB
Jun 06 23:33:11 Starting compiler/backend/ag32
Jun 06 23:34:45 Finished compiler/backend/ag32                                 1m34s   1GB
Jun 06 23:34:45 Starting compiler/parsing/proofs
Jun 06 23:43:28 Finished compiler/parsing/proofs                               8m42s   1GB
Jun 06 23:43:28 Starting compiler/inference/proofs
Jun 06 23:47:20 Finished compiler/inference/proofs                             3m51s   1GB
Jun 06 23:47:20 Starting compiler/backend/semantics
Jun 06 23:56:47 Finished compiler/backend/semantics                            9m27s   2GB
Jun 06 23:56:47 Starting compiler/backend/reg_alloc/proofs
Jun 07 00:01:36 Finished compiler/backend/reg_alloc/proofs                     4m48s 956MB
Jun 07 00:01:36 Starting compiler/backend/proofs
Jun 07 00:53:06 Finished compiler/backend/proofs                              51m27s   5GB
Jun 07 00:53:06 Starting compiler/encoders/x64/proofs
Jun 07 01:06:37 Finished compiler/encoders/x64/proofs                         13m31s   4GB
Jun 07 01:06:37 Starting compiler/encoders/arm7/proofs
Jun 07 01:24:37 Finished compiler/encoders/arm7/proofs                        17m59s   4GB
Jun 07 01:24:37 Starting compiler/encoders/arm8/proofs
Jun 07 01:33:50 Finished compiler/encoders/arm8/proofs                         9m12s   1GB
Jun 07 01:33:50 Starting compiler/encoders/mips/proofs
Jun 07 01:47:27 Finished compiler/encoders/mips/proofs                        13m36s   2GB
Jun 07 01:47:27 Starting compiler/encoders/riscv/proofs
Jun 07 01:58:46 Finished compiler/encoders/riscv/proofs                       11m18s   1GB
Jun 07 01:58:46 Starting compiler/encoders/ag32/proofs
Jun 07 02:02:03 Finished compiler/encoders/ag32/proofs                         3m17s   1GB
Jun 07 02:02:03 Starting compiler/backend/x64/proofs
Jun 07 02:02:30 Finished compiler/backend/x64/proofs                             26s   1GB
Jun 07 02:02:30 Starting compiler/backend/arm7/proofs
Jun 07 02:03:03 Finished compiler/backend/arm7/proofs                            32s 868MB
Jun 07 02:03:03 Starting compiler/backend/arm8/proofs
Jun 07 02:03:28 Finished compiler/backend/arm8/proofs                            25s 773MB
Jun 07 02:03:29 Starting compiler/backend/mips/proofs
Jun 07 02:03:56 Finished compiler/backend/mips/proofs                            27s   1GB
Jun 07 02:03:56 Starting compiler/backend/riscv/proofs
Jun 07 02:04:22 Finished compiler/backend/riscv/proofs                           25s 832MB
Jun 07 02:04:22 Starting compiler/backend/ag32/proofs
Jun 07 02:16:49 Finished compiler/backend/ag32/proofs                         12m26s   2GB
Jun 07 02:16:49 Starting compiler/proofs
Jun 07 02:18:33 Finished compiler/proofs                                       1m44s   3GB
Jun 07 02:18:33 Starting candle/set-theory
Jun 07 02:19:11 Finished candle/set-theory                                       37s 921MB
Jun 07 02:19:11 Starting candle/syntax-lib
Jun 07 02:19:24 Finished candle/syntax-lib                                       13s 686MB
Jun 07 02:19:24 Starting candle/standard/syntax
Jun 07 02:21:46 Finished candle/standard/syntax                                2m22s 976MB
Jun 07 02:21:46 Starting candle/standard/semantics
Jun 07 02:24:04 Finished candle/standard/semantics                             2m17s   1GB
Jun 07 02:24:04 Starting candle/standard/monadic
Jun 07 02:26:13 Finished candle/standard/monadic                               2m08s   1GB
Jun 07 02:26:13 Starting candle/standard/ml_kernel
Jun 07 02:31:17 Finished candle/standard/ml_kernel                             5m04s   3GB
Jun 07 02:31:17 Starting candle/standard/opentheory
Jun 07 02:42:44 Finished candle/standard/opentheory                           11m26s   4GB
Jun 07 02:42:44 Starting candle/standard/opentheory/compilation
Jun 07 03:20:38 Finished candle/standard/opentheory/compilation               37m53s  11GB
Jun 07 03:20:38 Starting candle/standard/opentheory/compilation/proofs
Jun 07 03:21:37 Finished candle/standard/opentheory/compilation/proofs           58s   2GB
Jun 07 03:21:38 Starting characteristic/examples
Jun 07 03:23:31 Finished characteristic/examples                               1m52s   2GB
Jun 07 03:23:31 Starting tutorial/solutions
Jun 07 03:41:07 Finished tutorial/solutions                                   17m36s   8GB
Jun 07 03:41:07 Starting translator/monadic/examples
Jun 07 03:44:40 Finished translator/monadic/examples                           3m32s   2GB
Jun 07 03:44:40 Starting examples
Jun 07 03:54:37 Finished examples                                              9m57s   5GB
Jun 07 03:54:37 Starting examples/compilation/x64
Jun 07 06:32:21 Finished examples/compilation/x64                           2h37m43s  13GB
Jun 07 06:32:21 Starting examples/compilation/x64/proofs
Jun 07 06:34:17 Finished examples/compilation/x64/proofs                       1m55s   2GB
Jun 07 06:34:17 Starting examples/compilation/ag32
Jun 07 07:11:14 Finished examples/compilation/ag32                            36m56s   6GB
Jun 07 07:11:14 Starting examples/compilation/ag32/proofs
Jun 07 07:12:23 Finished examples/compilation/ag32/proofs                      1m08s   2GB
Jun 07 07:12:23 Starting translator/okasaki-examples
Jun 07 07:17:49 Finished translator/okasaki-examples                           5m25s   2GB
Jun 07 07:17:49 Starting translator/other-examples
Jun 07 07:22:47 Finished translator/other-examples                             4m58s   1GB
Jun 07 07:22:47 Starting compiler/parsing/tests
Jun 07 07:23:21 Finished compiler/parsing/tests                                  33s 541MB
Jun 07 07:23:22 Starting compiler/inference/tests
Jun 07 07:28:34 Finished compiler/inference/tests                              5m12s   3GB
Jun 07 07:28:34 Starting compiler/bootstrap/translation
Jun 07 10:46:48 Finished compiler/bootstrap/translation                     3h18m13s  43GB
Jun 07 10:46:48 Starting unverified/sexpr-bootstrap/x64/64
Jun 07 10:57:02 Finished unverified/sexpr-bootstrap/x64/64                    10m13s   2GB
Jun 07 10:57:02 Starting unverified/sexpr-bootstrap/x64/32
Jun 07 11:02:52 Finished unverified/sexpr-bootstrap/x64/32                     5m49s   8GB
Jun 07 11:02:52 Starting compiler/benchmarks
Jun 07 11:02:58 Finished compiler/benchmarks                                      5s  35MB
Jun 07 11:02:58 Starting compiler/bootstrap/compilation/x64/64
Jun 08 01:01:35 Finished compiler/bootstrap/compilation/x64/64             13h58m36s  48GB
Jun 08 01:01:35 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 08 01:05:51 Finished compiler/bootstrap/compilation/x64/64/proofs          4m15s   5GB
Jun 08 01:05:51 Starting compiler/bootstrap/compilation/x64/32
Jun 08 12:40:31 Finished compiler/bootstrap/compilation/x64/32             11h34m37s  54GB
Jun 08 12:40:31 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 08 12:44:11 Finished compiler/bootstrap/compilation/x64/32/proofs          3m40s   9GB
Jun 08 12:44:11 Starting compiler/bootstrap/compilation/ag32/32
Jun 09 01:03:35 Finished compiler/bootstrap/compilation/ag32/32            12h19m23s  59GB
Jun 09 01:03:35 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 09 01:33:19 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m43s  22GB
Jun 09 01:33:19 SUCCESS