Job 907

CakeML:1525f6a5e39d324301a7e7deda924efe10b8ff3c
  Add semantics/alt_semantics to the build sequence [May 29 08:26:53]
#658 (build_alt_semantics)
Merging into:52270c049337b1915a61c946c535e43a0d2084b5
  Merge pull request #656 from CakeML/candle-rename-assume [May 28 09:49:29]
HOL:d959966a2480eb55d37647b77594fbb09c61d800
  timeout now actually raises FunctionTimeout [May 29 01:58:55]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

May 29 09:52:58 Claimed job
May 29 09:53:06 Building HOL
May 29 10:00:57 Starting developers
May 29 10:00:57 Finished developers                                               0s  27MB
May 29 10:00:58 Starting developers/bin
May 29 10:01:01 Finished developers/bin                                           2s 144MB
May 29 10:01:01 Starting semantics/ffi
May 29 10:01:35 Finished semantics/ffi                                           33s 589MB
May 29 10:01:35 Starting semantics
May 29 10:03:05 Finished semantics                                             1m30s   1GB
May 29 10:03:06 Starting semantics/proofs
May 29 10:06:03 Finished semantics/proofs                                      2m56s   1GB
May 29 10:06:03 Starting semantics/alt_semantics
May 29 10:06:09 Finished semantics/alt_semantics                                  5s 277MB
May 29 10:06:09 Starting semantics/alt_semantics/proofs
May 29 10:07:55 Finished semantics/alt_semantics/proofs                        1m45s 755MB
May 29 10:07:56 Starting basis/pure
May 29 10:11:27 Finished basis/pure                                            3m31s 828MB
May 29 10:11:27 Starting translator
May 29 10:13:05 Finished translator                                            1m37s   1GB
May 29 10:13:05 Starting compiler/parsing
May 29 10:14:04 Finished compiler/parsing                                        58s   2GB
May 29 10:14:04 Starting characteristic
May 29 10:19:13 Finished characteristic                                        5m08s   1GB
May 29 10:19:14 Starting translator/monadic
May 29 10:20:37 Finished translator/monadic                                    1m22s   1GB
May 29 10:20:37 Starting basis
May 29 10:37:32 Finished basis                                                16m54s   2GB
May 29 10:37:32 Starting compiler/inference
May 29 10:39:21 Finished compiler/inference                                    1m48s   1GB
May 29 10:39:21 Starting compiler/backend/reg_alloc
May 29 10:40:20 Finished compiler/backend/reg_alloc                              58s   1GB
May 29 10:40:21 Starting compiler/backend/gc
May 29 10:49:26 Finished compiler/backend/gc                                   9m05s   2GB
May 29 10:49:27 Starting compiler/backend
May 29 10:49:28 Finished compiler/backend                                         0s  43MB
May 29 10:49:28 Starting compiler/encoders/asm
May 29 10:49:28 Finished compiler/encoders/asm                                    0s  36MB
May 29 10:49:29 Starting compiler/encoders/x64
May 29 10:50:24 Finished compiler/encoders/x64                                   55s 806MB
May 29 10:50:24 Starting compiler/encoders/arm7
May 29 10:52:01 Finished compiler/encoders/arm7                                1m36s   1GB
May 29 10:52:02 Starting compiler/encoders/arm8
May 29 10:52:30 Finished compiler/encoders/arm8                                  28s 539MB
May 29 10:52:30 Starting compiler/encoders/mips
May 29 10:53:35 Finished compiler/encoders/mips                                1m03s 779MB
May 29 10:53:35 Starting compiler/encoders/riscv
May 29 10:54:51 Finished compiler/encoders/riscv                               1m15s 841MB
May 29 10:54:51 Starting compiler/encoders/ag32
May 29 10:55:06 Finished compiler/encoders/ag32                                  14s 686MB
May 29 10:55:07 Starting compiler/backend/x64
May 29 10:55:23 Finished compiler/backend/x64                                    15s   1GB
May 29 10:55:23 Starting compiler/backend/arm7
May 29 10:55:41 Finished compiler/backend/arm7                                   17s   1GB
May 29 10:55:41 Starting compiler/backend/arm8
May 29 10:55:57 Finished compiler/backend/arm8                                   15s   1GB
May 29 10:55:57 Starting compiler/backend/mips
May 29 10:56:14 Finished compiler/backend/mips                                   16s   1GB
May 29 10:56:14 Starting compiler/backend/riscv
May 29 10:56:31 Finished compiler/backend/riscv                                  16s   1GB
May 29 10:56:31 Starting compiler/backend/ag32
May 29 10:57:37 Finished compiler/backend/ag32                                 1m05s   1GB
May 29 10:57:37 Starting compiler/parsing/proofs
May 29 11:03:07 Finished compiler/parsing/proofs                               5m29s 861MB
May 29 11:03:07 Starting compiler/inference/proofs
May 29 11:05:46 Finished compiler/inference/proofs                             2m38s   1GB
May 29 11:05:47 Starting compiler/backend/semantics
May 29 11:12:57 Finished compiler/backend/semantics                            7m10s   1GB
May 29 11:12:58 Starting compiler/backend/reg_alloc/proofs
May 29 11:16:18 Finished compiler/backend/reg_alloc/proofs                     3m19s 705MB
May 29 11:16:18 Starting compiler/backend/proofs
May 29 11:55:00 Finished compiler/backend/proofs                              38m40s   3GB
May 29 11:55:00 Starting compiler/encoders/x64/proofs
May 29 12:05:09 Finished compiler/encoders/x64/proofs                         10m09s   4GB
May 29 12:05:09 Starting compiler/encoders/arm7/proofs
May 29 12:18:23 Finished compiler/encoders/arm7/proofs                        13m13s   5GB
May 29 12:18:23 Starting compiler/encoders/arm8/proofs
May 29 12:25:08 Finished compiler/encoders/arm8/proofs                         6m45s   1GB
May 29 12:25:09 Starting compiler/encoders/mips/proofs
May 29 12:35:19 Finished compiler/encoders/mips/proofs                        10m09s   2GB
May 29 12:35:19 Starting compiler/encoders/riscv/proofs
May 29 12:43:38 Finished compiler/encoders/riscv/proofs                        8m18s   1GB
May 29 12:43:38 Starting compiler/encoders/ag32/proofs
May 29 12:46:06 Finished compiler/encoders/ag32/proofs                         2m27s 687MB
May 29 12:46:06 Starting compiler/backend/x64/proofs
May 29 12:46:22 Finished compiler/backend/x64/proofs                             15s   1GB
May 29 12:46:22 Starting compiler/backend/arm7/proofs
May 29 12:46:40 Finished compiler/backend/arm7/proofs                            17s   1GB
May 29 12:46:40 Starting compiler/backend/arm8/proofs
May 29 12:46:57 Finished compiler/backend/arm8/proofs                            15s   1GB
May 29 12:46:57 Starting compiler/backend/mips/proofs
May 29 12:47:14 Finished compiler/backend/mips/proofs                            16s 971MB
May 29 12:47:14 Starting compiler/backend/riscv/proofs
May 29 12:47:31 Finished compiler/backend/riscv/proofs                           16s 974MB
May 29 12:47:31 Starting compiler/backend/ag32/proofs
May 29 12:56:27 Finished compiler/backend/ag32/proofs                          8m55s   1GB
May 29 12:56:27 Starting compiler/proofs
May 29 12:57:56 Finished compiler/proofs                                       1m28s   3GB
May 29 12:57:56 Starting candle/set-theory
May 29 12:58:21 Finished candle/set-theory                                       24s 772MB
May 29 12:58:22 Starting candle/syntax-lib
May 29 12:58:31 Finished candle/syntax-lib                                        9s 656MB
May 29 12:58:31 Starting candle/standard/syntax
May 29 13:00:12 Finished candle/standard/syntax                                1m40s   1GB
May 29 13:00:12 Starting candle/standard/semantics
May 29 13:01:45 Finished candle/standard/semantics                             1m32s   1GB
May 29 13:01:45 Starting candle/standard/monadic
May 29 13:03:16 Finished candle/standard/monadic                               1m30s   1GB
May 29 13:03:17 Starting candle/standard/ml_kernel
May 29 13:07:06 Finished candle/standard/ml_kernel                             3m49s   3GB
May 29 13:07:06 Starting candle/standard/opentheory
May 29 13:15:33 Finished candle/standard/opentheory                            8m26s   3GB
May 29 13:15:33 Starting candle/standard/opentheory/compilation
May 29 13:45:18 Finished candle/standard/opentheory/compilation               29m44s  19GB
May 29 13:45:18 Starting candle/standard/opentheory/compilation/proofs
May 29 13:46:06 Finished candle/standard/opentheory/compilation/proofs           48s   2GB
May 29 13:46:07 Starting characteristic/examples
May 29 13:47:32 Finished characteristic/examples                               1m25s   2GB
May 29 13:47:32 Starting tutorial/solutions
May 29 14:00:33 Finished tutorial/solutions                                   13m00s   6GB
May 29 14:00:33 Starting translator/monadic/examples
May 29 14:03:25 Finished translator/monadic/examples                           2m51s   2GB
May 29 14:03:25 Starting examples
May 29 14:12:10 Finished examples                                              8m44s   4GB
May 29 14:12:10 Starting examples/compilation/x64
May 29 16:13:23 Finished examples/compilation/x64                           2h01m11s  15GB
May 29 16:13:23 Starting examples/compilation/x64/proofs
May 29 16:14:56 Finished examples/compilation/x64/proofs                       1m32s   2GB
May 29 16:14:56 Starting examples/compilation/ag32
May 29 16:43:30 Finished examples/compilation/ag32                            28m32s   5GB
May 29 16:43:30 Starting examples/compilation/ag32/proofs
May 29 16:44:24 Finished examples/compilation/ag32/proofs                        54s   3GB
May 29 16:44:24 Starting translator/okasaki-examples
May 29 16:48:32 Finished translator/okasaki-examples                           4m06s   1GB
May 29 16:48:32 Starting translator/other-examples
May 29 16:51:52 Finished translator/other-examples                             3m19s   1GB
May 29 16:51:52 Starting compiler/parsing/tests
May 29 16:52:16 Finished compiler/parsing/tests                                  24s 524MB
May 29 16:52:16 Starting compiler/inference/tests
May 29 16:56:26 Finished compiler/inference/tests                              4m08s   3GB
May 29 16:56:26 Starting compiler/bootstrap/translation
May 29 19:25:20 Finished compiler/bootstrap/translation                     2h28m53s  41GB
May 29 19:25:20 Starting unverified/sexpr-bootstrap/x64/64
May 29 19:33:01 Finished unverified/sexpr-bootstrap/x64/64                     7m40s   3GB
May 29 19:33:02 Starting unverified/sexpr-bootstrap/x64/32
May 29 19:37:36 Finished unverified/sexpr-bootstrap/x64/32                     4m34s   5GB
May 29 19:37:36 Starting compiler/benchmarks
May 29 20:15:02 Finished compiler/benchmarks                                  37m24s   1GB
May 29 20:15:02 Starting compiler/bootstrap/compilation/x64/64
May 30 06:41:30 Finished compiler/bootstrap/compilation/x64/64             10h26m27s  62GB
May 30 06:41:31 Starting compiler/bootstrap/compilation/x64/64/proofs
May 30 06:44:15 Finished compiler/bootstrap/compilation/x64/64/proofs          2m44s  10GB
May 30 06:44:16 Starting compiler/bootstrap/compilation/x64/32
May 30 16:16:40 Finished compiler/bootstrap/compilation/x64/32              9h32m23s  64GB
May 30 16:16:40 Starting compiler/bootstrap/compilation/x64/32/proofs
May 30 16:19:08 Finished compiler/bootstrap/compilation/x64/32/proofs          2m27s  10GB
May 30 16:19:08 Starting compiler/bootstrap/compilation/ag32/32
May 31 02:07:23 Finished compiler/bootstrap/compilation/ag32/32             9h48m14s  64GB
May 31 02:07:24 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 31 02:27:28 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m04s  12GB
May 31 02:27:28 SUCCESS