Job 1968

CakeML:7bd98104b8943b693a937b4e2c05bd61e44cca91
  Use loads/needs instead of #load/#need in REPL [Aug 16 11:13:50]
#904 (candle_boot-fixes)
Merging into: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

Aug 18 08:21:32 Claimed job
Aug 18 08:21:34 Reusing HOL
Aug 18 08:21:48 Starting developers
Aug 18 08:21:52 Finished developers                                               4s 130MB
Aug 18 08:21:53 Starting developers/bin
Aug 18 08:22:00 Finished developers/bin                                           7s   1GB
Aug 18 08:22:00 Starting semantics/ffi
Aug 18 08:22:09 Finished semantics/ffi                                            8s 230MB
Aug 18 08:22:09 Starting semantics
Aug 18 08:24:31 Finished semantics                                             2m21s   1GB
Aug 18 08:24:31 Starting semantics/proofs
Aug 18 08:31:31 Finished semantics/proofs                                      6m59s   1GB
Aug 18 08:31:31 Starting semantics/alt_semantics
Aug 18 08:31:57 Finished semantics/alt_semantics                                 25s 610MB
Aug 18 08:31:57 Starting semantics/alt_semantics/proofs
Aug 18 08:43:27 Finished semantics/alt_semantics/proofs                       11m30s   1GB
Aug 18 08:43:28 Starting basis/pure
Aug 18 08:44:32 Finished basis/pure                                            1m03s 828MB
Aug 18 08:44:32 Starting translator
Aug 18 08:48:11 Finished translator                                            3m39s   2GB
Aug 18 08:48:12 Starting compiler/parsing
Aug 18 08:49:37 Finished compiler/parsing                                      1m25s   5GB
Aug 18 08:49:37 Starting characteristic
Aug 18 08:56:24 Finished characteristic                                        6m46s   2GB
Aug 18 08:56:24 Starting translator/monadic
Aug 18 08:58:22 Finished translator/monadic                                    1m57s   1GB
Aug 18 08:58:23 Starting basis
Aug 18 09:49:38 Finished basis                                                51m13s  13GB
Aug 18 09:49:38 Starting compiler/inference
Aug 18 09:51:07 Finished compiler/inference                                    1m28s   1GB
Aug 18 09:51:07 Starting compiler/backend/reg_alloc
Aug 18 09:52:50 Finished compiler/backend/reg_alloc                            1m43s   1GB
Aug 18 09:52:51 Starting compiler/backend/gc
Aug 18 09:57:07 Finished compiler/backend/gc                                   4m16s   1GB
Aug 18 09:57:07 Starting compiler/backend
Aug 18 10:02:43 Finished compiler/backend                                      5m36s   3GB
Aug 18 10:02:43 Starting compiler/encoders/asm
Aug 18 10:03:13 Finished compiler/encoders/asm                                   29s 857MB
Aug 18 10:03:13 Starting compiler/encoders/x64
Aug 18 10:03:42 Finished compiler/encoders/x64                                   28s 938MB
Aug 18 10:03:42 Starting compiler/encoders/arm7
Aug 18 10:04:35 Finished compiler/encoders/arm7                                  53s   1GB
Aug 18 10:04:36 Starting compiler/encoders/arm8
Aug 18 10:04:53 Finished compiler/encoders/arm8                                  17s 834MB
Aug 18 10:04:53 Starting compiler/encoders/arm8_asl
Aug 18 10:07:24 Finished compiler/encoders/arm8_asl                            2m30s   1GB
Aug 18 10:07:24 Starting compiler/encoders/mips
Aug 18 10:07:45 Finished compiler/encoders/mips                                  20s   1GB
Aug 18 10:07:45 Starting compiler/encoders/riscv
Aug 18 10:08:04 Finished compiler/encoders/riscv                                 18s 822MB
Aug 18 10:08:04 Starting compiler/encoders/ag32
Aug 18 10:08:24 Finished compiler/encoders/ag32                                  20s 737MB
Aug 18 10:08:24 Starting compiler/backend/x64
Aug 18 10:08:45 Finished compiler/backend/x64                                    20s   1GB
Aug 18 10:08:45 Starting compiler/backend/arm7
Aug 18 10:09:08 Finished compiler/backend/arm7                                   22s   1GB
Aug 18 10:09:08 Starting compiler/backend/arm8
Aug 18 10:09:29 Finished compiler/backend/arm8                                   20s   1GB
Aug 18 10:09:29 Starting compiler/backend/mips
Aug 18 10:09:49 Finished compiler/backend/mips                                   20s   1GB
Aug 18 10:09:49 Starting compiler/backend/riscv
Aug 18 10:10:10 Finished compiler/backend/riscv                                  20s   1GB
Aug 18 10:10:10 Starting compiler/backend/ag32
Aug 18 10:11:37 Finished compiler/backend/ag32                                 1m26s   1GB
Aug 18 10:11:37 Starting compiler/parsing/proofs
Aug 18 10:15:20 Finished compiler/parsing/proofs                               3m43s   1GB
Aug 18 10:15:20 Starting compiler/inference/proofs
Aug 18 10:18:03 Finished compiler/inference/proofs                             2m42s   1GB
Aug 18 10:18:04 Starting compiler/backend/semantics
Aug 18 10:44:36 Finished compiler/backend/semantics                           26m32s   1GB
Aug 18 10:44:36 Starting compiler/backend/reg_alloc/proofs
Aug 18 10:48:08 Finished compiler/backend/reg_alloc/proofs                     3m31s   1GB
Aug 18 10:48:09 Starting compiler/backend/proofs
Aug 18 11:42:33 Finished compiler/backend/proofs                              54m23s  17GB
Aug 18 11:42:33 Starting compiler/backend/serialiser
Aug 18 11:44:02 Finished compiler/backend/serialiser                           1m27s   2GB
Aug 18 11:44:02 Starting compiler/encoders/x64/proofs
Aug 18 11:53:50 Finished compiler/encoders/x64/proofs                          9m48s   4GB
Aug 18 11:53:50 Starting compiler/encoders/arm7/proofs
Aug 18 12:07:21 Finished compiler/encoders/arm7/proofs                        13m30s   7GB
Aug 18 12:07:21 Starting compiler/encoders/arm8/proofs
Aug 18 12:14:15 Finished compiler/encoders/arm8/proofs                         6m53s   1GB
Aug 18 12:14:15 Starting compiler/encoders/arm8_asl/proofs
Aug 18 12:29:56 Finished compiler/encoders/arm8_asl/proofs                    15m41s   2GB
Aug 18 12:29:56 Starting compiler/encoders/mips/proofs
Aug 18 12:40:19 Finished compiler/encoders/mips/proofs                        10m22s   2GB
Aug 18 12:40:19 Starting compiler/encoders/riscv/proofs
Aug 18 12:49:20 Finished compiler/encoders/riscv/proofs                        8m58s   1GB
Aug 18 12:49:20 Starting compiler/encoders/ag32/proofs
Aug 18 12:51:55 Finished compiler/encoders/ag32/proofs                         2m35s 902MB
Aug 18 12:51:55 Starting compiler/backend/x64/proofs
Aug 18 12:52:20 Finished compiler/backend/x64/proofs                             25s   1GB
Aug 18 12:52:21 Starting compiler/backend/arm7/proofs
Aug 18 12:52:47 Finished compiler/backend/arm7/proofs                            26s   1GB
Aug 18 12:52:48 Starting compiler/backend/arm8/proofs
Aug 18 12:53:13 Finished compiler/backend/arm8/proofs                            25s   1GB
Aug 18 12:53:14 Starting compiler/backend/arm8_asl
Aug 18 12:53:33 Finished compiler/backend/arm8_asl                               19s   1GB
Aug 18 12:53:33 Starting compiler/backend/mips/proofs
Aug 18 12:53:59 Finished compiler/backend/mips/proofs                            25s   1GB
Aug 18 12:53:59 Starting compiler/backend/riscv/proofs
Aug 18 12:54:26 Finished compiler/backend/riscv/proofs                           26s   1GB
Aug 18 12:54:26 Starting compiler/backend/ag32/proofs
Aug 18 13:08:13 Finished compiler/backend/ag32/proofs                         13m46s   2GB
Aug 18 13:08:13 Starting compiler/proofs
Aug 18 13:10:16 Finished compiler/proofs                                       2m03s   3GB
Aug 18 13:10:17 Starting candle/set-theory
Aug 18 13:10:50 Finished candle/set-theory                                       33s   1GB
Aug 18 13:10:51 Starting candle/syntax-lib
Aug 18 13:11:03 Finished candle/syntax-lib                                       12s 651MB
Aug 18 13:11:03 Starting candle/standard/syntax
Aug 18 13:13:04 Finished candle/standard/syntax                                2m00s   1GB
Aug 18 13:13:04 Starting candle/standard/semantics
Aug 18 13:14:48 Finished candle/standard/semantics                             1m43s   1GB
Aug 18 13:14:48 Starting candle/standard/monadic
Aug 18 13:16:42 Finished candle/standard/monadic                               1m53s   1GB
Aug 18 13:16:42 Starting candle/standard/ml_kernel
Aug 18 13:23:05 Finished candle/standard/ml_kernel                             6m22s   4GB
Aug 18 13:23:05 Starting candle/overloading/syntax
Aug 18 13:26:15 Finished candle/overloading/syntax                             3m10s   1GB
Aug 18 13:26:15 Starting candle/overloading/semantics
Aug 18 13:38:04 Finished candle/overloading/semantics                         11m48s   2GB
Aug 18 13:38:04 Starting candle/overloading/monadic
Aug 18 13:40:37 Finished candle/overloading/monadic                            2m33s   1GB
Aug 18 13:40:38 Starting candle/overloading/ml_kernel
Aug 18 13:48:02 Finished candle/overloading/ml_kernel                          7m24s   3GB
Aug 18 13:48:03 Starting candle/overloading/ml_checker
Aug 18 13:50:31 Finished candle/overloading/ml_checker                         2m25s   2GB
Aug 18 13:50:33 Starting candle/prover
Aug 18 14:01:04 Finished candle/prover                                        10m30s   2GB
Aug 18 14:01:04 Starting pancake
Aug 18 14:04:06 Finished pancake                                               3m02s   3GB
Aug 18 14:04:07 Starting pancake/ffi
Aug 18 14:04:07 Finished pancake/ffi                                              0s  25MB
Aug 18 14:04:07 Starting pancake/semantics
Aug 18 14:06:30 Finished pancake/semantics                                     2m22s   1GB
Aug 18 14:06:30 Starting pancake/proofs
Aug 18 14:18:33 Finished pancake/proofs                                       12m02s   5GB
Aug 18 14:18:33 Starting characteristic/examples
Aug 18 14:19:56 Finished characteristic/examples                               1m22s   2GB
Aug 18 14:19:56 Starting tutorial/solutions
Aug 18 14:35:41 Finished tutorial/solutions                                   15m45s   9GB
Aug 18 14:35:41 Starting translator/monadic/examples
Aug 18 14:39:23 Finished translator/monadic/examples                           3m42s   2GB
Aug 18 14:39:24 Starting examples
Aug 18 14:49:04 Finished examples                                              9m40s   4GB
Aug 18 14:49:04 Starting examples/compilation/x64
Aug 18 16:52:31 Finished examples/compilation/x64                           2h03m25s  13GB
Aug 18 16:52:31 Starting examples/compilation/x64/proofs
Aug 18 16:54:47 Finished examples/compilation/x64/proofs                       2m16s   2GB
Aug 18 16:54:48 Starting examples/compilation/ag32
Aug 18 17:28:02 Finished examples/compilation/ag32                            33m14s   8GB
Aug 18 17:28:02 Starting examples/compilation/ag32/proofs
Aug 18 17:28:52 Finished examples/compilation/ag32/proofs                        49s   3GB
Aug 18 17:28:52 Starting examples/lpr_checker
Aug 18 17:29:50 Finished examples/lpr_checker                                    57s 976MB
Aug 18 17:29:50 Starting examples/lpr_checker/array
Aug 18 18:03:19 Finished examples/lpr_checker/array                           33m27s   6GB
Aug 18 18:03:19 Starting examples/lpr_checker/array/compilation
Aug 18 18:42:25 Finished examples/lpr_checker/array/compilation               39m06s  24GB
Aug 18 18:42:26 Starting examples/lpr_checker/array/compilation/proofs
Aug 18 18:43:44 Finished examples/lpr_checker/array/compilation/proofs         1m18s   6GB
Aug 18 18:43:45 Starting examples/opentheory
Aug 18 18:54:19 Finished examples/opentheory                                  10m34s   6GB
Aug 18 18:54:20 Starting examples/opentheory
Aug 18 18:54:21 Finished examples/opentheory                                      1s 139MB
Aug 18 18:54:21 Starting examples/opentheory/compilation
Aug 18 19:31:15 Finished examples/opentheory/compilation                      36m50s  29GB
Aug 18 19:31:15 Starting examples/opentheory/compilation/proofs
Aug 18 19:32:17 Finished examples/opentheory/compilation/proofs                1m02s   3GB
Aug 18 19:32:17 Starting examples/opentheory/compilation/ag32
Aug 18 20:06:03 Finished examples/opentheory/compilation/ag32                 33m45s  24GB
Aug 18 20:06:03 Starting examples/opentheory/compilation/ag32/proofs
Aug 18 20:07:43 Finished examples/opentheory/compilation/ag32/proofs           1m39s   5GB
Aug 18 20:07:43 Starting examples/sat_encodings
Aug 18 20:09:30 Finished examples/sat_encodings                                1m46s 748MB
Aug 18 20:09:30 Starting examples/sat_encodings/case_studies
Aug 18 20:11:05 Finished examples/sat_encodings/case_studies                   1m35s 759MB
Aug 18 20:11:06 Starting examples/sat_encodings/translation
Aug 18 20:16:46 Finished examples/sat_encodings/translation                    5m40s   4GB
Aug 18 20:16:47 Starting examples/sat_encodings/translation/compilation
Aug 18 21:03:05 Finished examples/sat_encodings/translation/compilation       46m16s  20GB
Aug 18 21:03:05 Starting examples/deflate
Aug 18 21:03:56 Finished examples/deflate                                        50s 886MB
Aug 18 21:03:56 Starting examples/deflate/translation
Aug 18 21:05:25 Finished examples/deflate/translation                          1m29s   3GB
Aug 18 21:05:26 Starting examples/deflate/translation/compilation
Aug 18 21:25:54 Finished examples/deflate/translation/compilation             20m27s  11GB
Aug 18 21:25:54 Starting translator/okasaki-examples
Aug 18 21:30:46 Finished translator/okasaki-examples                           4m52s   1GB
Aug 18 21:30:46 Starting translator/other-examples
Aug 18 21:31:31 Finished translator/other-examples                               44s   1GB
Aug 18 21:31:31 Starting compiler/parsing/tests
Aug 18 21:32:01 Finished compiler/parsing/tests                                  29s 655MB
Aug 18 21:32:01 Starting compiler/inference/tests
Aug 18 21:40:27 Finished compiler/inference/tests                              8m26s   5GB
Aug 18 21:40:27 Starting compiler/printing/test
Aug 18 21:44:02 Finished compiler/printing/test                                3m34s   3GB
Aug 18 21:44:02 Starting icing/flover
Aug 18 22:27:58 Finished icing/flover                                         43m55s   1GB
Aug 18 22:27:59 Starting icing/
Aug 18 23:26:30 Finished icing/                                               58m30s   8GB
Aug 18 23:26:30 Starting icing/examples
Aug 18 23:28:07 Finished icing/examples                                        1m35s   4GB
Aug 18 23:28:07 Starting compiler/repl
Aug 18 23:41:09 Finished compiler/repl                                        13m01s   6GB
Aug 18 23:41:09 Starting compiler/bootstrap/translation
Aug 19 03:57:25 Finished compiler/bootstrap/translation                     4h16m15s  39GB
Aug 19 03:57:25 Starting unverified/sexpr-bootstrap/x64/64
Aug 19 04:09:35 Finished unverified/sexpr-bootstrap/x64/64                    12m09s   8GB
Aug 19 04:09:35 Starting unverified/sexpr-bootstrap/x64/32
Aug 19 04:19:11 Finished unverified/sexpr-bootstrap/x64/32                     9m35s  11GB
Aug 19 04:19:11 Starting compiler/benchmarks
Aug 19 04:20:07 Finished compiler/benchmarks                                     55s 674MB
Aug 19 04:20:07 Starting compiler/bootstrap/compilation/x64/64
Aug 19 15:22:00 Finished compiler/bootstrap/compilation/x64/64             11h01m51s  64GB
Aug 19 15:22:00 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 19 15:41:35 Finished compiler/bootstrap/compilation/x64/64/proofs         19m34s  23GB
Aug 19 15:41:35 Starting compiler/bootstrap/compilation/x64/32
Aug 19 21:56:45 Finished compiler/bootstrap/compilation/x64/32              6h15m08s  64GB
Aug 19 21:56:45 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 19 21:59:15 Finished compiler/bootstrap/compilation/x64/32/proofs          2m30s  13GB
Aug 19 21:59:16 Starting compiler/bootstrap/compilation/ag32/32
Aug 20 04:34:11 Finished compiler/bootstrap/compilation/ag32/32             6h34m54s  63GB
Aug 20 04:34:11 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 20 04:39:56 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m45s  33GB
Aug 20 04:39:56 SUCCESS