Job 1112

CakeML:b42ce697adbe59d51cb59eb92a56fc360fa5ba4e
  Merge pull request #707 from CakeML/data-cost [Nov 30 23:36:35]
HOL:481761b292689788e0b28e013337d6a16c4a6fa4
  adding back combinTheory dependency to hhExportLib [Nov 26 08:34:04]
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

Nov 30 23:48:42 Claimed job
Nov 30 23:48:52 Building HOL
Dec 01 00:12:56 Starting developers
Dec 01 00:13:03 Finished developers                                               7s 130MB
Dec 01 00:13:04 Starting developers/bin
Dec 01 00:13:21 Finished developers/bin                                          17s 968MB
Dec 01 00:13:21 Starting semantics/ffi
Dec 01 00:13:43 Finished semantics/ffi                                           21s 230MB
Dec 01 00:13:43 Starting semantics
Dec 01 00:17:22 Finished semantics                                             3m38s   1GB
Dec 01 00:17:22 Starting semantics/proofs
Dec 01 00:25:00 Finished semantics/proofs                                      7m37s 933MB
Dec 01 00:25:00 Starting semantics/alt_semantics
Dec 01 00:25:18 Finished semantics/alt_semantics                                 18s 308MB
Dec 01 00:25:19 Starting semantics/alt_semantics/proofs
Dec 01 00:30:01 Finished semantics/alt_semantics/proofs                        4m42s 801MB
Dec 01 00:30:01 Starting basis/pure
Dec 01 00:36:48 Finished basis/pure                                            6m46s 832MB
Dec 01 00:36:49 Starting translator
Dec 01 00:41:04 Finished translator                                            4m15s   1GB
Dec 01 00:41:04 Starting compiler/parsing
Dec 01 00:43:44 Finished compiler/parsing                                      2m39s   2GB
Dec 01 00:43:44 Starting characteristic
Dec 01 00:55:26 Finished characteristic                                       11m40s   2GB
Dec 01 00:55:26 Starting translator/monadic
Dec 01 00:58:42 Finished translator/monadic                                    3m16s   1GB
Dec 01 00:58:42 Starting basis
Dec 01 01:41:29 Finished basis                                                42m46s   2GB
Dec 01 01:41:30 Starting compiler/inference
Dec 01 01:45:27 Finished compiler/inference                                    3m57s   1GB
Dec 01 01:45:27 Starting compiler/backend/reg_alloc
Dec 01 01:47:20 Finished compiler/backend/reg_alloc                            1m52s   1GB
Dec 01 01:47:20 Starting compiler/backend/gc
Dec 01 01:53:55 Finished compiler/backend/gc                                   6m34s   2GB
Dec 01 01:53:55 Starting compiler/backend
Dec 01 02:01:34 Finished compiler/backend                                      7m38s   2GB
Dec 01 02:01:34 Starting compiler/encoders/asm
Dec 01 02:02:21 Finished compiler/encoders/asm                                   46s 829MB
Dec 01 02:02:21 Starting compiler/encoders/x64
Dec 01 02:04:31 Finished compiler/encoders/x64                                 2m09s 896MB
Dec 01 02:04:31 Starting compiler/encoders/arm7
Dec 01 02:08:41 Finished compiler/encoders/arm7                                4m09s   1GB
Dec 01 02:08:41 Starting compiler/encoders/arm8
Dec 01 02:09:56 Finished compiler/encoders/arm8                                1m14s 710MB
Dec 01 02:09:56 Starting compiler/encoders/mips
Dec 01 02:12:35 Finished compiler/encoders/mips                                2m38s 958MB
Dec 01 02:12:35 Starting compiler/encoders/riscv
Dec 01 02:15:44 Finished compiler/encoders/riscv                               3m08s   1GB
Dec 01 02:15:44 Starting compiler/encoders/ag32
Dec 01 02:16:19 Finished compiler/encoders/ag32                                  34s 830MB
Dec 01 02:16:19 Starting compiler/backend/x64
Dec 01 02:16:58 Finished compiler/backend/x64                                    39s 890MB
Dec 01 02:16:59 Starting compiler/backend/arm7
Dec 01 02:17:50 Finished compiler/backend/arm7                                   51s   1GB
Dec 01 02:17:50 Starting compiler/backend/arm8
Dec 01 02:18:36 Finished compiler/backend/arm8                                   45s   1GB
Dec 01 02:18:36 Starting compiler/backend/mips
Dec 01 02:19:15 Finished compiler/backend/mips                                   38s   1GB
Dec 01 02:19:15 Starting compiler/backend/riscv
Dec 01 02:20:02 Finished compiler/backend/riscv                                  46s   1GB
Dec 01 02:20:02 Starting compiler/backend/ag32
Dec 01 02:22:44 Finished compiler/backend/ag32                                 2m41s   1GB
Dec 01 02:22:44 Starting compiler/parsing/proofs
Dec 01 02:35:17 Finished compiler/parsing/proofs                              12m32s   1GB
Dec 01 02:35:17 Starting compiler/inference/proofs
Dec 01 02:41:32 Finished compiler/inference/proofs                             6m14s   2GB
Dec 01 02:41:32 Starting compiler/backend/semantics
Dec 01 03:25:22 Finished compiler/backend/semantics                           43m48s   2GB
Dec 01 03:25:22 Starting compiler/backend/reg_alloc/proofs
Dec 01 03:32:45 Finished compiler/backend/reg_alloc/proofs                     7m22s 915MB
Dec 01 03:32:45 Starting compiler/backend/proofs
Dec 01 05:23:19 Finished compiler/backend/proofs                            1h50m33s  15GB
Dec 01 05:23:20 Starting compiler/encoders/x64/proofs
Dec 01 05:43:54 Finished compiler/encoders/x64/proofs                         20m33s   4GB
Dec 01 05:43:54 Starting compiler/encoders/arm7/proofs
Dec 01 06:11:08 Finished compiler/encoders/arm7/proofs                        27m14s   3GB
Dec 01 06:11:09 Starting compiler/encoders/arm8/proofs
Dec 01 06:25:11 Finished compiler/encoders/arm8/proofs                        14m01s   1GB
Dec 01 06:25:11 Starting compiler/encoders/mips/proofs
Dec 01 06:46:19 Finished compiler/encoders/mips/proofs                        21m08s   2GB
Dec 01 06:46:20 Starting compiler/encoders/riscv/proofs
Dec 01 07:05:05 Finished compiler/encoders/riscv/proofs                       18m44s   1GB
Dec 01 07:05:05 Starting compiler/encoders/ag32/proofs
Dec 01 07:10:25 Finished compiler/encoders/ag32/proofs                         5m19s 721MB
Dec 01 07:10:25 Starting compiler/backend/x64/proofs
Dec 01 07:11:02 Finished compiler/backend/x64/proofs                             36s 860MB
Dec 01 07:11:02 Starting compiler/backend/arm7/proofs
Dec 01 07:11:42 Finished compiler/backend/arm7/proofs                            40s   1GB
Dec 01 07:11:42 Starting compiler/backend/arm8/proofs
Dec 01 07:12:23 Finished compiler/backend/arm8/proofs                            40s 797MB
Dec 01 07:12:23 Starting compiler/backend/mips/proofs
Dec 01 07:13:04 Finished compiler/backend/mips/proofs                            40s   1GB
Dec 01 07:13:04 Starting compiler/backend/riscv/proofs
Dec 01 07:13:44 Finished compiler/backend/riscv/proofs                           39s   1GB
Dec 01 07:13:44 Starting compiler/backend/ag32/proofs
Dec 01 07:33:17 Finished compiler/backend/ag32/proofs                         19m31s   2GB
Dec 01 07:33:17 Starting compiler/proofs
Dec 01 07:36:48 Finished compiler/proofs                                       3m30s   3GB
Dec 01 07:36:48 Starting candle/set-theory
Dec 01 07:37:42 Finished candle/set-theory                                       53s 825MB
Dec 01 07:37:42 Starting candle/syntax-lib
Dec 01 07:38:03 Finished candle/syntax-lib                                       20s 543MB
Dec 01 07:38:03 Starting candle/standard/syntax
Dec 01 07:41:46 Finished candle/standard/syntax                                3m42s   1GB
Dec 01 07:41:47 Starting candle/standard/semantics
Dec 01 07:45:22 Finished candle/standard/semantics                             3m34s   1GB
Dec 01 07:45:22 Starting candle/standard/monadic
Dec 01 07:48:50 Finished candle/standard/monadic                               3m27s   1GB
Dec 01 07:48:50 Starting candle/standard/ml_kernel
Dec 01 07:57:06 Finished candle/standard/ml_kernel                             8m15s   3GB
Dec 01 07:57:06 Starting candle/standard/opentheory
Dec 01 08:15:47 Finished candle/standard/opentheory                           18m41s   4GB
Dec 01 08:15:47 Starting candle/standard/opentheory/compilation
Dec 01 09:16:44 Finished candle/standard/opentheory/compilation             1h00m56s  12GB
Dec 01 09:16:45 Starting candle/standard/opentheory/compilation/proofs
Dec 01 09:18:18 Finished candle/standard/opentheory/compilation/proofs         1m33s   2GB
Dec 01 09:18:18 Starting characteristic/examples
Dec 01 09:21:27 Finished characteristic/examples                               3m08s   2GB
Dec 01 09:21:27 Starting tutorial/solutions
Dec 01 09:50:22 Finished tutorial/solutions                                   28m54s   7GB
Dec 01 09:50:22 Starting translator/monadic/examples
Dec 01 09:55:23 Finished translator/monadic/examples                           5m00s   2GB
Dec 01 09:55:23 Starting examples
Dec 01 10:11:15 Finished examples                                             15m51s   3GB
Dec 01 10:11:15 Starting examples/compilation/x64
Dec 01 14:41:03 Finished examples/compilation/x64                           4h29m47s  12GB
Dec 01 14:41:04 Starting examples/compilation/x64/proofs
Dec 01 14:44:40 Finished examples/compilation/x64/proofs                       3m36s   3GB
Dec 01 14:44:40 Starting examples/compilation/ag32
Dec 01 15:47:52 Finished examples/compilation/ag32                          1h03m11s   6GB
Dec 01 15:47:52 Starting examples/compilation/ag32/proofs
Dec 01 15:49:22 Finished examples/compilation/ag32/proofs                      1m29s   3GB
Dec 01 15:49:22 Starting examples/cost
Dec 01 16:33:12 Finished examples/cost                                        43m49s   6GB
Dec 01 16:33:12 Starting translator/okasaki-examples
Dec 01 16:41:32 Finished translator/okasaki-examples                           8m19s   1GB
Dec 01 16:41:32 Starting translator/other-examples
Dec 01 16:45:11 Finished translator/other-examples                             3m38s   1GB
Dec 01 16:45:11 Starting compiler/parsing/tests
Dec 01 16:46:05 Finished compiler/parsing/tests                                  54s 582MB
Dec 01 16:46:06 Starting compiler/inference/tests
Dec 01 16:54:31 Finished compiler/inference/tests                              8m24s   3GB
Dec 01 16:54:31 Starting compiler/bootstrap/translation
Dec 01 22:26:53 Finished compiler/bootstrap/translation                     5h32m21s  49GB
Dec 01 22:26:53 Starting unverified/sexpr-bootstrap/x64/64
Dec 01 22:52:33 Finished unverified/sexpr-bootstrap/x64/64                    25m39s   5GB
Dec 01 22:52:33 Starting unverified/sexpr-bootstrap/x64/32
Dec 01 23:12:07 Finished unverified/sexpr-bootstrap/x64/32                    19m32s   5GB
Dec 01 23:12:07 Starting compiler/benchmarks
Dec 01 23:12:11 Finished compiler/benchmarks                                      3s  32MB
Dec 01 23:12:11 Starting compiler/bootstrap/compilation/x64/64
Dec 03 02:09:31 Finished compiler/bootstrap/compilation/x64/64             26h57m19s 112GB
Dec 03 02:09:31 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 03 02:14:28 Finished compiler/bootstrap/compilation/x64/64/proofs          4m56s  12GB
Dec 03 02:14:28 Starting compiler/bootstrap/compilation/x64/32
Dec 04 04:13:23 Finished compiler/bootstrap/compilation/x64/32             25h58m53s 105GB
Dec 04 04:13:23 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 04 04:21:22 Finished compiler/bootstrap/compilation/x64/32/proofs          7m58s   4GB
Dec 04 04:21:22 Starting compiler/bootstrap/compilation/ag32/32
Dec 05 07:09:19 Finished compiler/bootstrap/compilation/ag32/32            26h47m55s 102GB
Dec 05 07:09:19 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 05 08:08:19 Finished compiler/bootstrap/compilation/ag32/32/proofs        59m00s  16GB
Dec 05 08:08:20 SUCCESS