Job 749

CakeML:2d7716e211a3e687d5ba9f237de202f78cbc253b
  Merge pull request #619 from CakeML/reader-jlamp [Mar 05 06:58:18]
HOL:7197e32dfa7547453f53b1758cc438b7a7a54c95
  Fix help system build under Moscow ML given removal of 2.01 support [Mar 03 11:05:46]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Mar 06 02:15:02 Claimed job
Mar 06 02:15:09 Building HOL
Mar 06 02:24:28 Starting developers
Mar 06 02:24:31 Finished developers                                               2s  19MB
Mar 06 02:24:32 Starting developers/bin
Mar 06 02:25:44 Finished developers/bin                                        1m11s 918MB
Mar 06 02:25:45 Starting semantics/ffi
Mar 06 02:26:23 Finished semantics/ffi                                           37s 518MB
Mar 06 02:26:24 Starting semantics
Mar 06 02:28:00 Finished semantics                                             1m35s   1GB
Mar 06 02:28:01 Starting semantics/proofs
Mar 06 02:30:57 Finished semantics/proofs                                      2m55s   1GB
Mar 06 02:30:58 Starting basis/pure
Mar 06 02:34:32 Finished basis/pure                                            3m33s 735MB
Mar 06 02:34:32 Starting translator
Mar 06 02:36:13 Finished translator                                            1m40s   1GB
Mar 06 02:36:14 Starting compiler/parsing
Mar 06 02:37:11 Finished compiler/parsing                                        56s   1GB
Mar 06 02:37:11 Starting characteristic
Mar 06 02:41:25 Finished characteristic                                        4m12s   1GB
Mar 06 02:41:26 Starting translator/monadic
Mar 06 02:42:54 Finished translator/monadic                                    1m27s   1GB
Mar 06 02:42:55 Starting basis
Mar 06 02:59:08 Finished basis                                                16m10s   2GB
Mar 06 02:59:08 Starting compiler/inference
Mar 06 03:00:59 Finished compiler/inference                                    1m50s   1GB
Mar 06 03:01:00 Starting compiler/backend/reg_alloc
Mar 06 03:01:52 Finished compiler/backend/reg_alloc                              51s   1GB
Mar 06 03:01:53 Starting compiler/backend/gc
Mar 06 03:10:53 Finished compiler/backend/gc                                   8m59s   1GB
Mar 06 03:10:53 Starting compiler/backend
Mar 06 03:10:57 Finished compiler/backend                                         2s  16MB
Mar 06 03:10:57 Starting compiler/encoders/asm
Mar 06 03:10:59 Finished compiler/encoders/asm                                    1s  15MB
Mar 06 03:11:00 Starting compiler/encoders/x64
Mar 06 03:12:00 Finished compiler/encoders/x64                                   59s 934MB
Mar 06 03:12:01 Starting compiler/encoders/arm6
Mar 06 03:13:39 Finished compiler/encoders/arm6                                1m37s   1GB
Mar 06 03:13:40 Starting compiler/encoders/arm8
Mar 06 03:14:11 Finished compiler/encoders/arm8                                  31s 855MB
Mar 06 03:14:12 Starting compiler/encoders/mips
Mar 06 03:15:18 Finished compiler/encoders/mips                                1m05s   1GB
Mar 06 03:15:18 Starting compiler/encoders/riscv
Mar 06 03:16:26 Finished compiler/encoders/riscv                               1m07s 816MB
Mar 06 03:16:27 Starting compiler/encoders/ag32
Mar 06 03:16:45 Finished compiler/encoders/ag32                                  17s 745MB
Mar 06 03:16:45 Starting compiler/backend/x64
Mar 06 03:17:04 Finished compiler/backend/x64                                    18s 916MB
Mar 06 03:17:05 Starting compiler/backend/arm6
Mar 06 03:17:24 Finished compiler/backend/arm6                                   18s   1GB
Mar 06 03:17:25 Starting compiler/backend/arm8
Mar 06 03:17:44 Finished compiler/backend/arm8                                   18s   1GB
Mar 06 03:17:44 Starting compiler/backend/mips
Mar 06 03:18:04 Finished compiler/backend/mips                                   18s   1GB
Mar 06 03:18:04 Starting compiler/backend/riscv
Mar 06 03:18:23 Finished compiler/backend/riscv                                  18s   1GB
Mar 06 03:18:24 Starting compiler/backend/ag32
Mar 06 03:19:32 Finished compiler/backend/ag32                                 1m07s   1GB
Mar 06 03:19:33 Starting compiler/parsing/proofs
Mar 06 03:25:01 Finished compiler/parsing/proofs                               5m28s 981MB
Mar 06 03:25:02 Starting compiler/inference/proofs
Mar 06 03:27:41 Finished compiler/inference/proofs                             2m38s   1GB
Mar 06 03:27:42 Starting compiler/backend/semantics
Mar 06 03:34:31 Finished compiler/backend/semantics                            6m49s   1GB
Mar 06 03:34:32 Starting compiler/backend/reg_alloc/proofs
Mar 06 03:37:10 Finished compiler/backend/reg_alloc/proofs                     2m37s   1GB
Mar 06 03:37:11 Starting compiler/backend/proofs
Mar 06 04:13:34 Finished compiler/backend/proofs                              36m22s   3GB
Mar 06 04:13:34 Starting compiler/encoders/x64/proofs
Mar 06 04:23:29 Finished compiler/encoders/x64/proofs                          9m54s   4GB
Mar 06 04:23:30 Starting compiler/encoders/arm6/proofs
Mar 06 04:36:51 Finished compiler/encoders/arm6/proofs                        13m20s   3GB
Mar 06 04:36:52 Starting compiler/encoders/arm8/proofs
Mar 06 04:42:34 Finished compiler/encoders/arm8/proofs                         5m41s   1GB
Mar 06 04:42:34 Starting compiler/encoders/mips/proofs
Mar 06 04:52:17 Finished compiler/encoders/mips/proofs                         9m42s   2GB
Mar 06 04:52:18 Starting compiler/encoders/riscv/proofs
Mar 06 04:59:46 Finished compiler/encoders/riscv/proofs                        7m27s   1GB
Mar 06 04:59:47 Starting compiler/encoders/ag32/proofs
Mar 06 05:02:16 Finished compiler/encoders/ag32/proofs                         2m28s 685MB
Mar 06 05:02:17 Starting compiler/backend/x64/proofs
Mar 06 05:02:36 Finished compiler/backend/x64/proofs                             19s 831MB
Mar 06 05:02:37 Starting compiler/backend/arm6/proofs
Mar 06 05:02:59 Finished compiler/backend/arm6/proofs                            21s   1GB
Mar 06 05:03:00 Starting compiler/backend/arm8/proofs
Mar 06 05:03:20 Finished compiler/backend/arm8/proofs                            18s   1GB
Mar 06 05:03:20 Starting compiler/backend/mips/proofs
Mar 06 05:03:42 Finished compiler/backend/mips/proofs                            20s   1GB
Mar 06 05:03:42 Starting compiler/backend/riscv/proofs
Mar 06 05:04:03 Finished compiler/backend/riscv/proofs                           20s   1GB
Mar 06 05:04:04 Starting compiler/backend/ag32/proofs
Mar 06 05:12:39 Finished compiler/backend/ag32/proofs                          8m34s   2GB
Mar 06 05:12:40 Starting compiler/proofs
Mar 06 05:14:14 Finished compiler/proofs                                       1m33s   2GB
Mar 06 05:14:15 Starting candle/set-theory
Mar 06 05:14:42 Finished candle/set-theory                                       26s 714MB
Mar 06 05:14:43 Starting candle/syntax-lib
Mar 06 05:14:54 Finished candle/syntax-lib                                       10s 601MB
Mar 06 05:14:54 Starting candle/standard/syntax
Mar 06 05:16:38 Finished candle/standard/syntax                                1m43s 928MB
Mar 06 05:16:39 Starting candle/standard/semantics
Mar 06 05:18:17 Finished candle/standard/semantics                             1m37s   1GB
Mar 06 05:18:18 Starting candle/standard/monadic
Mar 06 05:19:51 Finished candle/standard/monadic                               1m32s   1GB
Mar 06 05:19:52 Starting candle/standard/ml_kernel
Mar 06 05:23:34 Finished candle/standard/ml_kernel                             3m41s   2GB
Mar 06 05:23:35 Starting candle/standard/opentheory
Mar 06 05:31:53 Finished candle/standard/opentheory                            8m17s   3GB
Mar 06 05:31:54 Starting candle/standard/opentheory/compilation
Mar 06 06:01:48 Finished candle/standard/opentheory/compilation               29m53s  17GB
Mar 06 06:01:48 Starting candle/standard/opentheory/compilation/proofs
Mar 06 06:02:27 Finished candle/standard/opentheory/compilation/proofs           38s   3GB
Mar 06 06:02:28 Starting characteristic/examples
Mar 06 06:03:56 Finished characteristic/examples                               1m27s   2GB
Mar 06 06:03:56 Starting tutorial/solutions
Mar 06 06:16:54 Finished tutorial/solutions                                   12m56s   6GB
Mar 06 06:16:54 Starting translator/monadic/examples
Mar 06 06:19:20 Finished translator/monadic/examples                           2m25s   2GB
Mar 06 06:19:21 Starting examples
Mar 06 06:26:43 Finished examples                                              7m21s   3GB
Mar 06 06:26:44 Starting examples/compilation/x64
Mar 06 08:20:19 Finished examples/compilation/x64                           1h53m34s  13GB
Mar 06 08:20:20 Starting examples/compilation/x64/proofs
Mar 06 08:21:46 Finished examples/compilation/x64/proofs                       1m24s   2GB
Mar 06 08:21:46 Starting examples/compilation/ag32
Mar 06 08:49:36 Finished examples/compilation/ag32                            27m49s   5GB
Mar 06 08:49:37 Starting examples/compilation/ag32/proofs
Mar 06 08:50:36 Finished examples/compilation/ag32/proofs                        58s   3GB
Mar 06 08:50:37 Starting translator/okasaki-examples
Mar 06 08:54:35 Finished translator/okasaki-examples                           3m58s   1GB
Mar 06 08:54:36 Starting translator/other-examples
Mar 06 08:58:25 Finished translator/other-examples                             3m48s   1GB
Mar 06 08:58:26 Starting compiler/parsing/tests
Mar 06 08:58:52 Finished compiler/parsing/tests                                  25s 547MB
Mar 06 08:58:53 Starting compiler/inference/tests
Mar 06 09:03:01 Finished compiler/inference/tests                              4m07s   5GB
Mar 06 09:03:02 Starting compiler/bootstrap/translation
Mar 06 11:27:32 Finished compiler/bootstrap/translation                     2h24m29s  40GB
Mar 06 11:27:33 Starting unverified/sexpr-bootstrap/x64/64
Mar 06 11:35:02 Finished unverified/sexpr-bootstrap/x64/64                     7m28s   3GB
Mar 06 11:35:03 Starting unverified/sexpr-bootstrap/x64/32
Mar 06 11:40:30 Finished unverified/sexpr-bootstrap/x64/32                     5m25s   6GB
Mar 06 11:40:30 Starting compiler/benchmarks
Mar 06 11:40:38 Finished compiler/benchmarks                                      6s  23MB
Mar 06 11:40:38 Starting compiler/bootstrap/compilation/x64/64
Mar 06 22:52:10 Finished compiler/bootstrap/compilation/x64/64             11h11m29s  64GB
Mar 06 22:52:11 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 06 22:55:30 Finished compiler/bootstrap/compilation/x64/64/proofs          3m18s   5GB
Mar 06 22:55:30 Starting compiler/bootstrap/compilation/x64/32
Mar 07 08:14:15 Finished compiler/bootstrap/compilation/x64/32              9h18m42s  64GB
Mar 07 08:14:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 07 08:17:13 Finished compiler/bootstrap/compilation/x64/32/proofs          2m56s   4GB
Mar 07 08:17:14 Starting compiler/bootstrap/compilation/ag32/32
Mar 07 18:10:09 Finished compiler/bootstrap/compilation/ag32/32             9h52m54s  64GB
Mar 07 18:10:09 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 07 18:38:47 Finished compiler/bootstrap/compilation/ag32/32/proofs        28m36s  14GB
Mar 07 18:38:48 SUCCESS