Job 2371

CakeML:d27a900b1847c8a30856a402ff19af7db07106ec
  Update for shared memory [Apr 21 16:49:00]
#985 (cvunify)
Merging into:9c063a7d92cadb36c49a6e45856ae0db734dc9e5
  Merge pull request #989 from CakeML/pan_errors [Apr 11 22:24:05]
HOL:244c07da3e8592a9c4b1754a2c93c83f0da5759e
  Fix test broken by arrival of rationals into dependencies [Apr 18 07:17:44]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Apr 21 18:57:24 Claimed job
Apr 21 18:57:25 Reusing HOL
Apr 21 18:58:06 Starting developers
Apr 21 18:58:11 Finished developers                                               5s 101MB
Apr 21 18:58:11 Starting developers/bin
Apr 21 18:58:20 Finished developers/bin                                           7s   1GB
Apr 21 18:58:20 Starting compiler/proofs
Apr 22 08:42:39 Resuming compiler/proofs
Apr 22 10:05:05 Finished compiler/proofs                                    1h22m26s  19GB
Apr 22 10:05:05 Starting compiler/bootstrap/translation
Apr 22 18:22:38 Finished compiler/bootstrap/translation                     8h17m32s  43GB
Apr 22 18:22:38 Starting semantics/ffi
Apr 22 18:22:44 Finished semantics/ffi                                            5s 217MB
Apr 22 18:22:44 Starting semantics
Apr 22 18:22:46 Finished semantics                                                1s  21MB
Apr 22 18:22:46 Starting semantics/proofs
Apr 22 18:23:18 Finished semantics/proofs                                        31s   1GB
Apr 22 18:23:18 Starting semantics/alt_semantics
Apr 22 18:23:50 Finished semantics/alt_semantics                                 32s 759MB
Apr 22 18:23:50 Starting semantics/alt_semantics/proofs
Apr 22 18:35:44 Finished semantics/alt_semantics/proofs                       11m53s   2GB
Apr 22 18:35:44 Starting basis/pure
Apr 22 18:35:46 Finished basis/pure                                               1s  22MB
Apr 22 18:35:46 Starting translator
Apr 22 18:37:38 Finished translator                                            1m51s   2GB
Apr 22 18:37:38 Starting compiler/parsing
Apr 22 18:37:39 Finished compiler/parsing                                         1s  18MB
Apr 22 18:37:39 Starting characteristic
Apr 22 18:37:41 Finished characteristic                                           1s  26MB
Apr 22 18:37:41 Starting translator/monadic
Apr 22 18:37:43 Finished translator/monadic                                       1s  19MB
Apr 22 18:37:43 Starting basis
Apr 22 18:41:32 Finished basis                                                 3m48s   3GB
Apr 22 18:41:32 Starting compiler/inference
Apr 22 18:41:35 Finished compiler/inference                                       2s  34MB
Apr 22 18:41:35 Starting compiler/backend/reg_alloc
Apr 22 18:41:37 Finished compiler/backend/reg_alloc                               1s  19MB
Apr 22 18:41:37 Starting compiler/backend/gc
Apr 22 18:41:39 Finished compiler/backend/gc                                      2s  24MB
Apr 22 18:41:39 Starting compiler/backend
Apr 22 18:41:52 Finished compiler/backend                                        12s 812MB
Apr 22 18:41:52 Starting compiler/encoders/asm
Apr 22 18:41:53 Finished compiler/encoders/asm                                    1s  22MB
Apr 22 18:41:53 Starting compiler/encoders/x64
Apr 22 18:41:55 Finished compiler/encoders/x64                                    1s  24MB
Apr 22 18:41:55 Starting compiler/encoders/arm7
Apr 22 18:41:57 Finished compiler/encoders/arm7                                   1s  25MB
Apr 22 18:41:57 Starting compiler/encoders/arm8
Apr 22 18:41:59 Finished compiler/encoders/arm8                                   1s  21MB
Apr 22 18:41:59 Starting compiler/encoders/arm8_asl
Apr 22 18:45:14 Finished compiler/encoders/arm8_asl                            3m14s   1GB
Apr 22 18:45:14 Starting compiler/encoders/mips
Apr 22 18:45:16 Finished compiler/encoders/mips                                   1s  20MB
Apr 22 18:45:16 Starting compiler/encoders/riscv
Apr 22 18:45:18 Finished compiler/encoders/riscv                                  1s  24MB
Apr 22 18:45:18 Starting compiler/encoders/ag32
Apr 22 18:45:20 Finished compiler/encoders/ag32                                   1s  23MB
Apr 22 18:45:20 Starting compiler/backend/x64
Apr 22 18:45:22 Finished compiler/backend/x64                                     2s  27MB
Apr 22 18:45:22 Starting compiler/backend/arm7
Apr 22 18:45:25 Finished compiler/backend/arm7                                    2s  23MB
Apr 22 18:45:25 Starting compiler/backend/arm8
Apr 22 18:45:27 Finished compiler/backend/arm8                                    2s  23MB
Apr 22 18:45:27 Starting compiler/backend/mips
Apr 22 18:45:29 Finished compiler/backend/mips                                    2s  29MB
Apr 22 18:45:29 Starting compiler/backend/riscv
Apr 22 18:45:32 Finished compiler/backend/riscv                                   2s  25MB
Apr 22 18:45:32 Starting compiler/backend/ag32
Apr 22 18:46:58 Finished compiler/backend/ag32                                 1m25s   1GB
Apr 22 18:46:58 Starting compiler/parsing/proofs
Apr 22 18:46:59 Finished compiler/parsing/proofs                                  1s  21MB
Apr 22 18:46:59 Starting compiler/inference/proofs
Apr 22 18:47:02 Finished compiler/inference/proofs                                2s  32MB
Apr 22 18:47:02 Starting compiler/backend/semantics
Apr 22 18:50:52 Finished compiler/backend/semantics                            3m49s   1GB
Apr 22 18:50:52 Starting compiler/backend/reg_alloc/proofs
Apr 22 18:50:54 Finished compiler/backend/reg_alloc/proofs                        1s  20MB
Apr 22 18:50:54 Starting compiler/backend/proofs
Apr 22 18:51:55 Finished compiler/backend/proofs                               1m00s   2GB
Apr 22 18:51:55 Starting compiler/backend/serialiser
Apr 22 18:51:57 Finished compiler/backend/serialiser                              2s  24MB
Apr 22 18:51:57 Starting compiler/encoders/x64/proofs
Apr 22 19:01:46 Finished compiler/encoders/x64/proofs                          9m49s   6GB
Apr 22 19:01:46 Starting compiler/encoders/arm7/proofs
Apr 22 19:15:39 Finished compiler/encoders/arm7/proofs                        13m52s   3GB
Apr 22 19:15:39 Starting compiler/encoders/arm8/proofs
Apr 22 19:22:37 Finished compiler/encoders/arm8/proofs                         6m57s   1GB
Apr 22 19:22:37 Starting compiler/encoders/arm8_asl/proofs
Apr 22 19:38:35 Finished compiler/encoders/arm8_asl/proofs                    15m58s   1GB
Apr 22 19:38:35 Starting compiler/encoders/mips/proofs
Apr 22 19:49:15 Finished compiler/encoders/mips/proofs                        10m39s   2GB
Apr 22 19:49:15 Starting compiler/encoders/riscv/proofs
Apr 22 19:58:12 Finished compiler/encoders/riscv/proofs                        8m56s   1GB
Apr 22 19:58:12 Starting compiler/encoders/ag32/proofs
Apr 22 20:00:48 Finished compiler/encoders/ag32/proofs                         2m36s   1GB
Apr 22 20:00:48 Starting compiler/backend/x64/proofs
Apr 22 20:01:19 Finished compiler/backend/x64/proofs                             30s   1GB
Apr 22 20:01:19 Starting compiler/backend/arm7/proofs
Apr 22 20:01:55 Finished compiler/backend/arm7/proofs                            36s   2GB
Apr 22 20:01:55 Starting compiler/backend/arm8/proofs
Apr 22 20:02:26 Finished compiler/backend/arm8/proofs                            30s   1GB
Apr 22 20:02:26 Starting compiler/backend/arm8_asl
Apr 22 20:02:52 Finished compiler/backend/arm8_asl                               25s   2GB
Apr 22 20:02:52 Starting compiler/backend/mips/proofs
Apr 22 20:03:23 Finished compiler/backend/mips/proofs                            31s   1GB
Apr 22 20:03:23 Starting compiler/backend/riscv/proofs
Apr 22 20:03:59 Finished compiler/backend/riscv/proofs                           35s   2GB
Apr 22 20:03:59 Starting compiler/backend/ag32/proofs
Apr 22 20:18:25 Finished compiler/backend/ag32/proofs                         14m25s   3GB
Apr 22 20:18:25 Starting compiler/backend/cv_compute
Apr 22 20:19:37 Finished compiler/backend/cv_compute                           1m11s   2GB
Apr 22 20:19:37 Starting compiler/cv_translator
Apr 22 20:19:37 SysErr ("No such file or directory", SOME ENOENT)
Apr 22 20:19:37 FAILED: compiler/cv_translator