Job 1093

CakeML:dee8a5c2ef96f2f6ba0c0a583d7d6a655470840d
  Merge pull request #704 from CakeML/sexpr-bootstrap-fix [Nov 14 07:43:57]
HOL:ca71e46c32fd6a11162c9640ee7006dfe1c6fabd
  Remove unnecessary CLINE_OPTIONS in tests that break Moscow ML build [Nov 13 22:33:35]
Machine:stove 4.15.0-55-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

Nov 15 03:58:26 Claimed job
Nov 15 03:58:31 Building HOL
Nov 15 04:08:47 Starting developers
Nov 15 04:08:51 Finished developers                                               3s 115MB
Nov 15 04:08:51 Starting developers/bin
Nov 15 04:08:57 Finished developers/bin                                           6s 963MB
Nov 15 04:08:57 Starting semantics/ffi
Nov 15 04:09:06 Finished semantics/ffi                                            9s 249MB
Nov 15 04:09:06 Starting semantics
Nov 15 04:10:28 Finished semantics                                             1m21s   1GB
Nov 15 04:10:28 Starting semantics/proofs
Nov 15 04:13:17 Finished semantics/proofs                                      2m49s   1GB
Nov 15 04:13:17 Starting semantics/alt_semantics
Nov 15 04:13:24 Finished semantics/alt_semantics                                  6s 290MB
Nov 15 04:13:24 Starting semantics/alt_semantics/proofs
Nov 15 04:15:08 Finished semantics/alt_semantics/proofs                        1m44s 800MB
Nov 15 04:15:08 Starting basis/pure
Nov 15 04:17:46 Finished basis/pure                                            2m37s 752MB
Nov 15 04:17:46 Starting translator
Nov 15 04:19:26 Finished translator                                            1m40s   1GB
Nov 15 04:19:26 Starting compiler/parsing
Nov 15 04:20:21 Finished compiler/parsing                                        54s   1GB
Nov 15 04:20:22 Starting characteristic
Nov 15 04:25:27 Finished characteristic                                        5m05s   2GB
Nov 15 04:25:27 Starting translator/monadic
Nov 15 04:26:52 Finished translator/monadic                                    1m25s   1GB
Nov 15 04:26:52 Starting basis
Nov 15 04:45:51 Finished basis                                                18m59s   2GB
Nov 15 04:45:51 Starting compiler/inference
Nov 15 04:47:33 Finished compiler/inference                                    1m41s   1GB
Nov 15 04:47:33 Starting compiler/backend/reg_alloc
Nov 15 04:48:30 Finished compiler/backend/reg_alloc                              57s   1GB
Nov 15 04:48:30 Starting compiler/backend/gc
Nov 15 04:51:29 Finished compiler/backend/gc                                   2m58s   1GB
Nov 15 04:51:29 Starting compiler/backend
Nov 15 04:54:57 Finished compiler/backend                                      3m28s   2GB
Nov 15 04:54:57 Starting compiler/encoders/asm
Nov 15 04:55:16 Finished compiler/encoders/asm                                   19s 837MB
Nov 15 04:55:16 Starting compiler/encoders/x64
Nov 15 04:56:08 Finished compiler/encoders/x64                                   51s 741MB
Nov 15 04:56:08 Starting compiler/encoders/arm7
Nov 15 04:57:41 Finished compiler/encoders/arm7                                1m32s   1GB
Nov 15 04:57:41 Starting compiler/encoders/arm8
Nov 15 04:58:11 Finished compiler/encoders/arm8                                  30s 686MB
Nov 15 04:58:11 Starting compiler/encoders/mips
Nov 15 04:59:13 Finished compiler/encoders/mips                                1m01s   1GB
Nov 15 04:59:13 Starting compiler/encoders/riscv
Nov 15 05:00:27 Finished compiler/encoders/riscv                               1m13s 955MB
Nov 15 05:00:27 Starting compiler/encoders/ag32
Nov 15 05:00:43 Finished compiler/encoders/ag32                                  16s 598MB
Nov 15 05:00:43 Starting compiler/backend/x64
Nov 15 05:01:00 Finished compiler/backend/x64                                    16s   1GB
Nov 15 05:01:00 Starting compiler/backend/arm7
Nov 15 05:01:18 Finished compiler/backend/arm7                                   17s   1GB
Nov 15 05:01:18 Starting compiler/backend/arm8
Nov 15 05:01:34 Finished compiler/backend/arm8                                   16s   1GB
Nov 15 05:01:34 Starting compiler/backend/mips
Nov 15 05:01:51 Finished compiler/backend/mips                                   16s   1GB
Nov 15 05:01:51 Starting compiler/backend/riscv
Nov 15 05:02:08 Finished compiler/backend/riscv                                  16s   1GB
Nov 15 05:02:08 Starting compiler/backend/ag32
Nov 15 05:03:12 Finished compiler/backend/ag32                                 1m04s   1GB
Nov 15 05:03:12 Starting compiler/parsing/proofs
Nov 15 05:08:34 Finished compiler/parsing/proofs                               5m21s   1GB
Nov 15 05:08:34 Starting compiler/inference/proofs
Nov 15 05:11:13 Finished compiler/inference/proofs                             2m38s   1GB
Nov 15 05:11:13 Starting compiler/backend/semantics
Nov 15 05:16:39 Finished compiler/backend/semantics                            5m26s   2GB
Nov 15 05:16:40 Starting compiler/backend/reg_alloc/proofs
Nov 15 05:19:44 Finished compiler/backend/reg_alloc/proofs                     3m04s   1GB
Nov 15 05:19:44 Starting compiler/backend/proofs
Nov 15 05:56:20 Finished compiler/backend/proofs                              36m35s   4GB
Nov 15 05:56:20 Starting compiler/encoders/x64/proofs
Nov 15 06:04:49 Finished compiler/encoders/x64/proofs                          8m29s   5GB
Nov 15 06:04:49 Starting compiler/encoders/arm7/proofs
Nov 15 06:16:32 Finished compiler/encoders/arm7/proofs                        11m42s   3GB
Nov 15 06:16:32 Starting compiler/encoders/arm8/proofs
Nov 15 06:22:30 Finished compiler/encoders/arm8/proofs                         5m58s   1GB
Nov 15 06:22:30 Starting compiler/encoders/mips/proofs
Nov 15 06:31:29 Finished compiler/encoders/mips/proofs                         8m59s   2GB
Nov 15 06:31:30 Starting compiler/encoders/riscv/proofs
Nov 15 06:39:17 Finished compiler/encoders/riscv/proofs                        7m47s   1GB
Nov 15 06:39:17 Starting compiler/encoders/ag32/proofs
Nov 15 06:41:33 Finished compiler/encoders/ag32/proofs                         2m15s 699MB
Nov 15 06:41:33 Starting compiler/backend/x64/proofs
Nov 15 06:41:50 Finished compiler/backend/x64/proofs                             16s 984MB
Nov 15 06:41:50 Starting compiler/backend/arm7/proofs
Nov 15 06:42:07 Finished compiler/backend/arm7/proofs                            17s   1GB
Nov 15 06:42:07 Starting compiler/backend/arm8/proofs
Nov 15 06:42:23 Finished compiler/backend/arm8/proofs                            15s 779MB
Nov 15 06:42:23 Starting compiler/backend/mips/proofs
Nov 15 06:42:41 Finished compiler/backend/mips/proofs                            17s   1GB
Nov 15 06:42:41 Starting compiler/backend/riscv/proofs
Nov 15 06:42:57 Finished compiler/backend/riscv/proofs                           16s   1GB
Nov 15 06:42:57 Starting compiler/backend/ag32/proofs
Nov 15 06:51:16 Finished compiler/backend/ag32/proofs                          8m19s   2GB
Nov 15 06:51:16 Starting compiler/proofs
Nov 15 06:52:54 Finished compiler/proofs                                       1m37s   3GB
Nov 15 06:52:54 Starting candle/set-theory
Nov 15 06:53:20 Finished candle/set-theory                                       26s 798MB
Nov 15 06:53:20 Starting candle/syntax-lib
Nov 15 06:53:30 Finished candle/syntax-lib                                        9s 480MB
Nov 15 06:53:30 Starting candle/standard/syntax
Nov 15 06:55:08 Finished candle/standard/syntax                                1m37s 950MB
Nov 15 06:55:08 Starting candle/standard/semantics
Nov 15 06:56:42 Finished candle/standard/semantics                             1m33s   1GB
Nov 15 06:56:42 Starting candle/standard/monadic
Nov 15 06:58:11 Finished candle/standard/monadic                               1m28s   1GB
Nov 15 06:58:11 Starting candle/standard/ml_kernel
Nov 15 07:01:58 Finished candle/standard/ml_kernel                             3m47s   2GB
Nov 15 07:01:59 Starting candle/standard/opentheory
Nov 15 07:10:14 Finished candle/standard/opentheory                            8m15s   3GB
Nov 15 07:10:15 Starting candle/standard/opentheory/compilation
Nov 15 07:39:00 Finished candle/standard/opentheory/compilation               28m45s   9GB
Nov 15 07:39:00 Starting candle/standard/opentheory/compilation/proofs
Nov 15 07:39:44 Finished candle/standard/opentheory/compilation/proofs           44s   2GB
Nov 15 07:39:44 Starting characteristic/examples
Nov 15 07:41:06 Finished characteristic/examples                               1m21s   2GB
Nov 15 07:41:06 Starting tutorial/solutions
Nov 15 07:53:25 Finished tutorial/solutions                                   12m18s   9GB
Nov 15 07:53:25 Starting translator/monadic/examples
Nov 15 07:56:10 Finished translator/monadic/examples                           2m45s   2GB
Nov 15 07:56:10 Starting examples
Nov 15 08:04:15 Finished examples                                              8m05s   4GB
Nov 15 08:04:15 Starting examples/compilation/x64
Nov 15 10:02:33 Finished examples/compilation/x64                           1h58m17s  14GB
Nov 15 10:02:33 Starting examples/compilation/x64/proofs
Nov 15 10:04:30 Finished examples/compilation/x64/proofs                       1m57s   2GB
Nov 15 10:04:30 Starting examples/compilation/ag32
Nov 15 10:31:56 Finished examples/compilation/ag32                            27m26s   5GB
Nov 15 10:31:56 Starting examples/compilation/ag32/proofs
Nov 15 10:32:49 Finished examples/compilation/ag32/proofs                        52s   3GB
Nov 15 10:32:49 Starting translator/okasaki-examples
Nov 15 10:36:42 Finished translator/okasaki-examples                           3m53s   1GB
Nov 15 10:36:42 Starting translator/other-examples
Nov 15 10:38:24 Finished translator/other-examples                             1m41s   1GB
Nov 15 10:38:24 Starting compiler/parsing/tests
Nov 15 10:38:48 Finished compiler/parsing/tests                                  23s 581MB
Nov 15 10:38:48 Starting compiler/inference/tests
Nov 15 10:42:44 Finished compiler/inference/tests                              3m56s   5GB
Nov 15 10:42:44 Starting compiler/bootstrap/translation
Nov 15 13:06:26 Finished compiler/bootstrap/translation                     2h23m41s  39GB
Nov 15 13:06:26 Starting unverified/sexpr-bootstrap/x64/64
Nov 15 13:19:19 Finished unverified/sexpr-bootstrap/x64/64                    12m52s   3GB
Nov 15 13:19:19 Starting unverified/sexpr-bootstrap/x64/32
Nov 15 13:28:23 Finished unverified/sexpr-bootstrap/x64/32                     9m03s   5GB
Nov 15 13:28:23 Starting compiler/benchmarks
Nov 15 13:28:25 Finished compiler/benchmarks                                      1s  31MB
Nov 15 13:28:25 Starting compiler/bootstrap/compilation/x64/64
Nov 16 00:42:05 Finished compiler/bootstrap/compilation/x64/64             11h13m39s  64GB
Nov 16 00:42:05 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 16 00:46:06 Finished compiler/bootstrap/compilation/x64/64/proofs          4m00s   5GB
Nov 16 00:46:06 Starting compiler/bootstrap/compilation/x64/32
Nov 16 11:38:06 Finished compiler/bootstrap/compilation/x64/32             10h51m59s  64GB
Nov 16 11:38:06 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 16 11:40:56 Finished compiler/bootstrap/compilation/x64/32/proofs          2m49s   4GB
Nov 16 11:40:56 Starting compiler/bootstrap/compilation/ag32/32 Nov 16 11:40:56 2424s