Job 1967

CakeML:e9979940966c347b3beefe06532ab8236f167997
  add cdecl around buffers in x64 exporter [Aug 09 15:14:02]
HOL:4dc3e640ed0a0d518b648301406cc676a4973acd
  Holmake: cache/memoise results of wildcard function [Aug 15 01:32:42]
Machine:stove 4.15.0-143-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 16 09:27:53 Claimed job
Aug 16 09:27:59 Building HOL
Aug 16 09:39:06 Starting developers
Aug 16 09:39:10 Finished developers                                               4s 141MB
Aug 16 09:39:10 Starting developers/bin
Aug 16 09:39:17 Finished developers/bin                                           6s   1GB
Aug 16 09:39:17 Starting semantics/ffi
Aug 16 09:39:25 Finished semantics/ffi                                            8s 223MB
Aug 16 09:39:25 Starting semantics
Aug 16 09:41:58 Finished semantics                                             2m32s   1GB
Aug 16 09:41:58 Starting semantics/proofs
Aug 16 09:49:06 Finished semantics/proofs                                      7m07s   1GB
Aug 16 09:49:06 Starting semantics/alt_semantics
Aug 16 09:49:32 Finished semantics/alt_semantics                                 25s 578MB
Aug 16 09:49:32 Starting semantics/alt_semantics/proofs
Aug 16 10:01:05 Finished semantics/alt_semantics/proofs                       11m33s   1GB
Aug 16 10:01:06 Starting basis/pure
Aug 16 10:04:40 Finished basis/pure                                            3m34s   1GB
Aug 16 10:04:40 Starting translator
Aug 16 10:08:19 Finished translator                                            3m38s   1GB
Aug 16 10:08:19 Starting compiler/parsing
Aug 16 10:09:48 Finished compiler/parsing                                      1m29s   4GB
Aug 16 10:09:48 Starting characteristic
Aug 16 10:16:34 Finished characteristic                                        6m45s   1GB
Aug 16 10:16:34 Starting translator/monadic
Aug 16 10:18:32 Finished translator/monadic                                    1m57s   1GB
Aug 16 10:18:32 Starting basis
Aug 16 11:09:20 Finished basis                                                50m46s  18GB
Aug 16 11:09:20 Starting compiler/inference
Aug 16 11:10:58 Finished compiler/inference                                    1m37s   1GB
Aug 16 11:10:58 Starting compiler/backend/reg_alloc
Aug 16 11:12:42 Finished compiler/backend/reg_alloc                            1m43s   1GB
Aug 16 11:12:42 Starting compiler/backend/gc
Aug 16 11:17:04 Finished compiler/backend/gc                                   4m22s   3GB
Aug 16 11:17:04 Starting compiler/backend
Aug 16 11:22:40 Finished compiler/backend                                      5m35s   2GB
Aug 16 11:22:40 Starting compiler/encoders/asm
Aug 16 11:23:10 Finished compiler/encoders/asm                                   29s 847MB
Aug 16 11:23:10 Starting compiler/encoders/x64
Aug 16 11:24:17 Finished compiler/encoders/x64                                 1m06s   1GB
Aug 16 11:24:17 Starting compiler/encoders/arm7
Aug 16 11:26:20 Finished compiler/encoders/arm7                                2m03s   1GB
Aug 16 11:26:20 Starting compiler/encoders/arm8
Aug 16 11:27:02 Finished compiler/encoders/arm8                                  41s 994MB
Aug 16 11:27:02 Starting compiler/encoders/arm8_asl
Aug 16 13:44:59 Finished compiler/encoders/arm8_asl                         2h17m55s  31GB
Aug 16 13:44:59 Starting compiler/encoders/mips
Aug 16 13:46:31 Finished compiler/encoders/mips                                1m32s   1GB
Aug 16 13:46:32 Starting compiler/encoders/riscv
Aug 16 13:48:19 Finished compiler/encoders/riscv                               1m46s   1GB
Aug 16 13:48:19 Starting compiler/encoders/ag32
Aug 16 13:48:40 Finished compiler/encoders/ag32                                  20s 608MB
Aug 16 13:48:40 Starting compiler/backend/x64
Aug 16 13:49:00 Finished compiler/backend/x64                                    20s   1GB
Aug 16 13:49:01 Starting compiler/backend/arm7
Aug 16 13:49:23 Finished compiler/backend/arm7                                   22s   1GB
Aug 16 13:49:23 Starting compiler/backend/arm8
Aug 16 13:49:44 Finished compiler/backend/arm8                                   20s   1GB
Aug 16 13:49:44 Starting compiler/backend/mips
Aug 16 13:50:05 Finished compiler/backend/mips                                   20s   1GB
Aug 16 13:50:05 Starting compiler/backend/riscv
Aug 16 13:50:27 Finished compiler/backend/riscv                                  21s   1GB
Aug 16 13:50:27 Starting compiler/backend/ag32
Aug 16 13:51:53 Finished compiler/backend/ag32                                 1m25s   1GB
Aug 16 13:51:53 Starting compiler/parsing/proofs
Aug 16 13:55:36 Finished compiler/parsing/proofs                               3m43s   1GB
Aug 16 13:55:37 Starting compiler/inference/proofs
Aug 16 13:58:21 Finished compiler/inference/proofs                             2m43s   1GB
Aug 16 13:58:21 Starting compiler/backend/semantics
Aug 16 14:24:27 Finished compiler/backend/semantics                           26m06s   2GB
Aug 16 14:24:27 Starting compiler/backend/reg_alloc/proofs
Aug 16 14:28:00 Finished compiler/backend/reg_alloc/proofs                     3m32s   1GB
Aug 16 14:28:00 Starting compiler/backend/proofs
Aug 16 15:22:06 Finished compiler/backend/proofs                              54m04s  15GB
Aug 16 15:22:06 Starting compiler/backend/serialiser
Aug 16 15:23:35 Finished compiler/backend/serialiser                           1m28s   2GB
Aug 16 15:23:35 Starting compiler/encoders/x64/proofs
Aug 16 15:33:18 Finished compiler/encoders/x64/proofs                          9m42s   5GB
Aug 16 15:33:18 Starting compiler/encoders/arm7/proofs
Aug 16 15:46:42 Finished compiler/encoders/arm7/proofs                        13m23s   7GB
Aug 16 15:46:42 Starting compiler/encoders/arm8/proofs
Aug 16 15:53:38 Finished compiler/encoders/arm8/proofs                         6m55s   1GB
Aug 16 15:53:38 Starting compiler/encoders/arm8_asl/proofs
Aug 16 16:45:19 Finished compiler/encoders/arm8_asl/proofs                    51m38s   6GB
Aug 16 16:45:20 Starting compiler/encoders/mips/proofs
Aug 16 16:55:44 Finished compiler/encoders/mips/proofs                        10m24s   2GB
Aug 16 16:55:44 Starting compiler/encoders/riscv/proofs
Aug 16 17:04:41 Finished compiler/encoders/riscv/proofs                        8m56s   1GB
Aug 16 17:04:41 Starting compiler/encoders/ag32/proofs
Aug 16 17:07:18 Finished compiler/encoders/ag32/proofs                         2m36s 899MB
Aug 16 17:07:18 Starting compiler/backend/x64/proofs
Aug 16 17:07:44 Finished compiler/backend/x64/proofs                             25s   1GB
Aug 16 17:07:44 Starting compiler/backend/arm7/proofs
Aug 16 17:08:11 Finished compiler/backend/arm7/proofs                            26s   1GB
Aug 16 17:08:11 Starting compiler/backend/arm8/proofs
Aug 16 17:08:36 Finished compiler/backend/arm8/proofs                            25s   1GB
Aug 16 17:08:36 Starting compiler/backend/arm8_asl
Aug 16 17:08:56 Finished compiler/backend/arm8_asl                               19s   1GB
Aug 16 17:08:56 Starting compiler/backend/mips/proofs
Aug 16 17:09:21 Finished compiler/backend/mips/proofs                            25s   1GB
Aug 16 17:09:21 Starting compiler/backend/riscv/proofs
Aug 16 17:09:47 Finished compiler/backend/riscv/proofs                           25s   1GB
Aug 16 17:09:47 Starting compiler/backend/ag32/proofs
Aug 16 17:23:46 Finished compiler/backend/ag32/proofs                         13m58s   2GB
Aug 16 17:23:46 Starting compiler/proofs
Aug 16 17:26:05 Finished compiler/proofs                                       2m18s   3GB
Aug 16 17:26:05 Starting candle/set-theory
Aug 16 17:26:40 Finished candle/set-theory                                       34s 886MB
Aug 16 17:26:40 Starting candle/syntax-lib
Aug 16 17:26:53 Finished candle/syntax-lib                                       13s 673MB
Aug 16 17:26:53 Starting candle/standard/syntax
Aug 16 17:28:55 Finished candle/standard/syntax                                2m01s   1GB
Aug 16 17:28:55 Starting candle/standard/semantics
Aug 16 17:30:39 Finished candle/standard/semantics                             1m43s   1GB
Aug 16 17:30:39 Starting candle/standard/monadic
Aug 16 17:32:35 Finished candle/standard/monadic                               1m55s   2GB
Aug 16 17:32:35 Starting candle/standard/ml_kernel
Aug 16 17:38:55 Finished candle/standard/ml_kernel                             6m20s   3GB
Aug 16 17:38:56 Starting candle/overloading/syntax
Aug 16 17:42:08 Finished candle/overloading/syntax                             3m12s   1GB
Aug 16 17:42:08 Starting candle/overloading/semantics
Aug 16 17:54:06 Finished candle/overloading/semantics                         11m55s   3GB
Aug 16 17:54:06 Starting candle/overloading/monadic
Aug 16 17:56:41 Finished candle/overloading/monadic                            2m34s   1GB
Aug 16 17:56:41 Starting candle/overloading/ml_kernel
Aug 16 18:04:07 Finished candle/overloading/ml_kernel                          7m25s   3GB
Aug 16 18:04:07 Starting candle/overloading/ml_checker
Aug 16 18:06:33 Finished candle/overloading/ml_checker                         2m25s   2GB
Aug 16 18:06:33 Starting candle/prover
Aug 16 18:16:53 Finished candle/prover                                        10m20s   2GB
Aug 16 18:16:53 Starting pancake
Aug 16 18:19:55 Finished pancake                                               3m01s   3GB
Aug 16 18:19:55 Starting pancake/ffi
Aug 16 18:19:55 Finished pancake/ffi                                              0s  25MB
Aug 16 18:19:55 Starting pancake/semantics
Aug 16 18:22:20 Finished pancake/semantics                                     2m24s   1GB
Aug 16 18:22:20 Starting pancake/proofs
Aug 16 18:34:44 Finished pancake/proofs                                       12m23s   6GB
Aug 16 18:34:44 Starting characteristic/examples
Aug 16 18:36:08 Finished characteristic/examples                               1m23s   2GB
Aug 16 18:36:08 Starting tutorial/solutions
Aug 16 18:51:51 Finished tutorial/solutions                                   15m42s   9GB
Aug 16 18:51:51 Starting translator/monadic/examples
Aug 16 18:55:37 Finished translator/monadic/examples                           3m45s   2GB
Aug 16 18:55:38 Starting examples
Aug 16 19:05:25 Finished examples                                              9m47s   3GB
Aug 16 19:05:25 Starting examples/compilation/x64
Aug 16 21:07:59 Finished examples/compilation/x64                           2h02m32s  18GB
Aug 16 21:07:59 Starting examples/compilation/x64/proofs
Aug 16 21:09:55 Finished examples/compilation/x64/proofs                       1m55s   3GB
Aug 16 21:09:55 Starting examples/compilation/ag32
Aug 16 21:42:54 Finished examples/compilation/ag32                            32m58s   8GB
Aug 16 21:42:54 Starting examples/compilation/ag32/proofs
Aug 16 21:43:44 Finished examples/compilation/ag32/proofs                        49s   3GB
Aug 16 21:43:44 Starting examples/lpr_checker
Aug 16 21:44:42 Finished examples/lpr_checker                                    57s 976MB
Aug 16 21:44:42 Starting examples/lpr_checker/array
Aug 16 22:18:09 Finished examples/lpr_checker/array                           33m26s   5GB
Aug 16 22:18:10 Starting examples/lpr_checker/array/compilation
Aug 16 22:56:34 Finished examples/lpr_checker/array/compilation               38m23s  21GB
Aug 16 22:56:34 Starting examples/lpr_checker/array/compilation/proofs
Aug 16 22:57:51 Finished examples/lpr_checker/array/compilation/proofs         1m17s   6GB
Aug 16 22:57:52 Starting examples/opentheory
Aug 16 23:08:17 Finished examples/opentheory                                  10m25s   5GB
Aug 16 23:08:17 Starting examples/opentheory
Aug 16 23:08:18 Finished examples/opentheory                                      1s 140MB
Aug 16 23:08:18 Starting examples/opentheory/compilation
Aug 16 23:45:21 Finished examples/opentheory/compilation                      37m01s  29GB
Aug 16 23:45:21 Starting examples/opentheory/compilation/proofs
Aug 16 23:46:07 Finished examples/opentheory/compilation/proofs                  46s   3GB
Aug 16 23:46:07 Starting examples/opentheory/compilation/ag32
Aug 17 00:20:16 Finished examples/opentheory/compilation/ag32                 34m08s  26GB
Aug 17 00:20:16 Starting examples/opentheory/compilation/ag32/proofs
Aug 17 00:21:58 Finished examples/opentheory/compilation/ag32/proofs           1m41s   6GB
Aug 17 00:21:58 Starting examples/sat_encodings
Aug 17 00:23:46 Finished examples/sat_encodings                                1m47s 880MB
Aug 17 00:23:46 Starting examples/sat_encodings/case_studies
Aug 17 00:25:22 Finished examples/sat_encodings/case_studies                   1m36s 946MB
Aug 17 00:25:23 Starting examples/sat_encodings/translation
Aug 17 00:31:05 Finished examples/sat_encodings/translation                    5m42s   4GB
Aug 17 00:31:05 Starting examples/sat_encodings/translation/compilation
Aug 17 01:17:31 Finished examples/sat_encodings/translation/compilation       46m24s  18GB
Aug 17 01:17:31 Starting examples/deflate
Aug 17 01:18:24 Finished examples/deflate                                        52s 886MB
Aug 17 01:18:24 Starting examples/deflate/translation
Aug 17 01:19:56 Finished examples/deflate/translation                          1m32s   3GB
Aug 17 01:19:56 Starting examples/deflate/translation/compilation
Aug 17 01:40:38 Finished examples/deflate/translation/compilation             20m41s  12GB
Aug 17 01:40:38 Starting translator/okasaki-examples
Aug 17 01:45:31 Finished translator/okasaki-examples                           4m52s   1GB
Aug 17 01:45:31 Starting translator/other-examples
Aug 17 01:47:49 Finished translator/other-examples                             2m17s   1GB
Aug 17 01:47:49 Starting compiler/parsing/tests
Aug 17 01:48:19 Finished compiler/parsing/tests                                  29s 656MB
Aug 17 01:48:19 Starting compiler/inference/tests
Aug 17 01:56:42 Finished compiler/inference/tests                              8m22s   5GB
Aug 17 01:56:43 Starting compiler/printing/test
Aug 17 02:00:23 Finished compiler/printing/test                                3m39s   3GB
Aug 17 02:00:23 Starting icing/flover
Aug 17 02:45:21 Finished icing/flover                                         44m56s   1GB
Aug 17 02:45:21 Starting icing/
Aug 17 03:44:13 Finished icing/                                               58m51s   8GB
Aug 17 03:44:13 Starting icing/examples
Aug 17 03:45:53 Finished icing/examples                                        1m37s   4GB
Aug 17 03:45:55 Starting compiler/repl
Aug 17 03:58:42 Finished compiler/repl                                        12m47s   7GB
Aug 17 03:58:42 Starting compiler/bootstrap/translation
Aug 17 08:15:32 Finished compiler/bootstrap/translation                     4h16m47s  46GB
Aug 17 08:15:32 Starting unverified/sexpr-bootstrap/x64/64
Aug 17 08:27:36 Finished unverified/sexpr-bootstrap/x64/64                    12m03s   8GB
Aug 17 08:27:36 Starting unverified/sexpr-bootstrap/x64/32
Aug 17 08:37:16 Finished unverified/sexpr-bootstrap/x64/32                     9m39s   9GB
Aug 17 08:37:16 Starting compiler/benchmarks
Aug 17 08:38:12 Finished compiler/benchmarks                                     55s 673MB
Aug 17 08:38:13 Starting compiler/bootstrap/compilation/x64/64
Aug 17 19:14:08 Finished compiler/bootstrap/compilation/x64/64             10h35m52s  64GB
Aug 17 19:14:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 17 19:31:05 Finished compiler/bootstrap/compilation/x64/64/proofs         16m56s  18GB
Aug 17 19:31:05 Starting compiler/bootstrap/compilation/x64/32
Aug 18 01:48:07 Finished compiler/bootstrap/compilation/x64/32              6h16m57s  64GB
Aug 18 01:48:08 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 18 01:50:50 Finished compiler/bootstrap/compilation/x64/32/proofs          2m42s  14GB
Aug 18 01:50:50 Starting compiler/bootstrap/compilation/ag32/32
Aug 18 08:15:38 Finished compiler/bootstrap/compilation/ag32/32             6h24m46s  64GB
Aug 18 08:15:38 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 18 08:21:31 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m52s  36GB
Aug 18 08:21:31 SUCCESS