Job 723

CakeML:31fd550ef7f74d69aae02b7e5b46a79972d7fd3b
  Fix rm -> $(RM) [Feb 10 03:52:00]
#616 (benchmark-report)
Merging into:6bc8e267ebd128227cd90e1c9f9be4fd7f3bbb5a
  Merge remote-tracking branch 'origin/cleanup' [Feb 06 09:47:42]
HOL:08a51fee676681dadabae53e90963868e9720563
  Implement mllex-driven lexing for Theory.dat files [Feb 06 06:13:12]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Feb 10 09:44:41 Claimed job
Feb 10 09:44:47 Reusing HOL
Feb 10 09:44:53 Starting developers
Feb 10 09:44:54 Finished developers                                               0s  22MB
Feb 10 09:44:55 Starting developers/bin
Feb 10 09:45:25 Finished developers/bin                                          29s 142MB
Feb 10 09:45:25 Starting semantics/ffi
Feb 10 09:45:34 Finished semantics/ffi                                            7s 216MB
Feb 10 09:45:35 Starting semantics
Feb 10 09:46:51 Finished semantics                                             1m15s   1GB
Feb 10 09:46:52 Starting semantics/proofs
Feb 10 09:49:54 Finished semantics/proofs                                      3m01s   1GB
Feb 10 09:49:55 Starting basis/pure
Feb 10 09:50:40 Finished basis/pure                                              44s 654MB
Feb 10 09:50:41 Starting translator
Feb 10 09:52:16 Finished translator                                            1m34s   1GB
Feb 10 09:52:17 Starting compiler/parsing
Feb 10 09:53:14 Finished compiler/parsing                                        55s   1GB
Feb 10 09:53:15 Starting characteristic
Feb 10 09:57:29 Finished characteristic                                        4m13s   1GB
Feb 10 09:57:29 Starting translator/monadic
Feb 10 09:58:54 Finished translator/monadic                                    1m23s   1GB
Feb 10 09:58:55 Starting basis
Feb 10 10:15:26 Finished basis                                                16m29s   2GB
Feb 10 10:15:26 Starting compiler/inference
Feb 10 10:16:57 Finished compiler/inference                                    1m30s   1GB
Feb 10 10:16:58 Starting compiler/backend/reg_alloc
Feb 10 10:17:48 Finished compiler/backend/reg_alloc                              48s   1GB
Feb 10 10:17:49 Starting compiler/backend/gc
Feb 10 10:25:29 Finished compiler/backend/gc                                   7m39s   1GB
Feb 10 10:25:30 Starting compiler/backend
Feb 10 10:25:31 Finished compiler/backend                                         0s  42MB
Feb 10 10:25:32 Starting compiler/encoders/asm
Feb 10 10:25:33 Finished compiler/encoders/asm                                    0s  32MB
Feb 10 10:25:34 Starting compiler/encoders/x64
Feb 10 10:25:56 Finished compiler/encoders/x64                                   22s 936MB
Feb 10 10:25:57 Starting compiler/encoders/arm6
Feb 10 10:26:45 Finished compiler/encoders/arm6                                  46s 766MB
Feb 10 10:26:45 Starting compiler/encoders/arm8
Feb 10 10:26:57 Finished compiler/encoders/arm8                                  10s 565MB
Feb 10 10:26:57 Starting compiler/encoders/mips
Feb 10 10:27:13 Finished compiler/encoders/mips                                  14s   1GB
Feb 10 10:27:14 Starting compiler/encoders/riscv
Feb 10 10:27:27 Finished compiler/encoders/riscv                                 12s 926MB
Feb 10 10:27:28 Starting compiler/encoders/ag32
Feb 10 10:27:44 Finished compiler/encoders/ag32                                  14s 761MB
Feb 10 10:27:44 Starting compiler/backend/x64
Feb 10 10:28:00 Finished compiler/backend/x64                                    14s 799MB
Feb 10 10:28:00 Starting compiler/backend/arm6
Feb 10 10:28:18 Finished compiler/backend/arm6                                   17s   1GB
Feb 10 10:28:19 Starting compiler/backend/arm8
Feb 10 10:28:36 Finished compiler/backend/arm8                                   16s 960MB
Feb 10 10:28:37 Starting compiler/backend/mips
Feb 10 10:28:54 Finished compiler/backend/mips                                   16s   1GB
Feb 10 10:28:55 Starting compiler/backend/riscv
Feb 10 10:29:10 Finished compiler/backend/riscv                                  14s   1GB
Feb 10 10:29:11 Starting compiler/backend/ag32
Feb 10 10:30:17 Finished compiler/backend/ag32                                 1m04s   1GB
Feb 10 10:30:17 Starting compiler/parsing/proofs
Feb 10 10:35:52 Finished compiler/parsing/proofs                               5m33s 938MB
Feb 10 10:35:52 Starting compiler/inference/proofs
Feb 10 10:38:32 Finished compiler/inference/proofs                             2m38s   1GB
Feb 10 10:38:32 Starting compiler/backend/semantics
Feb 10 10:45:28 Finished compiler/backend/semantics                            6m55s   2GB
Feb 10 10:45:29 Starting compiler/backend/reg_alloc/proofs
Feb 10 10:48:04 Finished compiler/backend/reg_alloc/proofs                     2m33s 960MB
Feb 10 10:48:04 Starting compiler/backend/proofs
Feb 10 11:24:35 Finished compiler/backend/proofs                              36m30s   4GB
Feb 10 11:24:36 Starting compiler/encoders/x64/proofs
Feb 10 11:33:34 Finished compiler/encoders/x64/proofs                          8m57s   4GB
Feb 10 11:33:34 Starting compiler/encoders/arm6/proofs
Feb 10 11:45:47 Finished compiler/encoders/arm6/proofs                        12m11s   4GB
Feb 10 11:45:48 Starting compiler/encoders/arm8/proofs
Feb 10 11:51:13 Finished compiler/encoders/arm8/proofs                         5m24s   1GB
Feb 10 11:51:14 Starting compiler/encoders/mips/proofs
Feb 10 12:00:25 Finished compiler/encoders/mips/proofs                         9m09s   2GB
Feb 10 12:00:25 Starting compiler/encoders/riscv/proofs
Feb 10 12:07:54 Finished compiler/encoders/riscv/proofs                        7m27s   1GB
Feb 10 12:07:54 Starting compiler/encoders/ag32/proofs
Feb 10 12:10:22 Finished compiler/encoders/ag32/proofs                         2m26s 922MB
Feb 10 12:10:23 Starting compiler/backend/x64/proofs
Feb 10 12:10:39 Finished compiler/backend/x64/proofs                             16s   1GB
Feb 10 12:10:40 Starting compiler/backend/arm6/proofs
Feb 10 12:10:59 Finished compiler/backend/arm6/proofs                            17s   1GB
Feb 10 12:11:00 Starting compiler/backend/arm8/proofs
Feb 10 12:11:17 Finished compiler/backend/arm8/proofs                            16s   1GB
Feb 10 12:11:17 Starting compiler/backend/mips/proofs
Feb 10 12:11:35 Finished compiler/backend/mips/proofs                            17s   1GB
Feb 10 12:11:36 Starting compiler/backend/riscv/proofs
Feb 10 12:11:53 Finished compiler/backend/riscv/proofs                           16s 952MB
Feb 10 12:11:54 Starting compiler/backend/ag32/proofs
Feb 10 12:20:33 Finished compiler/backend/ag32/proofs                          8m38s   2GB
Feb 10 12:20:33 Starting compiler/proofs
Feb 10 12:21:52 Finished compiler/proofs                                       1m17s   3GB
Feb 10 12:21:53 Starting candle/set-theory
Feb 10 12:22:19 Finished candle/set-theory                                       24s 696MB
Feb 10 12:22:19 Starting candle/syntax-lib
Feb 10 12:22:29 Finished candle/syntax-lib                                        9s 599MB
Feb 10 12:22:30 Starting candle/standard/syntax
Feb 10 12:24:11 Finished candle/standard/syntax                                1m40s   1GB
Feb 10 12:24:12 Starting candle/standard/semantics
Feb 10 12:25:45 Finished candle/standard/semantics                             1m32s   1GB
Feb 10 12:25:46 Starting candle/standard/monadic
Feb 10 12:27:18 Finished candle/standard/monadic                               1m30s 991MB
Feb 10 12:27:18 Starting candle/standard/ml_kernel
Feb 10 12:31:06 Finished candle/standard/ml_kernel                             3m46s   3GB
Feb 10 12:31:06 Starting candle/standard/opentheory
Feb 10 12:39:31 Finished candle/standard/opentheory                            8m23s   4GB
Feb 10 12:39:31 Starting candle/standard/opentheory/compilation
Feb 10 13:09:11 Finished candle/standard/opentheory/compilation               29m38s  15GB
Feb 10 13:09:12 Starting candle/standard/opentheory/compilation/proofs
Feb 10 13:09:58 Finished candle/standard/opentheory/compilation/proofs           45s   6GB
Feb 10 13:09:59 Starting characteristic/examples
Feb 10 13:11:25 Finished characteristic/examples                               1m25s   3GB
Feb 10 13:11:26 Starting tutorial/solutions
Feb 10 13:24:29 Finished tutorial/solutions                                   13m02s   6GB
Feb 10 13:24:30 Starting translator/monadic/examples
Feb 10 13:26:40 Finished translator/monadic/examples                           2m08s   2GB
Feb 10 13:26:40 Starting examples
Feb 10 13:34:14 Finished examples                                              7m33s   4GB
Feb 10 13:34:15 Starting examples/compilation/x64
Feb 10 15:26:02 Finished examples/compilation/x64                           1h51m46s  13GB
Feb 10 15:26:03 Starting examples/compilation/x64/proofs
Feb 10 15:27:45 Finished examples/compilation/x64/proofs                       1m40s   5GB
Feb 10 15:27:45 Starting examples/compilation/ag32
Feb 10 15:55:42 Finished examples/compilation/ag32                            27m55s   6GB
Feb 10 15:55:43 Starting examples/compilation/ag32/proofs
Feb 10 15:56:27 Finished examples/compilation/ag32/proofs                        43s   4GB
Feb 10 15:56:28 Starting translator/okasaki-examples
Feb 10 16:00:32 Finished translator/okasaki-examples                           4m03s   1GB
Feb 10 16:00:33 Starting translator/other-examples
Feb 10 16:01:12 Finished translator/other-examples                               38s   1GB
Feb 10 16:01:13 Starting compiler/parsing/tests
Feb 10 16:01:38 Finished compiler/parsing/tests                                  24s 492MB
Feb 10 16:01:39 Starting compiler/inference/tests
Feb 10 16:05:38 Finished compiler/inference/tests                              3m58s   4GB
Feb 10 16:05:39 Starting compiler/bootstrap/translation
Feb 10 18:30:42 Finished compiler/bootstrap/translation                     2h25m02s  39GB
Feb 10 18:30:43 Starting unverified/sexpr-bootstrap/x64/64
Feb 10 18:39:20 Finished unverified/sexpr-bootstrap/x64/64                     8m36s  16GB
Feb 10 18:39:21 Starting unverified/sexpr-bootstrap/x64/32
Feb 10 18:44:38 Finished unverified/sexpr-bootstrap/x64/32                     5m15s  23GB
Feb 10 18:44:38 Starting compiler/benchmarks
Feb 10 19:23:04 Finished compiler/benchmarks                                  38m24s   2GB
Feb 10 19:23:04 Starting compiler/bootstrap/compilation/x64/64
Feb 11 05:30:23 Finished compiler/bootstrap/compilation/x64/64             10h07m17s  64GB
Feb 11 05:30:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 11 05:36:23 Finished compiler/bootstrap/compilation/x64/64/proofs          5m58s  31GB
Feb 11 05:36:24 Starting compiler/bootstrap/compilation/x64/32
Feb 11 14:38:20 Finished compiler/bootstrap/compilation/x64/32              9h01m55s  64GB
Feb 11 14:38:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 11 14:43:49 Finished compiler/bootstrap/compilation/x64/32/proofs          5m27s  28GB
Feb 11 14:43:50 SUCCESS