Job 427

CakeML:42c919452dd418e7f3f60eec74e38fb6a9cc9d41
  Rename `flag` configuration type to `flagConf` [Aug 17 12:24:35]
#511 (argparse)
Merging into:348a74050804214128ce62f0274f4443cc6730dd
  Remove exhProps [Aug 13 15:29:52]
HOL:44b4d95a0dee002148eab60371346d0360517c5d
  Define longest_prefix and common_prefixes (over sets of lists) [Aug 17 03:24:48]
Machine:demi

Aug 17 12:59:04 Claimed job
Aug 17 12:59:09 Building HOL
Aug 17 13:10:27 Starting developers/bin
Aug 17 13:10:34 Finished developers/bin                                           6s 915MB
Aug 17 13:10:34 Starting semantics/ffi
Aug 17 13:11:27 Finished semantics/ffi                                           52s 481MB
Aug 17 13:11:28 Starting semantics
Aug 17 13:13:24 Finished semantics                                             1m56s 843MB
Aug 17 13:13:25 Starting semantics/proofs
Aug 17 13:17:15 Finished semantics/proofs                                      3m49s   1GB
Aug 17 13:17:16 Starting basis/pure
Aug 17 13:22:01 Finished basis/pure                                            4m44s 828MB
Aug 17 13:22:01 Starting translator
Aug 17 13:24:15 Finished translator                                            2m13s 983MB
Aug 17 13:24:16 Starting compiler/parsing
Aug 17 13:26:30 Finished compiler/parsing                                      2m13s   1GB
Aug 17 13:26:31 Starting characteristic
Aug 17 13:29:46 Finished characteristic                                        3m15s   2GB
Aug 17 13:29:47 Starting translator/monadic
Aug 17 13:31:44 Finished translator/monadic                                    1m56s   1GB
Aug 17 13:31:45 Starting basis
Aug 17 13:57:11 Finished basis                                                25m25s   3GB
Aug 17 13:57:11 Starting compiler/inference
Aug 17 13:59:27 Finished compiler/inference                                    2m15s   1GB
Aug 17 13:59:28 Starting compiler/backend/reg_alloc
Aug 17 14:00:12 Finished compiler/backend/reg_alloc                              43s 918MB
Aug 17 14:00:13 Starting compiler/backend/gc
Aug 17 14:12:37 Finished compiler/backend/gc                                  12m24s   3GB
Aug 17 14:12:38 Starting compiler/backend
Aug 17 14:12:41 Finished compiler/backend                                         2s  39MB
Aug 17 14:12:42 Starting compiler/encoders/asm
Aug 17 14:12:44 Finished compiler/encoders/asm                                    1s  31MB
Aug 17 14:12:44 Starting compiler/encoders/x64
Aug 17 14:13:53 Finished compiler/encoders/x64                                 1m08s 584MB
Aug 17 14:13:54 Starting compiler/encoders/arm6
Aug 17 14:16:17 Finished compiler/encoders/arm6                                2m22s   1GB
Aug 17 14:16:17 Starting compiler/encoders/arm8
Aug 17 14:16:51 Finished compiler/encoders/arm8                                  33s 492MB
Aug 17 14:16:52 Starting compiler/encoders/mips
Aug 17 14:18:12 Finished compiler/encoders/mips                                1m19s 907MB
Aug 17 14:18:13 Starting compiler/encoders/riscv
Aug 17 14:19:39 Finished compiler/encoders/riscv                               1m25s 903MB
Aug 17 14:19:39 Starting compiler/backend/x64
Aug 17 14:20:03 Finished compiler/backend/x64                                    23s   1GB
Aug 17 14:20:03 Starting compiler/backend/arm6
Aug 17 14:20:30 Finished compiler/backend/arm6                                   26s   1GB
Aug 17 14:20:31 Starting compiler/backend/arm8
Aug 17 14:20:53 Finished compiler/backend/arm8                                   21s 884MB
Aug 17 14:20:54 Starting compiler/backend/mips
Aug 17 14:21:19 Finished compiler/backend/mips                                   24s   1GB
Aug 17 14:21:19 Starting compiler/backend/riscv
Aug 17 14:21:43 Finished compiler/backend/riscv                                  22s   1GB
Aug 17 14:21:43 Starting compiler/parsing/proofs
Aug 17 14:31:05 Finished compiler/parsing/proofs                               9m21s 876MB
Aug 17 14:31:06 Starting compiler/inference/proofs
Aug 17 14:34:52 Finished compiler/inference/proofs                             3m45s   1GB
Aug 17 14:34:53 Starting compiler/backend/semantics
Aug 17 14:46:52 Finished compiler/backend/semantics                           11m58s   2GB
Aug 17 14:46:52 Starting compiler/backend/reg_alloc/proofs
Aug 17 14:47:56 Finished compiler/backend/reg_alloc/proofs                     1m03s 697MB
Aug 17 14:47:57 Starting compiler/backend/proofs
Aug 17 15:35:15 Finished compiler/backend/proofs                              47m17s   3GB
Aug 17 15:35:16 Starting compiler/encoders/x64/proofs
Aug 17 15:44:53 Finished compiler/encoders/x64/proofs                          9m36s   4GB
Aug 17 15:44:54 Starting compiler/encoders/arm6/proofs
Aug 17 15:54:45 Finished compiler/encoders/arm6/proofs                         9m50s   4GB
Aug 17 15:54:45 Starting compiler/encoders/arm8/proofs
Aug 17 16:01:52 Finished compiler/encoders/arm8/proofs                         7m06s   1GB
Aug 17 16:01:53 Starting compiler/encoders/mips/proofs
Aug 17 16:11:43 Finished compiler/encoders/mips/proofs                         9m50s   2GB
Aug 17 16:11:44 Starting compiler/encoders/riscv/proofs
Aug 17 16:22:19 Finished compiler/encoders/riscv/proofs                       10m34s 985MB
Aug 17 16:22:19 Starting compiler/backend/x64/proofs
Aug 17 16:22:45 Finished compiler/backend/x64/proofs                             25s 770MB
Aug 17 16:22:46 Starting compiler/backend/arm6/proofs
Aug 17 16:23:18 Finished compiler/backend/arm6/proofs                            31s   1GB
Aug 17 16:23:18 Starting compiler/backend/arm8/proofs
Aug 17 16:23:46 Finished compiler/backend/arm8/proofs                            27s   1GB
Aug 17 16:23:46 Starting compiler/backend/mips/proofs
Aug 17 16:24:14 Finished compiler/backend/mips/proofs                            27s 942MB
Aug 17 16:24:15 Starting compiler/backend/riscv/proofs
Aug 17 16:24:43 Finished compiler/backend/riscv/proofs                           27s   1GB
Aug 17 16:24:43 Starting compiler/proofs
Aug 17 16:26:30 Finished compiler/proofs                                       1m46s   2GB
Aug 17 16:26:31 Starting candle/set-theory
Aug 17 16:27:13 Finished candle/set-theory                                       41s 598MB
Aug 17 16:27:13 Starting candle/syntax-lib
Aug 17 16:27:27 Finished candle/syntax-lib                                       12s 640MB
Aug 17 16:27:27 Starting candle/standard/syntax
Aug 17 16:29:32 Finished candle/standard/syntax                                2m03s 614MB
Aug 17 16:29:32 Starting candle/standard/semantics
Aug 17 16:31:19 Finished candle/standard/semantics                             1m46s 966MB
Aug 17 16:31:19 Starting candle/standard/monadic
Aug 17 16:33:14 Finished candle/standard/monadic                               1m54s 815MB
Aug 17 16:33:15 Starting candle/standard/ml_kernel
Aug 17 16:37:54 Finished candle/standard/ml_kernel                             4m37s   3GB
Aug 17 16:37:55 Starting candle/standard/opentheory
Aug 17 16:38:13 Finished candle/standard/opentheory                              17s 730MB
Aug 17 16:38:14 Starting characteristic/examples
Aug 17 16:40:30 Finished characteristic/examples                               2m15s   2GB
Aug 17 16:40:30 Starting tutorial/solutions Aug 17 16:40:30 167s