Job 989

CakeML:980410c6c89921c2e8950a5127bd9f32791f50bf
  Fix more def_compte issues [Aug 05 04:31:17]
HOL:8384b1c70482d5fbd9ad4d83775cae2a05294515
  Make Portable.single available in Lib [Aug 08 02:06:55]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Aug 10 10:54:39 Claimed job
Aug 10 10:54:43 Reusing HOL
Aug 10 10:54:47 Starting developers
Aug 10 10:54:48 Finished developers                                               0s  27MB
Aug 10 10:54:49 Starting developers/bin
Aug 10 10:56:07 Finished developers/bin                                        1m18s 165MB
Aug 10 10:56:08 Starting semantics/ffi
Aug 10 10:56:16 Finished semantics/ffi                                            7s 244MB
Aug 10 10:56:16 Starting semantics
Aug 10 10:57:32 Finished semantics                                             1m15s   1GB
Aug 10 10:57:32 Starting semantics/proofs
Aug 10 11:00:28 Finished semantics/proofs                                      2m55s   1GB
Aug 10 11:00:29 Starting semantics/alt_semantics
Aug 10 11:00:35 Finished semantics/alt_semantics                                  5s 271MB
Aug 10 11:00:35 Starting semantics/alt_semantics/proofs
Aug 10 11:02:22 Finished semantics/alt_semantics/proofs                        1m46s 811MB
Aug 10 11:02:23 Starting basis/pure
Aug 10 11:03:07 Finished basis/pure                                              43s 709MB
Aug 10 11:03:07 Starting translator
Aug 10 11:04:51 Finished translator                                            1m43s   1GB
Aug 10 11:04:51 Starting compiler/parsing
Aug 10 11:05:49 Finished compiler/parsing                                        57s   1GB
Aug 10 11:05:50 Starting characteristic
Aug 10 11:10:58 Finished characteristic                                        5m08s   1GB
Aug 10 11:10:59 Starting translator/monadic
Aug 10 11:12:27 Finished translator/monadic                                    1m28s   1GB
Aug 10 11:12:27 Starting basis
Aug 10 11:30:18 Finished basis                                                17m50s   2GB
Aug 10 11:30:18 Starting compiler/inference
Aug 10 11:31:55 Finished compiler/inference                                    1m36s   1GB
Aug 10 11:31:55 Starting compiler/backend/reg_alloc
Aug 10 11:32:53 Finished compiler/backend/reg_alloc                              57s   1GB
Aug 10 11:32:53 Starting compiler/backend/gc
Aug 10 11:40:48 Finished compiler/backend/gc                                   7m54s   1GB
Aug 10 11:40:48 Starting compiler/backend
Aug 10 11:40:50 Finished compiler/backend                                         0s  43MB
Aug 10 11:40:50 Starting compiler/encoders/asm
Aug 10 11:40:50 Finished compiler/encoders/asm                                    0s  37MB
Aug 10 11:40:51 Starting compiler/encoders/x64
Aug 10 11:41:13 Finished compiler/encoders/x64                                   21s 863MB
Aug 10 11:41:13 Starting compiler/encoders/arm7
Aug 10 11:41:58 Finished compiler/encoders/arm7                                  43s 681MB
Aug 10 11:41:58 Starting compiler/encoders/arm8
Aug 10 11:42:09 Finished compiler/encoders/arm8                                  10s 563MB
Aug 10 11:42:10 Starting compiler/encoders/mips
Aug 10 11:42:25 Finished compiler/encoders/mips                                  14s 787MB
Aug 10 11:42:25 Starting compiler/encoders/riscv
Aug 10 11:42:38 Finished compiler/encoders/riscv                                 12s 790MB
Aug 10 11:42:39 Starting compiler/encoders/ag32
Aug 10 11:42:54 Finished compiler/encoders/ag32                                  14s 778MB
Aug 10 11:42:54 Starting compiler/backend/x64
Aug 10 11:43:10 Finished compiler/backend/x64                                    15s 836MB
Aug 10 11:43:11 Starting compiler/backend/arm7
Aug 10 11:43:28 Finished compiler/backend/arm7                                   17s   1GB
Aug 10 11:43:29 Starting compiler/backend/arm8
Aug 10 11:43:45 Finished compiler/backend/arm8                                   16s   1GB
Aug 10 11:43:46 Starting compiler/backend/mips
Aug 10 11:44:03 Finished compiler/backend/mips                                   16s   1GB
Aug 10 11:44:03 Starting compiler/backend/riscv
Aug 10 11:44:19 Finished compiler/backend/riscv                                  15s 993MB
Aug 10 11:44:19 Starting compiler/backend/ag32
Aug 10 11:45:25 Finished compiler/backend/ag32                                 1m05s 895MB
Aug 10 11:45:26 Starting compiler/parsing/proofs
Aug 10 11:51:07 Finished compiler/parsing/proofs                               5m40s 791MB
Aug 10 11:51:07 Starting compiler/inference/proofs
Aug 10 11:53:49 Finished compiler/inference/proofs                             2m41s   1GB
Aug 10 11:53:50 Starting compiler/backend/semantics
Aug 10 12:00:53 Finished compiler/backend/semantics                            7m03s   2GB
Aug 10 12:00:54 Starting compiler/backend/reg_alloc/proofs
Aug 10 12:04:05 Finished compiler/backend/reg_alloc/proofs                     3m10s   1GB
Aug 10 12:04:05 Starting compiler/backend/proofs
Aug 10 12:42:31 Finished compiler/backend/proofs                              38m25s   4GB
Aug 10 12:42:32 Starting compiler/encoders/x64/proofs
Aug 10 12:51:34 Finished compiler/encoders/x64/proofs                          9m02s   4GB
Aug 10 12:51:35 Starting compiler/encoders/arm7/proofs
Aug 10 13:04:01 Finished compiler/encoders/arm7/proofs                        12m25s   3GB
Aug 10 13:04:01 Starting compiler/encoders/arm8/proofs
Aug 10 13:10:30 Finished compiler/encoders/arm8/proofs                         6m28s   1GB
Aug 10 13:10:30 Starting compiler/encoders/mips/proofs
Aug 10 13:19:49 Finished compiler/encoders/mips/proofs                         9m18s   2GB
Aug 10 13:19:49 Starting compiler/encoders/riscv/proofs
Aug 10 13:28:04 Finished compiler/encoders/riscv/proofs                        8m14s   1GB
Aug 10 13:28:05 Starting compiler/encoders/ag32/proofs
Aug 10 13:30:33 Finished compiler/encoders/ag32/proofs                         2m27s 883MB
Aug 10 13:30:33 Starting compiler/backend/x64/proofs
Aug 10 13:30:50 Finished compiler/backend/x64/proofs                             15s   1GB
Aug 10 13:30:50 Starting compiler/backend/arm7/proofs
Aug 10 13:31:07 Finished compiler/backend/arm7/proofs                            16s   1GB
Aug 10 13:31:07 Starting compiler/backend/arm8/proofs
Aug 10 13:31:24 Finished compiler/backend/arm8/proofs                            16s   1GB
Aug 10 13:31:24 Starting compiler/backend/mips/proofs
Aug 10 13:31:41 Finished compiler/backend/mips/proofs                            16s   1GB
Aug 10 13:31:41 Starting compiler/backend/riscv/proofs
Aug 10 13:31:57 Finished compiler/backend/riscv/proofs                           16s   1GB
Aug 10 13:31:58 Starting compiler/backend/ag32/proofs
Aug 10 13:40:52 Finished compiler/backend/ag32/proofs                          8m53s   2GB
Aug 10 13:40:52 Starting compiler/proofs
Aug 10 13:42:16 Finished compiler/proofs                                       1m22s   2GB
Aug 10 13:42:16 Starting candle/set-theory
Aug 10 13:42:42 Finished candle/set-theory                                       25s 719MB
Aug 10 13:42:42 Starting candle/syntax-lib
Aug 10 13:42:52 Finished candle/syntax-lib                                        9s 615MB
Aug 10 13:42:52 Starting candle/standard/syntax
Aug 10 13:44:33 Finished candle/standard/syntax                                1m40s   1GB
Aug 10 13:44:33 Starting candle/standard/semantics
Aug 10 13:46:07 Finished candle/standard/semantics                             1m33s   1GB
Aug 10 13:46:08 Starting candle/standard/monadic
Aug 10 13:47:38 Finished candle/standard/monadic                               1m29s   1GB
Aug 10 13:47:38 Starting candle/standard/ml_kernel
Aug 10 13:51:19 Finished candle/standard/ml_kernel                             3m41s   5GB
Aug 10 13:51:20 Starting candle/standard/opentheory
Aug 10 14:00:03 Finished candle/standard/opentheory                            8m42s   2GB
Aug 10 14:00:03 Starting candle/standard/opentheory/compilation
Aug 10 14:29:50 Finished candle/standard/opentheory/compilation               29m46s  25GB
Aug 10 14:29:51 Starting candle/standard/opentheory/compilation/proofs
Aug 10 14:30:23 Finished candle/standard/opentheory/compilation/proofs           32s   3GB
Aug 10 14:30:23 Starting characteristic/examples
Aug 10 14:31:50 Finished characteristic/examples                               1m25s   2GB
Aug 10 14:31:50 Starting tutorial/solutions
Aug 10 14:44:53 Finished tutorial/solutions                                   13m02s   6GB
Aug 10 14:44:53 Starting translator/monadic/examples
Aug 10 14:47:45 Finished translator/monadic/examples                           2m51s   2GB
Aug 10 14:47:46 Starting examples
Aug 10 14:56:35 Finished examples                                              8m49s   3GB
Aug 10 14:56:35 Starting examples/compilation/x64
Aug 10 16:59:00 Finished examples/compilation/x64                           2h02m24s  12GB
Aug 10 16:59:01 Starting examples/compilation/x64/proofs
Aug 10 17:00:30 Finished examples/compilation/x64/proofs                       1m28s   2GB
Aug 10 17:00:30 Starting examples/compilation/ag32
Aug 10 17:28:31 Finished examples/compilation/ag32                            28m01s   5GB
Aug 10 17:28:32 Starting examples/compilation/ag32/proofs
Aug 10 17:29:11 Finished examples/compilation/ag32/proofs                        38s   3GB
Aug 10 17:29:12 Starting translator/okasaki-examples
Aug 10 17:33:12 Finished translator/okasaki-examples                           3m59s   1GB
Aug 10 17:33:12 Starting translator/other-examples
Aug 10 17:36:30 Finished translator/other-examples                             3m18s   1GB
Aug 10 17:36:31 Starting compiler/parsing/tests
Aug 10 17:36:55 Finished compiler/parsing/tests                                  23s 533MB
Aug 10 17:36:55 Starting compiler/inference/tests
Aug 10 17:41:06 Finished compiler/inference/tests                              4m09s   4GB
Aug 10 17:41:06 Starting compiler/bootstrap/translation
Aug 10 20:09:56 Finished compiler/bootstrap/translation                     2h28m49s  35GB
Aug 10 20:09:56 Starting unverified/sexpr-bootstrap/x64/64
Aug 10 20:22:16 Finished unverified/sexpr-bootstrap/x64/64                    12m18s   3GB
Aug 10 20:22:16 Starting unverified/sexpr-bootstrap/x64/32
Aug 10 20:31:03 Finished unverified/sexpr-bootstrap/x64/32                     8m45s   5GB
Aug 10 20:31:03 Starting compiler/benchmarks
Aug 10 21:07:33 Finished compiler/benchmarks                                  36m29s   2GB
Aug 10 21:07:33 Starting compiler/bootstrap/compilation/x64/64
Aug 11 09:03:49 Finished compiler/bootstrap/compilation/x64/64             11h56m14s  64GB
Aug 11 09:03:49 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 11 09:06:18 Finished compiler/bootstrap/compilation/x64/64/proofs          2m28s   9GB
Aug 11 09:06:19 Starting compiler/bootstrap/compilation/x64/32
Aug 11 20:12:47 Finished compiler/bootstrap/compilation/x64/32             11h06m27s  64GB
Aug 11 20:12:47 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 11 20:15:23 Finished compiler/bootstrap/compilation/x64/32/proofs          2m35s  10GB
Aug 11 20:15:23 Starting compiler/bootstrap/compilation/ag32/32
Aug 12 08:41:33 Finished compiler/bootstrap/compilation/ag32/32            12h26m09s  64GB
Aug 12 08:41:33 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 12 09:20:40 Finished compiler/bootstrap/compilation/ag32/32/proofs        39m06s  22GB
Aug 12 09:20:41 SUCCESS