CakeML Regression Test

Job 1158

CakeML:1fea5762b17e9323633822e333264b443eb3d2f1
  Merge remote-tracking branch 'origin/master' into flat-to-clos [Jan 24 08:10:43]
#720 (flat-to-clos)
Merging into:1f6c50c6c599a0aeb290d167b53499e9b5fa72a9
  Merge pull request #719 from talsewell/master-suc [Jan 24 07:54:50]
HOL:b219f4bb4132ea21f42769a8edf7e3abde4cc48d
  emacs-mode: some indentation tweaks [Jan 22 06:44:58]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 24 08:11:47 Claimed job
Jan 24 08:11:54 Building HOL
Jan 24 08:36:41 Starting developers
Jan 24 08:36:46 Finished developers                                               5s 122MB
Jan 24 08:36:47 Starting developers/bin
Jan 24 08:36:56 Finished developers/bin                                           8s 175MB
Jan 24 08:36:56 Starting semantics/ffi
Jan 24 08:37:20 Finished semantics/ffi                                           23s 215MB
Jan 24 08:37:20 Starting semantics
Jan 24 08:40:37 Finished semantics                                             3m17s   1GB
Jan 24 08:40:38 Starting semantics/proofs
Jan 24 08:46:41 Finished semantics/proofs                                      6m03s   1GB
Jan 24 08:46:42 Starting semantics/alt_semantics
Jan 24 08:46:52 Finished semantics/alt_semantics                                 10s 324MB
Jan 24 08:46:52 Starting semantics/alt_semantics/proofs
Jan 24 08:49:39 Finished semantics/alt_semantics/proofs                        2m46s   1GB
Jan 24 08:49:39 Starting basis/pure
Jan 24 08:51:50 Resuming basis/pure
Jan 24 08:55:32 Finished basis/pure                                            3m41s 688MB
Jan 24 08:55:32 Starting translator
Jan 24 08:59:23 Finished translator                                            3m49s   1GB
Jan 24 08:59:23 Starting compiler/parsing
Jan 24 09:01:32 Finished compiler/parsing                                      2m08s   1GB
Jan 24 09:01:32 Starting characteristic
Jan 24 09:09:39 Finished characteristic                                        8m06s   2GB
Jan 24 09:09:39 Starting translator/monadic
Jan 24 09:11:52 Finished translator/monadic                                    2m12s   1GB
Jan 24 09:11:53 Starting basis
Jan 24 09:59:08 Finished basis                                                47m14s  18GB
Jan 24 09:59:08 Starting compiler/inference
Jan 24 10:01:58 Finished compiler/inference                                    2m49s   2GB
Jan 24 10:01:58 Starting compiler/backend/reg_alloc
Jan 24 10:03:19 Finished compiler/backend/reg_alloc                            1m20s   1GB
Jan 24 10:03:19 Starting compiler/backend/gc
Jan 24 10:08:11 Finished compiler/backend/gc                                   4m51s   2GB
Jan 24 10:08:11 Starting compiler/backend
Jan 24 10:14:41 Finished compiler/backend                                      6m29s   3GB
Jan 24 10:14:41 Starting compiler/encoders/asm
Jan 24 10:15:08 Finished compiler/encoders/asm                                   26s 773MB
Jan 24 10:15:08 Starting compiler/encoders/x64
Jan 24 10:16:18 Finished compiler/encoders/x64                                 1m09s 797MB
Jan 24 10:16:18 Starting compiler/encoders/arm7
Jan 24 10:18:35 Finished compiler/encoders/arm7                                2m17s   1GB
Jan 24 10:18:36 Starting compiler/encoders/arm8
Jan 24 10:19:15 Finished compiler/encoders/arm8                                  38s 885MB
Jan 24 10:19:15 Starting compiler/encoders/mips
Jan 24 10:20:41 Finished compiler/encoders/mips                                1m26s   1GB
Jan 24 10:20:42 Starting compiler/encoders/riscv
Jan 24 10:22:26 Finished compiler/encoders/riscv                               1m43s   1GB
Jan 24 10:22:26 Starting compiler/encoders/ag32
Jan 24 10:22:48 Finished compiler/encoders/ag32                                  21s 797MB
Jan 24 10:22:48 Starting compiler/backend/x64
Jan 24 10:23:12 Finished compiler/backend/x64                                    23s   1GB
Jan 24 10:23:12 Starting compiler/backend/arm7
Jan 24 10:23:39 Finished compiler/backend/arm7                                   26s   1GB
Jan 24 10:23:39 Starting compiler/backend/arm8
Jan 24 10:24:02 Finished compiler/backend/arm8                                   22s   1GB
Jan 24 10:24:02 Starting compiler/backend/mips
Jan 24 10:24:26 Finished compiler/backend/mips                                   23s   1GB
Jan 24 10:24:26 Starting compiler/backend/riscv
Jan 24 10:24:51 Finished compiler/backend/riscv                                  24s   1GB
Jan 24 10:24:52 Starting compiler/backend/ag32
Jan 24 10:26:22 Finished compiler/backend/ag32                                 1m30s   1GB
Jan 24 10:26:23 Starting compiler/parsing/proofs
Jan 24 10:33:07 Finished compiler/parsing/proofs                               6m43s 966MB
Jan 24 10:33:07 Starting compiler/inference/proofs
Jan 24 10:36:49 Finished compiler/inference/proofs                             3m41s   1GB
Jan 24 10:36:49 Starting compiler/backend/semantics
Jan 24 11:10:28 Finished compiler/backend/semantics                           33m38s   2GB
Jan 24 11:10:28 Starting compiler/backend/reg_alloc/proofs
Jan 24 11:13:55 Finished compiler/backend/reg_alloc/proofs                     3m26s 689MB
Jan 24 11:13:56 Starting compiler/backend/proofs
Jan 24 12:27:09 Finished compiler/backend/proofs                            1h13m13s  23GB
Jan 24 12:27:10 Starting compiler/encoders/x64/proofs
Jan 24 12:40:24 Finished compiler/encoders/x64/proofs                         13m13s   4GB
Jan 24 12:40:24 Starting compiler/encoders/arm7/proofs
Jan 24 12:53:52 Finished compiler/encoders/arm7/proofs                        13m28s   3GB
Jan 24 12:53:53 Starting compiler/encoders/arm8/proofs
Jan 24 13:00:28 Finished compiler/encoders/arm8/proofs                         6m34s   1GB
Jan 24 13:00:28 Starting compiler/encoders/mips/proofs
Jan 24 13:10:29 Finished compiler/encoders/mips/proofs                        10m00s   2GB
Jan 24 13:10:29 Starting compiler/encoders/riscv/proofs
Jan 24 13:19:21 Finished compiler/encoders/riscv/proofs                        8m51s   1GB
Jan 24 13:19:21 Starting compiler/encoders/ag32/proofs
Jan 24 13:21:56 Finished compiler/encoders/ag32/proofs                         2m35s 747MB
Jan 24 13:21:57 Starting compiler/backend/x64/proofs
Jan 24 13:22:19 Finished compiler/backend/x64/proofs                             22s   1GB
Jan 24 13:22:19 Starting compiler/backend/arm7/proofs
Jan 24 13:22:41 Finished compiler/backend/arm7/proofs                            21s 861MB
Jan 24 13:22:41 Starting compiler/backend/arm8/proofs
Jan 24 13:23:03 Finished compiler/backend/arm8/proofs                            21s   1GB
Jan 24 13:23:03 Starting compiler/backend/mips/proofs
Jan 24 13:23:27 Finished compiler/backend/mips/proofs                            24s   1GB
Jan 24 13:23:28 Starting compiler/backend/riscv/proofs
Jan 24 13:23:51 Finished compiler/backend/riscv/proofs                           22s   1GB
Jan 24 13:23:51 Starting compiler/backend/ag32/proofs
Jan 24 13:37:53 Finished compiler/backend/ag32/proofs                         14m02s   1GB
Jan 24 13:37:54 Starting compiler/proofs Jan 24 13:37:54 6538s