Job 91

CakeML:0374944ce5758dfcc882b2fa8da6f37bc32bacb2
  Get translator/monadic to build [Dec 13 07:48:09]
HOL:bf1d47ee7d41e0562baf7582cbefcc1122df78be
  Merge pull request #501 from AndreasLoow/hh-ocaml-4.06.0 [Dec 12 11:19:13]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Dec 13 12:56:24 Claimed job
Dec 13 12:56:33 Building HOL
Dec 13 13:10:15 Starting semantics/ffi
Dec 13 13:11:30 Finished semantics/ffi                                         1m13s 550MB
Dec 13 13:11:32 Starting semantics
Dec 13 13:14:25 Finished semantics                                             2m51s   1GB
Dec 13 13:14:27 Starting semantics/proofs
Dec 13 13:18:19 Finished semantics/proofs                                      3m49s   1GB
Dec 13 13:18:21 Starting basis/pure
Dec 13 13:24:45 Finished basis/pure                                            6m22s 670MB
Dec 13 13:24:47 Starting translator
Dec 13 13:32:37 Finished translator                                            7m47s   1GB
Dec 13 13:32:39 Starting compiler/parsing
Dec 13 13:35:15 Finished compiler/parsing                                      2m34s   1GB
Dec 13 13:35:17 Starting characteristic
Dec 13 13:40:33 Finished characteristic                                        5m14s   1GB
Dec 13 13:40:35 Starting basis
Dec 13 14:09:51 Finished basis                                                29m13s   2GB
Dec 13 14:09:53 Starting translator/monadic
Dec 13 14:13:32 Finished translator/monadic                                    3m37s   1GB
Dec 13 14:13:34 Starting compiler/inference
Dec 13 14:16:38 Finished compiler/inference                                    3m01s 931MB
Dec 13 14:16:40 Starting compiler/backend/reg_alloc
Dec 13 14:17:35 Finished compiler/backend/reg_alloc                              53s 935MB
Dec 13 14:17:37 Starting compiler/backend/gc
Dec 13 14:34:54 Finished compiler/backend/gc                                  17m15s   3GB
Dec 13 14:34:56 Starting compiler/backend
Dec 13 14:35:00 Finished compiler/backend                                         1s  14MB
Dec 13 14:35:02 Starting compiler/encoders/asm
Dec 13 14:35:04 Finished compiler/encoders/asm                                    0s  13MB
Dec 13 14:35:06 Starting compiler/encoders/x64
Dec 13 14:36:24 Finished compiler/encoders/x64                                 1m15s 480MB
Dec 13 14:36:26 Starting compiler/encoders/arm6
Dec 13 14:39:47 Finished compiler/encoders/arm6                                3m19s   1GB
Dec 13 14:39:49 Starting compiler/encoders/arm8
Dec 13 14:40:42 Finished compiler/encoders/arm8                                  50s 389MB
Dec 13 14:40:43 Starting compiler/encoders/mips
Dec 13 14:42:15 Finished compiler/encoders/mips                                1m29s 588MB
Dec 13 14:42:17 Starting compiler/encoders/riscv
Dec 13 14:43:57 Finished compiler/encoders/riscv                               1m37s 448MB
Dec 13 14:43:59 Starting compiler/backend/x64
Dec 13 14:44:47 Finished compiler/backend/x64                                    46s   1GB
Dec 13 14:44:49 Starting compiler/backend/arm6
Dec 13 14:45:40 Finished compiler/backend/arm6                                   49s   1GB
Dec 13 14:45:42 Starting compiler/backend/arm8
Dec 13 14:46:30 Finished compiler/backend/arm8                                   46s   1GB
Dec 13 14:46:32 Starting compiler/backend/mips
Dec 13 14:47:21 Finished compiler/backend/mips                                   47s   1GB
Dec 13 14:47:23 Starting compiler/backend/riscv
Dec 13 14:48:13 Finished compiler/backend/riscv                                  47s   1GB
Dec 13 14:48:15 Starting compiler/parsing/proofs
Dec 13 14:53:00 Finished compiler/parsing/proofs                               4m43s 857MB
Dec 13 14:53:02 Starting compiler/inference/proofs
Dec 13 14:57:31 Finished compiler/inference/proofs                             4m27s 849MB
Dec 13 14:57:33 Starting compiler/backend/semantics
Dec 13 15:17:06 Finished compiler/backend/semantics                           19m30s   3GB
Dec 13 15:17:08 Starting compiler/backend/reg_alloc/proofs
Dec 13 15:18:26 Finished compiler/backend/reg_alloc/proofs                     1m15s 411MB
Dec 13 15:18:28 Starting compiler/backend/proofs
Dec 13 16:29:58 Finished compiler/backend/proofs                            1h11m27s   4GB
Dec 13 16:30:00 Starting compiler/encoders/x64/proofs
Dec 13 16:41:29 Finished compiler/encoders/x64/proofs                         11m27s   1GB
Dec 13 16:41:31 Starting compiler/encoders/arm6/proofs
Dec 13 16:55:29 Finished compiler/encoders/arm6/proofs                        13m55s   3GB
Dec 13 16:55:31 Starting compiler/encoders/arm8/proofs
Dec 13 17:05:08 Finished compiler/encoders/arm8/proofs                         9m34s   1GB
Dec 13 17:05:10 Starting compiler/encoders/mips/proofs
Dec 13 17:18:29 Finished compiler/encoders/mips/proofs                        13m15s   2GB
Dec 13 17:18:31 Starting compiler/encoders/riscv/proofs
Dec 13 17:32:35 Finished compiler/encoders/riscv/proofs                       14m02s 950MB
Dec 13 17:32:37 Starting compiler/backend/x64/proofs
Dec 13 17:33:32 Finished compiler/backend/x64/proofs                             52s   1GB
Dec 13 17:33:34 Starting compiler/backend/arm6/proofs
Dec 13 17:34:35 Finished compiler/backend/arm6/proofs                            58s   1GB
Dec 13 17:34:37 Starting compiler/backend/arm8/proofs
Dec 13 17:35:32 Finished compiler/backend/arm8/proofs                            53s   1GB
Dec 13 17:35:34 Starting compiler/backend/mips/proofs
Dec 13 17:36:30 Finished compiler/backend/mips/proofs                            54s   1GB
Dec 13 17:36:32 Starting compiler/backend/riscv/proofs
Dec 13 17:37:31 Finished compiler/backend/riscv/proofs                           57s   1GB
Dec 13 17:37:33 Starting compiler/proofs
Dec 13 17:40:12 Finished compiler/proofs                                       2m36s   1GB
Dec 13 17:40:14 Starting candle/set-theory
Dec 13 17:41:58 Finished candle/set-theory                                     1m42s 580MB
Dec 13 17:42:00 Starting candle/syntax-lib
Dec 13 17:42:23 Finished candle/syntax-lib                                       21s 571MB
Dec 13 17:42:25 Starting candle/standard/syntax
Dec 13 17:45:26 Finished candle/standard/syntax                                2m59s 964MB
Dec 13 17:45:28 Starting candle/standard/semantics
Dec 13 17:47:57 Finished candle/standard/semantics                             2m27s 668MB
Dec 13 17:47:59 Starting candle/standard/monadic
Dec 13 17:50:48 Finished candle/standard/monadic                               2m46s   1GB
Dec 13 17:50:50 Starting candle/standard/ml_kernel
Dec 13 18:02:29 Finished candle/standard/ml_kernel                            11m37s   3GB
Dec 13 18:02:31 Starting candle/standard/opentheory
Dec 13 18:03:05 Finished candle/standard/opentheory                              32s 690MB
Dec 13 18:03:07 Starting characteristic/examples
Dec 13 18:05:25 Finished characteristic/examples                               2m15s   1GB
Dec 13 18:05:27 Starting tutorial/solutions
Dec 13 18:38:47 Finished tutorial/solutions                                   33m17s   9GB
Dec 13 18:38:49 Starting examples
Dec 13 18:46:39 Finished examples                                              7m48s   3GB
Dec 13 18:46:41 Starting examples/compilation
Dec 13 23:30:32 Finished examples/compilation                               4h43m48s  12GB
Dec 13 23:30:34 Starting examples/compilation/proofs
Dec 13 23:36:09 Finished examples/compilation/proofs                           5m33s   4GB
Dec 13 23:36:11 Starting compiler/benchmarks
Dec 14 01:20:19 Finished compiler/benchmarks                                1h44m06s  13GB
Dec 14 01:20:21 Starting translator/okasaki-examples
Dec 14 01:27:53 Finished translator/okasaki-examples                           7m30s   1GB
Dec 14 01:27:55 Starting translator/other-examples
Dec 14 01:35:13 Finished translator/other-examples                             7m15s   1GB
Dec 14 01:35:15 Starting compiler/parsing/tests
Dec 14 01:35:55 Finished compiler/parsing/tests                                  37s 378MB
Dec 14 01:35:57 Starting compiler/bootstrap/translation
Dec 14 10:11:44 Finished compiler/bootstrap/translation                     8h35m44s  37GB
Dec 14 10:11:46 Starting compiler/bootstrap/compilation/x64/64
Dec 15 12:05:00 Finished compiler/bootstrap/compilation/x64/64             25h53m12s  85GB
Dec 15 12:05:02 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 15 12:08:24 Finished compiler/bootstrap/compilation/x64/64/proofs          3m19s  23GB
Dec 15 12:08:26 Starting compiler/bootstrap/compilation/x64/32
Dec 16 13:09:30 Finished compiler/bootstrap/compilation/x64/32             25h01m02s  87GB
Dec 16 13:09:32 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 16 13:12:43 Finished compiler/bootstrap/compilation/x64/32/proofs          3m08s  22GB
Dec 16 13:12:45 SUCCESS