Job 2387

CakeML:c5a5972f79ba5ee04bdf7bad359a3dcd75a018df
  Fix time_to_pan for Call revamp [May 14 15:09:02]
#994 (pan_funexps)
Merging into:150c31ef8e52d106b5b0939638442ea006bb159e
  Merge pull request #993 from CakeML/pan_errors [May 08 11:15:18]
HOL:325162975c2778e5b1bc07c199b6f1f79b9304ae
  Fix bad reference to bootstrap example in parallel Holmakefile [May 06 02:45:07]
Machine:pavlova

May 14 15:21:24 Claimed job
May 14 15:21:32 Reusing HOL
May 14 15:21:43 Starting developers
May 14 15:21:47 Finished developers                                               2s 211MB
May 14 15:21:47 Starting developers/bin
May 14 15:22:00 Finished developers/bin                                          12s   1GB
May 14 15:22:01 Starting compiler/proofs
May 14 17:10:00 Finished compiler/proofs                                    1h47m57s  39GB
May 14 17:10:01 Starting compiler/bootstrap/translation
May 15 01:28:47 Finished compiler/bootstrap/translation                     8h18m44s  77GB
May 15 01:28:48 Starting semantics/ffi
May 15 01:28:56 Finished semantics/ffi                                            7s 699MB
May 15 01:28:57 Starting semantics
May 15 01:28:59 Finished semantics                                                0s  67MB
May 15 01:28:59 Starting semantics/proofs
May 15 01:29:37 Finished semantics/proofs                                        36s   2GB
May 15 01:29:37 Starting semantics/alt_semantics
May 15 01:30:19 Finished semantics/alt_semantics                                 40s   1GB
May 15 01:30:20 Starting semantics/alt_semantics/proofs
May 15 01:41:21 Finished semantics/alt_semantics/proofs                       11m00s   3GB
May 15 01:41:22 Starting basis/pure
May 15 01:41:23 Finished basis/pure                                               0s  71MB
May 15 01:41:24 Starting translator
May 15 01:43:10 Finished translator                                            1m45s   3GB
May 15 01:43:11 Starting compiler/parsing
May 15 01:43:13 Finished compiler/parsing                                         0s  73MB
May 15 01:43:13 Starting characteristic
May 15 01:43:15 Finished characteristic                                           0s  94MB
May 15 01:43:16 Starting translator/monadic
May 15 01:43:17 Finished translator/monadic                                       0s  95MB
May 15 01:43:18 Starting basis
May 15 01:46:48 Finished basis                                                 3m29s   5GB
May 15 01:46:49 Starting compiler/inference
May 15 01:46:51 Finished compiler/inference                                       0s  81MB
May 15 01:46:52 Starting compiler/backend/reg_alloc
May 15 01:46:53 Finished compiler/backend/reg_alloc                               0s  67MB
May 15 01:46:54 Starting compiler/backend/gc
May 15 01:46:56 Finished compiler/backend/gc                                      0s 140MB
May 15 01:46:57 Starting compiler/backend
May 15 01:47:15 Finished compiler/backend                                        17s   1GB
May 15 01:47:15 Starting compiler/encoders/asm
May 15 01:47:17 Finished compiler/encoders/asm                                    0s  87MB
May 15 01:47:18 Starting compiler/encoders/x64
May 15 01:47:19 Finished compiler/encoders/x64                                    0s  99MB
May 15 01:47:20 Starting compiler/encoders/arm7
May 15 01:47:22 Finished compiler/encoders/arm7                                   0s 100MB
May 15 01:47:23 Starting compiler/encoders/arm8
May 15 01:47:24 Finished compiler/encoders/arm8                                   0s  99MB
May 15 01:47:25 Starting compiler/encoders/arm8_asl
May 15 01:49:46 Finished compiler/encoders/arm8_asl                            2m19s   1GB
May 15 01:49:47 Starting compiler/encoders/mips
May 15 01:49:48 Finished compiler/encoders/mips                                   0s  95MB
May 15 01:49:49 Starting compiler/encoders/riscv
May 15 01:49:50 Finished compiler/encoders/riscv                                  0s  95MB
May 15 01:49:51 Starting compiler/encoders/ag32
May 15 01:49:53 Finished compiler/encoders/ag32                                   0s  94MB
May 15 01:49:54 Starting compiler/backend/x64
May 15 01:49:55 Finished compiler/backend/x64                                     0s 138MB
May 15 01:49:56 Starting compiler/backend/arm7
May 15 01:49:58 Finished compiler/backend/arm7                                    0s 138MB
May 15 01:49:59 Starting compiler/backend/arm8
May 15 01:50:01 Finished compiler/backend/arm8                                    0s 138MB
May 15 01:50:02 Starting compiler/backend/mips
May 15 01:50:04 Finished compiler/backend/mips                                    0s 138MB
May 15 01:50:04 Starting compiler/backend/riscv
May 15 01:50:06 Finished compiler/backend/riscv                                   0s 138MB
May 15 01:50:07 Starting compiler/backend/ag32
May 15 01:51:27 Finished compiler/backend/ag32                                 1m18s   3GB
May 15 01:51:28 Starting compiler/parsing/proofs
May 15 01:51:29 Finished compiler/parsing/proofs                                  0s  74MB
May 15 01:51:30 Starting compiler/inference/proofs
May 15 01:51:32 Finished compiler/inference/proofs                                0s  91MB
May 15 01:51:33 Starting compiler/backend/semantics
May 15 01:55:13 Finished compiler/backend/semantics                            3m39s   2GB
May 15 01:55:14 Starting compiler/backend/reg_alloc/proofs
May 15 01:55:16 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
May 15 01:55:16 Starting compiler/backend/proofs
May 15 01:56:20 Finished compiler/backend/proofs                               1m02s   3GB
May 15 01:56:20 Starting compiler/backend/serialiser
May 15 01:56:23 Finished compiler/backend/serialiser                              1s 201MB
May 15 01:56:24 Starting compiler/encoders/x64/proofs
May 15 02:05:58 Finished compiler/encoders/x64/proofs                          9m33s   5GB
May 15 02:05:59 Starting compiler/encoders/arm7/proofs
May 15 02:18:45 Finished compiler/encoders/arm7/proofs                        12m45s   8GB
May 15 02:18:46 Starting compiler/encoders/arm8/proofs
May 15 02:25:04 Finished compiler/encoders/arm8/proofs                         6m17s   6GB
May 15 02:25:05 Starting compiler/encoders/arm8_asl/proofs
May 15 02:39:06 Finished compiler/encoders/arm8_asl/proofs                    13m59s   4GB
May 15 02:39:07 Starting compiler/encoders/mips/proofs
May 15 02:49:21 Finished compiler/encoders/mips/proofs                        10m13s   7GB
May 15 02:49:22 Starting compiler/encoders/riscv/proofs
May 15 02:57:46 Finished compiler/encoders/riscv/proofs                        8m23s   7GB
May 15 02:57:47 Starting compiler/encoders/ag32/proofs
May 15 03:00:10 Finished compiler/encoders/ag32/proofs                         2m22s   3GB
May 15 03:00:11 Starting compiler/backend/x64/proofs
May 15 03:00:52 Finished compiler/backend/x64/proofs                             39s   3GB
May 15 03:00:52 Starting compiler/backend/arm7/proofs
May 15 03:01:35 Finished compiler/backend/arm7/proofs                            41s   2GB
May 15 03:01:36 Starting compiler/backend/arm8/proofs
May 15 03:02:15 Finished compiler/backend/arm8/proofs                            38s   3GB
May 15 03:02:16 Starting compiler/backend/arm8_asl
May 15 03:02:44 Finished compiler/backend/arm8_asl                               26s   2GB
May 15 03:02:45 Starting compiler/backend/mips/proofs
May 15 03:03:28 Finished compiler/backend/mips/proofs                            42s   3GB
May 15 03:03:29 Starting compiler/backend/riscv/proofs
May 15 03:04:20 Finished compiler/backend/riscv/proofs                           49s   3GB
May 15 03:04:21 Starting compiler/backend/ag32/proofs
May 15 03:18:58 Finished compiler/backend/ag32/proofs                         14m36s   5GB
May 15 03:18:59 Starting candle/set-theory
May 15 03:19:42 Finished candle/set-theory                                       42s   1GB
May 15 03:19:43 Starting candle/syntax-lib
May 15 03:19:45 Finished candle/syntax-lib                                        0s  69MB
May 15 03:19:45 Starting candle/standard/syntax
May 15 03:20:02 Finished candle/standard/syntax                                  15s   1GB
May 15 03:20:02 Starting candle/standard/semantics
May 15 03:22:30 Finished candle/standard/semantics                             2m26s   3GB
May 15 03:22:31 Starting candle/standard/monadic
May 15 03:22:32 Finished candle/standard/monadic                                  0s 100MB
May 15 03:22:33 Starting candle/standard/ml_kernel
May 15 03:24:23 Finished candle/standard/ml_kernel                             1m49s   5GB
May 15 03:24:24 Starting candle/overloading/syntax
May 15 03:27:52 Finished candle/overloading/syntax                             3m26s   2GB
May 15 03:27:53 Starting candle/overloading/semantics
May 15 03:39:14 Finished candle/overloading/semantics                         11m19s   6GB
May 15 03:39:16 Starting candle/overloading/monadic
May 15 03:41:48 Finished candle/overloading/monadic                            2m31s   2GB
May 15 03:41:49 Starting candle/overloading/ml_kernel
May 15 03:49:20 Finished candle/overloading/ml_kernel                          7m30s   6GB
May 15 03:49:21 Starting candle/overloading/ml_checker
May 15 03:51:53 Finished candle/overloading/ml_checker                         2m31s   7GB
May 15 03:51:54 Starting candle/prover
May 15 04:01:46 Finished candle/prover                                         9m51s   5GB
May 15 04:01:47 Starting pancake
May 15 04:02:49 Finished pancake                                               1m01s   1GB
May 15 04:02:50 Starting pancake/ffi
May 15 04:02:51 Finished pancake/ffi                                              0s  21MB
May 15 04:02:52 Starting pancake/semantics
May 15 04:05:25 Finished pancake/semantics                                     2m32s   2GB
May 15 04:05:26 Starting pancake/parser
May 15 04:05:55 Finished pancake/parser                                          27s   2GB
May 15 04:05:56 Starting pancake/proofs May 15 04:05:56 1003s