Job 715

CakeML:0b669f77530f96dc7e085265545c193a6cd256f2
  Merge pull request #613 from CakeML/gh611 [Feb 04 10:11:36]
HOL:e057d76239c16054db4423f1ddc4c62ad4bd138d
  Ensure computeLib monitoring output goes to Feedback's MESG outstrm [Feb 03 10:53:12]
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

Feb 04 10:30:49 Claimed job
Feb 04 10:30:57 Building HOL
Feb 04 10:38:27 Starting developers
Feb 04 10:38:29 Finished developers                                               0s  36MB
Feb 04 10:38:29 Starting developers/bin
Feb 04 10:39:03 Finished developers/bin                                          33s 142MB
Feb 04 10:39:04 Starting semantics/ffi
Feb 04 10:39:38 Finished semantics/ffi                                           33s 415MB
Feb 04 10:39:39 Starting semantics
Feb 04 10:41:09 Finished semantics                                             1m29s   1GB
Feb 04 10:41:10 Starting semantics/proofs
Feb 04 10:44:12 Finished semantics/proofs                                      3m01s   1GB
Feb 04 10:44:13 Starting basis/pure
Feb 04 10:47:43 Finished basis/pure                                            3m27s   1GB
Feb 04 10:47:44 Starting translator
Feb 04 10:49:21 Finished translator                                            1m35s   1GB
Feb 04 10:49:21 Starting compiler/parsing
Feb 04 10:50:19 Finished compiler/parsing                                        56s   2GB
Feb 04 10:50:20 Starting characteristic
Feb 04 10:54:34 Finished characteristic                                        4m13s   1GB
Feb 04 10:54:35 Starting translator/monadic
Feb 04 10:56:00 Finished translator/monadic                                    1m24s   1GB
Feb 04 10:56:01 Starting basis
Feb 04 11:12:29 Finished basis                                                16m26s   2GB
Feb 04 11:12:30 Starting compiler/inference
Feb 04 11:14:16 Finished compiler/inference                                    1m46s   1GB
Feb 04 11:14:17 Starting compiler/backend/reg_alloc
Feb 04 11:15:08 Finished compiler/backend/reg_alloc                              50s   1GB
Feb 04 11:15:09 Starting compiler/backend/gc
Feb 04 11:23:53 Finished compiler/backend/gc                                   8m42s   1GB
Feb 04 11:23:54 Starting compiler/backend
Feb 04 11:23:56 Finished compiler/backend                                         1s  18MB
Feb 04 11:23:57 Starting compiler/encoders/asm
Feb 04 11:23:58 Finished compiler/encoders/asm                                    0s  16MB
Feb 04 11:23:59 Starting compiler/encoders/x64
Feb 04 11:24:59 Finished compiler/encoders/x64                                   58s 793MB
Feb 04 11:24:59 Starting compiler/encoders/arm6
Feb 04 11:26:46 Finished compiler/encoders/arm6                                1m45s   1GB
Feb 04 11:26:46 Starting compiler/encoders/arm8
Feb 04 11:27:16 Finished compiler/encoders/arm8                                  28s 860MB
Feb 04 11:27:16 Starting compiler/encoders/mips
Feb 04 11:28:20 Finished compiler/encoders/mips                                1m03s 782MB
Feb 04 11:28:21 Starting compiler/encoders/riscv
Feb 04 11:29:27 Finished compiler/encoders/riscv                               1m04s 860MB
Feb 04 11:29:27 Starting compiler/encoders/ag32
Feb 04 11:29:44 Finished compiler/encoders/ag32                                  15s 788MB
Feb 04 11:29:44 Starting compiler/backend/x64
Feb 04 11:30:01 Finished compiler/backend/x64                                    15s 824MB
Feb 04 11:30:02 Starting compiler/backend/arm6
Feb 04 11:30:21 Finished compiler/backend/arm6                                   18s   1GB
Feb 04 11:30:22 Starting compiler/backend/arm8
Feb 04 11:30:39 Finished compiler/backend/arm8                                   16s 821MB
Feb 04 11:30:40 Starting compiler/backend/mips
Feb 04 11:30:57 Finished compiler/backend/mips                                   16s   1GB
Feb 04 11:30:58 Starting compiler/backend/riscv
Feb 04 11:31:17 Finished compiler/backend/riscv                                  17s   1GB
Feb 04 11:31:17 Starting compiler/backend/ag32
Feb 04 11:32:24 Finished compiler/backend/ag32                                 1m06s   1GB
Feb 04 11:32:25 Starting compiler/parsing/proofs
Feb 04 11:37:57 Finished compiler/parsing/proofs                               5m31s 842MB
Feb 04 11:37:58 Starting compiler/inference/proofs
Feb 04 11:40:37 Finished compiler/inference/proofs                             2m38s   1GB
Feb 04 11:40:38 Starting compiler/backend/semantics
Feb 04 11:47:36 Finished compiler/backend/semantics                            6m57s   1GB
Feb 04 11:47:37 Starting compiler/backend/reg_alloc/proofs
Feb 04 11:50:16 Finished compiler/backend/reg_alloc/proofs                     2m37s 761MB
Feb 04 11:50:17 Starting compiler/backend/proofs
Feb 04 12:27:06 Finished compiler/backend/proofs                              36m48s   4GB
Feb 04 12:27:06 Starting compiler/encoders/x64/proofs
Feb 04 12:37:21 Finished compiler/encoders/x64/proofs                         10m13s   4GB
Feb 04 12:37:22 Starting compiler/encoders/arm6/proofs
Feb 04 12:51:42 Finished compiler/encoders/arm6/proofs                        14m18s   3GB
Feb 04 12:51:42 Starting compiler/encoders/arm8/proofs
Feb 04 12:57:38 Finished compiler/encoders/arm8/proofs                         5m55s   1GB
Feb 04 12:57:39 Starting compiler/encoders/mips/proofs
Feb 04 13:07:47 Finished compiler/encoders/mips/proofs                        10m07s   1GB
Feb 04 13:07:48 Starting compiler/encoders/riscv/proofs
Feb 04 13:15:29 Finished compiler/encoders/riscv/proofs                        7m39s   1GB
Feb 04 13:15:30 Starting compiler/encoders/ag32/proofs
Feb 04 13:18:00 Finished compiler/encoders/ag32/proofs                         2m29s 858MB
Feb 04 13:18:00 Starting compiler/backend/x64/proofs
Feb 04 13:18:20 Finished compiler/backend/x64/proofs                             19s   1GB
Feb 04 13:18:21 Starting compiler/backend/arm6/proofs
Feb 04 13:18:42 Finished compiler/backend/arm6/proofs                            20s 940MB
Feb 04 13:18:43 Starting compiler/backend/arm8/proofs
Feb 04 13:19:03 Finished compiler/backend/arm8/proofs                            18s   1GB
Feb 04 13:19:03 Starting compiler/backend/mips/proofs
Feb 04 13:19:24 Finished compiler/backend/mips/proofs                            19s   1GB
Feb 04 13:19:25 Starting compiler/backend/riscv/proofs
Feb 04 13:19:44 Finished compiler/backend/riscv/proofs                           18s   1GB
Feb 04 13:19:44 Starting compiler/backend/ag32/proofs
Feb 04 13:28:40 Finished compiler/backend/ag32/proofs                          8m55s   2GB
Feb 04 13:28:41 Starting compiler/proofs
Feb 04 13:29:59 Finished compiler/proofs                                       1m17s   3GB
Feb 04 13:30:00 Starting candle/set-theory
Feb 04 13:30:25 Finished candle/set-theory                                       24s 801MB
Feb 04 13:30:26 Starting candle/syntax-lib
Feb 04 13:30:36 Finished candle/syntax-lib                                        9s 597MB
Feb 04 13:30:37 Starting candle/standard/syntax
Feb 04 13:32:20 Finished candle/standard/syntax                                1m42s 879MB
Feb 04 13:32:21 Starting candle/standard/semantics
Feb 04 13:33:56 Finished candle/standard/semantics                             1m34s 957MB
Feb 04 13:33:57 Starting candle/standard/monadic
Feb 04 13:35:35 Finished candle/standard/monadic                               1m36s   1GB
Feb 04 13:35:35 Starting candle/standard/ml_kernel
Feb 04 13:39:46 Finished candle/standard/ml_kernel                             4m09s   3GB
Feb 04 13:39:46 Starting candle/standard/opentheory
Feb 04 13:48:50 Finished candle/standard/opentheory                            9m03s   3GB
Feb 04 13:48:51 Starting candle/standard/opentheory/compilation
Feb 04 14:18:46 Finished candle/standard/opentheory/compilation               29m53s  17GB
Feb 04 14:18:46 Starting candle/standard/opentheory/compilation/proofs
Feb 04 14:19:34 Finished candle/standard/opentheory/compilation/proofs           46s   5GB
Feb 04 14:19:35 Starting characteristic/examples
Feb 04 14:21:04 Finished characteristic/examples                               1m28s   2GB
Feb 04 14:21:05 Starting tutorial/solutions
Feb 04 14:34:20 Finished tutorial/solutions                                   13m13s   6GB
Feb 04 14:34:20 Starting translator/monadic/examples
Feb 04 14:36:34 Finished translator/monadic/examples                           2m12s   3GB
Feb 04 14:36:35 Starting examples
Feb 04 14:44:17 Finished examples                                              7m41s   3GB
Feb 04 14:44:18 Starting examples/compilation/x64
Feb 04 16:37:46 Finished examples/compilation/x64                           1h53m27s  13GB
Feb 04 16:37:47 Starting examples/compilation/x64/proofs
Feb 04 16:39:33 Finished examples/compilation/x64/proofs                       1m45s   3GB
Feb 04 16:39:34 Starting examples/compilation/ag32
Feb 04 17:07:49 Finished examples/compilation/ag32                            28m14s   6GB
Feb 04 17:07:49 Starting examples/compilation/ag32/proofs
Feb 04 17:08:36 Finished examples/compilation/ag32/proofs                        45s   3GB
Feb 04 17:08:37 Starting translator/okasaki-examples
Feb 04 17:12:42 Finished translator/okasaki-examples                           4m04s   2GB
Feb 04 17:12:43 Starting translator/other-examples
Feb 04 17:16:05 Finished translator/other-examples                             3m21s   1GB
Feb 04 17:16:06 Starting compiler/parsing/tests
Feb 04 17:16:32 Finished compiler/parsing/tests                                  24s 550MB
Feb 04 17:16:32 Starting compiler/inference/tests
Feb 04 17:20:40 Finished compiler/inference/tests                              4m07s   4GB
Feb 04 17:20:41 Starting compiler/bootstrap/translation
Feb 04 19:49:24 Finished compiler/bootstrap/translation                     2h28m41s  46GB
Feb 04 19:49:24 Starting unverified/sexpr-bootstrap/x64/64
Feb 04 19:58:14 Finished unverified/sexpr-bootstrap/x64/64                     8m47s  15GB
Feb 04 19:58:14 Starting unverified/sexpr-bootstrap/x64/32
Feb 04 20:03:33 Finished unverified/sexpr-bootstrap/x64/32                     5m16s  22GB
Feb 04 20:03:34 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 04 20:04:05 Finished compiler/benchmarks/cakeml_benchmarks/cakeml            30s   1GB
Feb 04 20:04:06 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 04 20:04:53 Finished compiler/benchmarks/mlton_benchmarks/cakeml             46s   1GB
Feb 04 20:04:54 Starting compiler/bootstrap/compilation/x64/64
Feb 05 06:14:29 Finished compiler/bootstrap/compilation/x64/64             10h09m32s  64GB
Feb 05 06:14:29 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 05 06:20:40 Finished compiler/bootstrap/compilation/x64/64/proofs          6m09s  30GB
Feb 05 06:20:41 Starting compiler/bootstrap/compilation/x64/32
Feb 05 15:44:44 Finished compiler/bootstrap/compilation/x64/32              9h24m01s  64GB
Feb 05 15:44:45 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 05 15:50:44 Finished compiler/bootstrap/compilation/x64/32/proofs          5m58s  31GB
Feb 05 15:50:45 SUCCESS