Job 516

CakeML:675c1da06454efcef70f62574de96a524820287f
  Merge pull request #532 from CakeML/trans-msg [Oct 03 07:58:05]
HOL:c99b7420019e4deae768b219d3c8e926b43af0b7
  Make buildheap preserve temporary files when --dbg flag is set [Oct 05 01:50:41]
Machine:oven1 4.15.9-300.fc27.x86_64 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

Oct 05 09:46:22 Claimed job
Oct 05 09:48:27 Building HOL
Oct 05 09:57:51 Starting developers/bin
Oct 05 09:59:06 Finished developers/bin                                        1m13s 912MB
Oct 05 09:59:06 Starting semantics/ffi
Oct 05 09:59:47 Finished semantics/ffi                                           40s 399MB
Oct 05 09:59:48 Starting semantics
Oct 05 10:01:46 Finished semantics                                             1m57s 934MB
Oct 05 10:01:47 Starting semantics/proofs
Oct 05 10:05:07 Finished semantics/proofs                                      3m18s   1GB
Oct 05 10:05:07 Starting basis/pure
Oct 05 10:08:47 Finished basis/pure                                            3m38s 659MB
Oct 05 10:08:47 Starting translator
Oct 05 10:09:57 Finished translator                                            1m08s 912MB
Oct 05 10:09:57 Starting compiler/parsing
Oct 05 10:11:40 Finished compiler/parsing                                      1m41s   1GB
Oct 05 10:11:40 Starting characteristic
Oct 05 10:14:11 Finished characteristic                                        2m30s   1GB
Oct 05 10:14:12 Starting translator/monadic
Oct 05 10:15:41 Finished translator/monadic                                    1m28s   1GB
Oct 05 10:15:41 Starting basis
Oct 05 10:39:43 Finished basis                                                24m01s   3GB
Oct 05 10:39:44 Starting compiler/inference
Oct 05 10:42:03 Finished compiler/inference                                    2m18s 950MB
Oct 05 10:42:04 Starting compiler/backend/reg_alloc
Oct 05 10:42:57 Finished compiler/backend/reg_alloc                              52s   1GB
Oct 05 10:42:57 Starting compiler/backend/gc
Oct 05 10:53:37 Finished compiler/backend/gc                                  10m38s   3GB
Oct 05 10:53:38 Starting compiler/backend
Oct 05 10:53:41 Finished compiler/backend                                         2s  19MB
Oct 05 10:53:41 Starting compiler/encoders/asm
Oct 05 10:53:43 Finished compiler/encoders/asm                                    1s  11MB
Oct 05 10:53:44 Starting compiler/encoders/x64
Oct 05 10:54:37 Finished compiler/encoders/x64                                   52s 608MB
Oct 05 10:54:38 Starting compiler/encoders/arm6
Oct 05 10:56:27 Finished compiler/encoders/arm6                                1m48s   1GB
Oct 05 10:56:28 Starting compiler/encoders/arm8
Oct 05 10:56:55 Finished compiler/encoders/arm8                                  26s 474MB
Oct 05 10:56:55 Starting compiler/encoders/mips
Oct 05 10:57:56 Finished compiler/encoders/mips                                1m00s 776MB
Oct 05 10:57:57 Starting compiler/encoders/riscv
Oct 05 10:58:59 Finished compiler/encoders/riscv                               1m02s 810MB
Oct 05 10:59:00 Starting compiler/backend/x64
Oct 05 10:59:18 Finished compiler/backend/x64                                    17s 843MB
Oct 05 10:59:19 Starting compiler/backend/arm6
Oct 05 10:59:40 Finished compiler/backend/arm6                                   20s   1GB
Oct 05 10:59:40 Starting compiler/backend/arm8
Oct 05 11:00:00 Finished compiler/backend/arm8                                   19s   1GB
Oct 05 11:00:01 Starting compiler/backend/mips
Oct 05 11:00:21 Finished compiler/backend/mips                                   19s 849MB
Oct 05 11:00:22 Starting compiler/backend/riscv
Oct 05 11:00:42 Finished compiler/backend/riscv                                  19s   1GB
Oct 05 11:00:42 Starting compiler/parsing/proofs
Oct 05 11:06:50 Finished compiler/parsing/proofs                               6m06s   1GB
Oct 05 11:06:50 Starting compiler/inference/proofs
Oct 05 11:09:48 Finished compiler/inference/proofs                             2m56s   1GB
Oct 05 11:09:48 Starting compiler/backend/semantics
Oct 05 11:19:22 Finished compiler/backend/semantics                            9m33s   2GB
Oct 05 11:19:23 Starting compiler/backend/reg_alloc/proofs
Oct 05 11:26:43 Finished compiler/backend/reg_alloc/proofs                     7m18s 596MB
Oct 05 11:26:43 Starting compiler/backend/proofs
Oct 05 12:07:02 Finished compiler/backend/proofs                              40m18s   3GB
Oct 05 12:07:03 Starting compiler/encoders/x64/proofs
Oct 05 12:14:36 Finished compiler/encoders/x64/proofs                          7m32s   4GB
Oct 05 12:14:37 Starting compiler/encoders/arm6/proofs
Oct 05 12:22:41 Finished compiler/encoders/arm6/proofs                         8m03s   3GB
Oct 05 12:22:42 Starting compiler/encoders/arm8/proofs
Oct 05 12:32:21 Finished compiler/encoders/arm8/proofs                         9m38s 927MB
Oct 05 12:32:22 Starting compiler/encoders/mips/proofs
Oct 05 12:42:01 Finished compiler/encoders/mips/proofs                         9m38s   2GB
Oct 05 12:42:01 Starting compiler/encoders/riscv/proofs
Oct 05 12:51:47 Finished compiler/encoders/riscv/proofs                        9m44s 670MB
Oct 05 12:51:47 Starting compiler/backend/x64/proofs
Oct 05 12:52:10 Finished compiler/backend/x64/proofs                             21s   1GB
Oct 05 12:52:10 Starting compiler/backend/arm6/proofs
Oct 05 12:52:36 Finished compiler/backend/arm6/proofs                            25s   1GB
Oct 05 12:52:37 Starting compiler/backend/arm8/proofs
Oct 05 12:52:58 Finished compiler/backend/arm8/proofs                            21s 787MB
Oct 05 12:52:59 Starting compiler/backend/mips/proofs
Oct 05 12:53:22 Finished compiler/backend/mips/proofs                            22s   1GB
Oct 05 12:53:23 Starting compiler/backend/riscv/proofs
Oct 05 12:53:45 Finished compiler/backend/riscv/proofs                           21s   1GB
Oct 05 12:53:46 Starting compiler/proofs
Oct 05 12:55:11 Finished compiler/proofs                                       1m24s   1GB
Oct 05 12:55:12 Starting candle/set-theory
Oct 05 12:55:48 Finished candle/set-theory                                       34s 798MB
Oct 05 12:55:48 Starting candle/syntax-lib
Oct 05 12:55:59 Finished candle/syntax-lib                                       10s 621MB
Oct 05 12:56:00 Starting candle/standard/syntax
Oct 05 12:57:37 Finished candle/standard/syntax                                1m36s   1GB
Oct 05 12:57:38 Starting candle/standard/semantics
Oct 05 12:59:02 Finished candle/standard/semantics                             1m23s 980MB
Oct 05 12:59:03 Starting candle/standard/monadic
Oct 05 13:00:47 Finished candle/standard/monadic                               1m43s   1GB
Oct 05 13:00:47 Starting candle/standard/ml_kernel
Oct 05 13:19:53 Finished candle/standard/ml_kernel                            19m05s   4GB
Oct 05 13:19:54 Starting candle/standard/opentheory
Oct 05 13:29:11 Finished candle/standard/opentheory                            9m16s   6GB
Oct 05 13:29:12 Starting candle/standard/opentheory/compilation
Oct 05 14:08:30 Finished candle/standard/opentheory/compilation               39m17s  14GB
Oct 05 14:08:31 Starting characteristic/examples
Oct 05 14:10:09 Finished characteristic/examples                               1m37s   1GB
Oct 05 14:10:10 Starting tutorial/solutions
Oct 05 14:24:31 Finished tutorial/solutions                                   14m20s   7GB
Oct 05 14:24:32 Starting translator/monadic/examples
Oct 05 14:26:52 Finished translator/monadic/examples                           2m19s   2GB
Oct 05 14:26:53 Starting examples
Oct 05 14:33:45 Finished examples                                              6m51s   6GB
Oct 05 14:33:46 Starting examples/compilation
Oct 05 16:35:07 Finished examples/compilation                               2h01m20s  19GB
Oct 05 16:35:07 Starting examples/compilation/proofs
Oct 05 16:37:12 Finished examples/compilation/proofs                           2m03s   3GB
Oct 05 16:37:12 Starting compiler/benchmarks
Oct 05 16:37:14 Finished compiler/benchmarks                                      0s   4MB
Oct 05 16:37:14 Starting translator/okasaki-examples
Oct 05 16:40:59 Finished translator/okasaki-examples                           3m43s   1GB
Oct 05 16:40:59 Starting translator/other-examples
Oct 05 16:44:41 Finished translator/other-examples                             3m41s   1GB
Oct 05 16:44:42 Starting compiler/parsing/tests
Oct 05 16:45:07 Finished compiler/parsing/tests                                  25s 328MB
Oct 05 16:45:08 Starting compiler/inference/tests
Oct 05 16:49:16 Finished compiler/inference/tests                              4m07s   4GB
Oct 05 16:49:17 Starting compiler/bootstrap/translation
Oct 05 22:59:57 Finished compiler/bootstrap/translation                     6h10m39s  51GB
Oct 05 22:59:57 Starting unverified/sexpr-bootstrap/x64/64
Oct 05 23:07:37 Finished unverified/sexpr-bootstrap/x64/64                     7m28s  13GB
Oct 05 23:07:38 Starting unverified/sexpr-bootstrap/x64/32
Oct 05 23:12:38 Finished unverified/sexpr-bootstrap/x64/32                     4m55s  13GB
Oct 05 23:12:39 Starting compiler/bootstrap/compilation/x64/64
Oct 06 14:46:07 Finished compiler/bootstrap/compilation/x64/64             15h33m25s  64GB
Oct 06 14:46:07 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 06 14:49:12 Finished compiler/bootstrap/compilation/x64/64/proofs          3m03s  23GB
Oct 06 14:49:12 Starting compiler/bootstrap/compilation/x64/32
Oct 07 01:26:02 Finished compiler/bootstrap/compilation/x64/32             10h36m47s  64GB
Oct 07 01:26:03 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 07 01:29:40 Finished compiler/bootstrap/compilation/x64/32/proofs          3m35s  20GB
Oct 07 01:29:40 SUCCESS