Job 1171

CakeML:742e79a817066a6099785ab5150013848c9d0441
  Merge pull request #721 from CakeML/exit_stderr [Feb 02 19:14:20]
HOL:b219f4bb4132ea21f42769a8edf7e3abde4cc48d
  emacs-mode: some indentation tweaks [Jan 22 06:44:58]
Machine:oven3 4.19.67.1.amd64-smp
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Feb 02 19:15:29 Claimed job
Feb 02 19:15:38 Reusing HOL
Feb 02 19:16:42 Starting developers
Feb 02 19:16:50 Finished developers                                               7s 131MB
Feb 02 19:16:50 Starting developers/bin
Feb 02 19:17:06 Finished developers/bin                                          15s   1GB
Feb 02 19:17:06 Starting semantics/ffi
Feb 02 19:17:29 Finished semantics/ffi                                           23s 245MB
Feb 02 19:17:30 Starting semantics
Feb 02 19:20:09 Finished semantics                                             2m39s   1GB
Feb 02 19:20:09 Starting semantics/proofs
Feb 02 19:27:22 Finished semantics/proofs                                      7m12s   1GB
Feb 02 19:27:22 Starting semantics/alt_semantics
Feb 02 19:27:40 Finished semantics/alt_semantics                                 17s 306MB
Feb 02 19:27:41 Starting semantics/alt_semantics/proofs
Feb 02 19:32:05 Finished semantics/alt_semantics/proofs                        4m24s 915MB
Feb 02 19:32:05 Starting basis/pure
Feb 02 19:33:48 Finished basis/pure                                            1m43s 845MB
Feb 02 19:33:49 Starting translator
Feb 02 19:39:06 Finished translator                                            5m16s   1GB
Feb 02 19:39:06 Starting compiler/parsing
Feb 02 19:41:26 Finished compiler/parsing                                      2m19s   2GB
Feb 02 19:41:26 Starting characteristic
Feb 02 19:53:42 Finished characteristic                                       12m15s   1GB
Feb 02 19:53:43 Starting translator/monadic
Feb 02 19:57:00 Finished translator/monadic                                    3m17s   1GB
Feb 02 19:57:00 Starting basis
Feb 02 21:06:01 Finished basis                                              1h09m00s  13GB
Feb 02 21:06:02 Starting compiler/inference
Feb 02 21:10:25 Finished compiler/inference                                    4m22s   2GB
Feb 02 21:10:25 Starting compiler/backend/reg_alloc
Feb 02 21:12:18 Finished compiler/backend/reg_alloc                            1m52s   1GB
Feb 02 21:12:18 Starting compiler/backend/gc
Feb 02 21:18:26 Finished compiler/backend/gc                                   6m07s   1GB
Feb 02 21:18:26 Starting compiler/backend
Feb 02 21:27:02 Finished compiler/backend                                      8m36s   3GB
Feb 02 21:27:02 Starting compiler/encoders/asm
Feb 02 21:27:49 Finished compiler/encoders/asm                                   46s 812MB
Feb 02 21:27:49 Starting compiler/encoders/x64
Feb 02 21:28:43 Finished compiler/encoders/x64                                   53s 934MB
Feb 02 21:28:43 Starting compiler/encoders/arm7
Feb 02 21:30:59 Finished compiler/encoders/arm7                                2m15s 871MB
Feb 02 21:30:59 Starting compiler/encoders/arm8
Feb 02 21:31:25 Finished compiler/encoders/arm8                                  26s 775MB
Feb 02 21:31:26 Starting compiler/encoders/mips
Feb 02 21:32:01 Finished compiler/encoders/mips                                  35s   1GB
Feb 02 21:32:01 Starting compiler/encoders/riscv
Feb 02 21:32:31 Finished compiler/encoders/riscv                                 29s 799MB
Feb 02 21:32:31 Starting compiler/encoders/ag32
Feb 02 21:33:11 Finished compiler/encoders/ag32                                  39s 591MB
Feb 02 21:33:11 Starting compiler/backend/x64
Feb 02 21:33:50 Finished compiler/backend/x64                                    38s   1GB
Feb 02 21:33:50 Starting compiler/backend/arm7
Feb 02 21:34:30 Finished compiler/backend/arm7                                   39s   1GB
Feb 02 21:34:31 Starting compiler/backend/arm8
Feb 02 21:35:05 Finished compiler/backend/arm8                                   34s   1GB
Feb 02 21:35:05 Starting compiler/backend/mips
Feb 02 21:35:45 Finished compiler/backend/mips                                   39s   1GB
Feb 02 21:35:45 Starting compiler/backend/riscv
Feb 02 21:36:25 Finished compiler/backend/riscv                                  40s   1GB
Feb 02 21:36:26 Starting compiler/backend/ag32
Feb 02 21:38:48 Finished compiler/backend/ag32                                 2m21s   1GB
Feb 02 21:38:48 Starting compiler/parsing/proofs
Feb 02 21:50:47 Finished compiler/parsing/proofs                              11m59s   1GB
Feb 02 21:50:48 Starting compiler/inference/proofs
Feb 02 21:57:11 Finished compiler/inference/proofs                             6m23s   1GB
Feb 02 21:57:11 Starting compiler/backend/semantics
Feb 02 22:53:45 Finished compiler/backend/semantics                           56m32s   1GB
Feb 02 22:53:45 Starting compiler/backend/reg_alloc/proofs
Feb 02 23:01:12 Finished compiler/backend/reg_alloc/proofs                     7m26s 857MB
Feb 02 23:01:12 Starting compiler/backend/proofs
Feb 03 01:00:30 Finished compiler/backend/proofs                            1h59m16s  14GB
Feb 03 01:00:30 Starting compiler/encoders/x64/proofs
Feb 03 01:20:44 Finished compiler/encoders/x64/proofs                         20m13s   5GB
Feb 03 01:20:44 Starting compiler/encoders/arm7/proofs
Feb 03 01:47:43 Finished compiler/encoders/arm7/proofs                        26m58s   3GB
Feb 03 01:47:43 Starting compiler/encoders/arm8/proofs
Feb 03 02:01:23 Finished compiler/encoders/arm8/proofs                        13m38s   1GB
Feb 03 02:01:23 Starting compiler/encoders/mips/proofs
Feb 03 02:22:11 Finished compiler/encoders/mips/proofs                        20m47s   3GB
Feb 03 02:22:11 Starting compiler/encoders/riscv/proofs
Feb 03 02:41:24 Finished compiler/encoders/riscv/proofs                       19m12s 887MB
Feb 03 02:41:24 Starting compiler/encoders/ag32/proofs
Feb 03 02:46:46 Finished compiler/encoders/ag32/proofs                         5m21s 831MB
Feb 03 02:46:47 Starting compiler/backend/x64/proofs
Feb 03 02:47:31 Finished compiler/backend/x64/proofs                             44s   1GB
Feb 03 02:47:31 Starting compiler/backend/arm7/proofs
Feb 03 02:48:16 Finished compiler/backend/arm7/proofs                            45s   1GB
Feb 03 02:48:17 Starting compiler/backend/arm8/proofs
Feb 03 02:49:02 Finished compiler/backend/arm8/proofs                            44s 802MB
Feb 03 02:49:02 Starting compiler/backend/mips/proofs
Feb 03 02:49:46 Finished compiler/backend/mips/proofs                            43s   1GB
Feb 03 02:49:46 Starting compiler/backend/riscv/proofs
Feb 03 02:50:29 Finished compiler/backend/riscv/proofs                           43s   1GB
Feb 03 02:50:29 Starting compiler/backend/ag32/proofs
Feb 03 03:17:04 Finished compiler/backend/ag32/proofs                         26m33s   3GB
Feb 03 03:17:04 Starting compiler/proofs
Feb 03 03:20:08 Finished compiler/proofs                                       3m04s   3GB
Feb 03 03:20:08 Starting candle/set-theory
Feb 03 03:21:07 Finished candle/set-theory                                       58s 851MB
Feb 03 03:21:07 Starting candle/syntax-lib
Feb 03 03:21:30 Finished candle/syntax-lib                                       22s 628MB
Feb 03 03:21:30 Starting candle/standard/syntax
Feb 03 03:25:12 Finished candle/standard/syntax                                3m42s 996MB
Feb 03 03:25:12 Starting candle/standard/semantics
Feb 03 03:28:51 Finished candle/standard/semantics                             3m38s   1GB
Feb 03 03:28:51 Starting candle/standard/monadic
Feb 03 03:32:16 Finished candle/standard/monadic                               3m24s   1GB
Feb 03 03:32:17 Starting candle/standard/ml_kernel
Feb 03 03:43:04 Finished candle/standard/ml_kernel                            10m47s   3GB
Feb 03 03:43:05 Starting candle/standard/opentheory
Feb 03 04:02:53 Finished candle/standard/opentheory                           19m48s   4GB
Feb 03 04:02:53 Starting candle/standard/opentheory/compilation
Feb 03 05:07:14 Finished candle/standard/opentheory/compilation             1h04m19s  15GB
Feb 03 05:07:14 Starting candle/standard/opentheory/compilation/proofs
Feb 03 05:08:38 Finished candle/standard/opentheory/compilation/proofs         1m23s   4GB
Feb 03 05:08:38 Starting characteristic/examples
Feb 03 05:11:57 Finished characteristic/examples                               3m18s   2GB
Feb 03 05:11:57 Starting tutorial/solutions
Feb 03 05:42:34 Finished tutorial/solutions                                   30m37s   8GB
Feb 03 05:42:34 Starting translator/monadic/examples
Feb 03 05:47:39 Finished translator/monadic/examples                           5m04s   1GB
Feb 03 05:47:40 Starting examples
Feb 03 06:03:48 Finished examples                                             16m08s   3GB
Feb 03 06:03:49 Starting examples/compilation/x64
Feb 03 10:52:09 Finished examples/compilation/x64                           4h48m20s  17GB
Feb 03 10:52:10 Starting examples/compilation/x64/proofs
Feb 03 10:55:19 Finished examples/compilation/x64/proofs                       3m09s   3GB
Feb 03 10:55:19 Starting examples/compilation/ag32
Feb 03 12:00:43 Finished examples/compilation/ag32                          1h05m22s   7GB
Feb 03 12:00:43 Starting examples/compilation/ag32/proofs
Feb 03 12:02:09 Finished examples/compilation/ag32/proofs                      1m25s   2GB
Feb 03 12:02:09 Starting examples/cost
Feb 03 13:26:56 Finished examples/cost                                      1h24m46s   6GB
Feb 03 13:26:56 Starting examples/lpr_checker
Feb 03 13:34:32 Finished examples/lpr_checker                                  7m36s   4GB
Feb 03 13:34:33 Starting examples/lpr_checker/compilation
Feb 03 14:06:41 Finished examples/lpr_checker/compilation                     32m08s   8GB
Feb 03 14:06:42 Starting examples/lpr_checker/compilation/proofs
Feb 03 14:07:57 Finished examples/lpr_checker/compilation/proofs               1m15s   3GB
Feb 03 14:07:58 Starting examples/lpr_checker/array
Feb 03 14:27:53 Finished examples/lpr_checker/array                           19m55s   2GB
Feb 03 14:27:53 Starting examples/lpr_checker/array/compilation
Feb 03 15:01:49 Finished examples/lpr_checker/array/compilation               33m55s   8GB
Feb 03 15:01:50 Starting examples/lpr_checker/array/compilation/proofs
Feb 03 15:03:17 Finished examples/lpr_checker/array/compilation/proofs         1m27s   3GB
Feb 03 15:03:17 Starting translator/okasaki-examples
Feb 03 15:11:55 Finished translator/okasaki-examples                           8m38s   1GB
Feb 03 15:11:56 Starting translator/other-examples
Feb 03 15:13:10 Finished translator/other-examples                             1m14s   1GB
Feb 03 15:13:10 Starting compiler/parsing/tests
Feb 03 15:14:07 Finished compiler/parsing/tests                                  56s 615MB
Feb 03 15:14:07 Starting compiler/inference/tests
Feb 03 15:22:43 Finished compiler/inference/tests                              8m36s   4GB
Feb 03 15:22:44 Starting compiler/bootstrap/translation
Feb 03 22:55:49 Finished compiler/bootstrap/translation                     7h33m05s  56GB
Feb 03 22:55:49 Starting unverified/sexpr-bootstrap/x64/64
Feb 03 23:23:00 Finished unverified/sexpr-bootstrap/x64/64                    27m10s  10GB
Feb 03 23:23:01 Starting unverified/sexpr-bootstrap/x64/32
Feb 03 23:43:30 Finished unverified/sexpr-bootstrap/x64/32                    20m28s  10GB
Feb 03 23:43:30 Starting compiler/benchmarks
Feb 03 23:43:34 Finished compiler/benchmarks                                      3s  35MB
Feb 03 23:43:34 Starting compiler/bootstrap/compilation/x64/64
Feb 05 03:31:47 Finished compiler/bootstrap/compilation/x64/64             27h48m11s  85GB
Feb 05 03:31:47 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 05 03:36:40 Finished compiler/bootstrap/compilation/x64/64/proofs          4m53s  17GB
Feb 05 03:36:40 Starting compiler/bootstrap/compilation/x64/32
Feb 06 06:57:08 Finished compiler/bootstrap/compilation/x64/32             27h20m26s 108GB
Feb 06 06:57:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 06 07:02:13 Finished compiler/bootstrap/compilation/x64/32/proofs          5m04s  21GB
Feb 06 07:02:13 Starting compiler/bootstrap/compilation/ag32/32
Feb 07 10:29:42 Finished compiler/bootstrap/compilation/ag32/32            27h27m27s 101GB
Feb 07 10:29:43 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 07 10:55:21 Finished compiler/bootstrap/compilation/ag32/32/proofs        25m38s  51GB
Feb 07 10:55:21 SUCCESS