Job 545

CakeML:7ec3d29ad8687ebf32ed1df8b94ad5c70a1036be
  Add a comment to ArgParse [Oct 23 08:36:07]
#511 (argparse)
Merging into:33e99acd8473d0f3b26811cff129818bb6b04743
  Merge pull request #545 from CakeML/explorer [Oct 21 01:02:30]
HOL:9614e10ea070e365d1fca5333da78aadb94cd157
  Remove an unnecessary level of references in simplifier Cache code [Oct 23 06:00:22]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Oct 23 09:26:44 Claimed job
Oct 23 09:28:41 Building HOL
Oct 23 09:36:36 Starting developers/bin
Oct 23 09:37:11 Finished developers/bin                                          34s 137MB
Oct 23 09:37:12 Starting semantics/ffi
Oct 23 09:37:53 Finished semantics/ffi                                           40s 397MB
Oct 23 09:37:54 Starting semantics
Oct 23 09:39:22 Finished semantics                                             1m27s   1GB
Oct 23 09:39:23 Starting semantics/proofs
Oct 23 09:42:07 Finished semantics/proofs                                      2m43s   1GB
Oct 23 09:42:08 Starting basis/pure
Oct 23 09:45:40 Finished basis/pure                                            3m31s 758MB
Oct 23 09:45:40 Starting translator
Oct 23 09:48:43 Finished translator                                            3m02s 901MB
Oct 23 09:48:44 Starting compiler/parsing
Oct 23 09:50:01 Finished compiler/parsing                                      1m15s   1GB
Oct 23 09:50:02 Starting characteristic
Oct 23 09:52:27 Finished characteristic                                        2m24s   2GB
Oct 23 09:52:28 Starting translator/monadic
Oct 23 09:53:54 Finished translator/monadic                                    1m25s   1GB
Oct 23 09:53:55 Starting basis
Oct 23 10:12:29 Finished basis                                                18m33s   4GB
Oct 23 10:12:29 Starting compiler/inference
Oct 23 10:14:09 Finished compiler/inference                                    1m39s   1GB
Oct 23 10:14:10 Starting compiler/backend/reg_alloc
Oct 23 10:14:57 Finished compiler/backend/reg_alloc                              46s   1GB
Oct 23 10:14:58 Starting compiler/backend/gc
Oct 23 10:22:16 Finished compiler/backend/gc                                   7m17s   1GB
Oct 23 10:22:17 Starting compiler/backend
Oct 23 10:22:21 Finished compiler/backend                                         2s  18MB
Oct 23 10:22:22 Starting compiler/encoders/asm
Oct 23 10:22:24 Finished compiler/encoders/asm                                    0s  16MB
Oct 23 10:22:25 Starting compiler/encoders/x64
Oct 23 10:23:15 Finished compiler/encoders/x64                                   49s 592MB
Oct 23 10:23:16 Starting compiler/encoders/arm6
Oct 23 10:24:58 Finished compiler/encoders/arm6                                1m41s   1GB
Oct 23 10:24:59 Starting compiler/encoders/arm8
Oct 23 10:25:23 Finished compiler/encoders/arm8                                  23s 430MB
Oct 23 10:25:24 Starting compiler/encoders/mips
Oct 23 10:26:21 Finished compiler/encoders/mips                                  55s 821MB
Oct 23 10:26:21 Starting compiler/encoders/riscv
Oct 23 10:27:21 Finished compiler/encoders/riscv                                 59s 711MB
Oct 23 10:27:22 Starting compiler/backend/x64
Oct 23 10:27:41 Finished compiler/backend/x64                                    17s   1GB
Oct 23 10:27:42 Starting compiler/backend/arm6
Oct 23 10:28:01 Finished compiler/backend/arm6                                   18s   1GB
Oct 23 10:28:02 Starting compiler/backend/arm8
Oct 23 10:28:21 Finished compiler/backend/arm8                                   18s   1GB
Oct 23 10:28:22 Starting compiler/backend/mips
Oct 23 10:28:41 Finished compiler/backend/mips                                   18s   1GB
Oct 23 10:28:42 Starting compiler/backend/riscv
Oct 23 10:29:01 Finished compiler/backend/riscv                                  18s   1GB
Oct 23 10:29:02 Starting compiler/parsing/proofs
Oct 23 10:35:05 Finished compiler/parsing/proofs                               6m02s 822MB
Oct 23 10:35:06 Starting compiler/inference/proofs
Oct 23 10:38:00 Finished compiler/inference/proofs                             2m53s   1GB
Oct 23 10:38:01 Starting compiler/backend/semantics
Oct 23 10:47:11 Finished compiler/backend/semantics                            9m08s   2GB
Oct 23 10:47:12 Starting compiler/backend/reg_alloc/proofs
Oct 23 10:54:41 Finished compiler/backend/reg_alloc/proofs                     7m28s 575MB
Oct 23 10:54:42 Starting compiler/backend/proofs
Oct 23 11:37:16 Finished compiler/backend/proofs                              42m33s   3GB
Oct 23 11:37:17 Starting compiler/encoders/x64/proofs
Oct 23 11:44:53 Finished compiler/encoders/x64/proofs                          7m34s   4GB
Oct 23 11:44:53 Starting compiler/encoders/arm6/proofs
Oct 23 11:52:37 Finished compiler/encoders/arm6/proofs                         7m42s   2GB
Oct 23 11:52:38 Starting compiler/encoders/arm8/proofs
Oct 23 11:58:07 Finished compiler/encoders/arm8/proofs                         5m28s   1GB
Oct 23 11:58:08 Starting compiler/encoders/mips/proofs
Oct 23 12:05:32 Finished compiler/encoders/mips/proofs                         7m23s   1GB
Oct 23 12:05:33 Starting compiler/encoders/riscv/proofs
Oct 23 12:13:42 Finished compiler/encoders/riscv/proofs                        8m08s 862MB
Oct 23 12:13:43 Starting compiler/backend/x64/proofs
Oct 23 12:14:03 Finished compiler/backend/x64/proofs                             19s   1GB
Oct 23 12:14:04 Starting compiler/backend/arm6/proofs
Oct 23 12:14:27 Finished compiler/backend/arm6/proofs                            22s   1GB
Oct 23 12:14:28 Starting compiler/backend/arm8/proofs
Oct 23 12:14:48 Finished compiler/backend/arm8/proofs                            18s 833MB
Oct 23 12:14:49 Starting compiler/backend/mips/proofs
Oct 23 12:15:09 Finished compiler/backend/mips/proofs                            20s   1GB
Oct 23 12:15:10 Starting compiler/backend/riscv/proofs
Oct 23 12:15:35 Finished compiler/backend/riscv/proofs                           24s   1GB
Oct 23 12:15:36 Starting compiler/proofs
Oct 23 12:17:01 Finished compiler/proofs                                       1m23s   2GB
Oct 23 12:17:01 Starting candle/set-theory
Oct 23 12:17:31 Finished candle/set-theory                                       28s 609MB
Oct 23 12:17:32 Starting candle/syntax-lib
Oct 23 12:17:42 Finished candle/syntax-lib                                        9s 427MB
Oct 23 12:17:42 Starting candle/standard/syntax
Oct 23 12:19:16 Finished candle/standard/syntax                                1m32s 550MB
Oct 23 12:19:16 Starting candle/standard/semantics
Oct 23 12:20:36 Finished candle/standard/semantics                             1m19s   1GB
Oct 23 12:20:37 Starting candle/standard/monadic
Oct 23 12:22:11 Finished candle/standard/monadic                               1m32s 796MB
Oct 23 12:22:12 Starting candle/standard/ml_kernel
Oct 23 12:42:59 Finished candle/standard/ml_kernel                            20m46s   8GB
Oct 23 12:43:00 Starting candle/standard/opentheory
Oct 23 12:52:22 Finished candle/standard/opentheory                            9m21s   7GB
Oct 23 12:52:23 Starting candle/standard/opentheory/compilation
Oct 23 13:28:50 Finished candle/standard/opentheory/compilation               36m25s  23GB
Oct 23 13:28:50 Starting candle/standard/opentheory/compilation/proofs
Oct 23 13:29:28 Finished candle/standard/opentheory/compilation/proofs           37s   4GB
Oct 23 13:29:29 Starting characteristic/examples
Oct 23 13:31:14 Finished characteristic/examples                               1m44s   2GB
Oct 23 13:31:15 Starting tutorial/solutions
Oct 23 13:46:00 Finished tutorial/solutions                                   14m43s   7GB
Oct 23 13:46:00 Starting translator/monadic/examples
Oct 23 13:47:48 Finished translator/monadic/examples                           1m47s   2GB
Oct 23 13:47:49 Starting examples
Oct 23 13:54:03 Finished examples                                              6m12s   5GB
Oct 23 13:54:04 Starting examples/compilation
Oct 23 16:00:02 Finished examples/compilation                               2h05m57s  10GB
Oct 23 16:00:03 Starting examples/compilation/proofs
Oct 23 16:02:09 Finished examples/compilation/proofs                           2m04s   3GB
Oct 23 16:02:10 Starting compiler/benchmarks
Oct 23 16:02:11 Finished compiler/benchmarks                                      0s   4MB
Oct 23 16:02:12 Starting translator/okasaki-examples
Oct 23 16:05:44 Finished translator/okasaki-examples                           3m31s   1GB
Oct 23 16:05:45 Starting translator/other-examples
Oct 23 16:09:05 Finished translator/other-examples                             3m19s   1GB
Oct 23 16:09:06 Starting compiler/parsing/tests
Oct 23 16:09:31 Finished compiler/parsing/tests                                  24s 328MB
Oct 23 16:09:32 Starting compiler/inference/tests Oct 23 16:09:32 41s