Job 2024

CakeML:b869e7aec63087d17fae4a8596005752a85fa700
  further reduce memory footprint [Oct 23 06:59:24]
#914 (lpr_parse)
Merging into:8f0d65ee6ef75967a24c98e0efcaef83606cbafe
  Fix some breakage [Oct 26 12:53:15]
HOL:d0be848293e4de8a9b3179ad479e5ee5e184cb35
  Minor update to documentation of splitting fields. [Oct 19 02:06:16]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Oct 26 13:03:35 Claimed job
Oct 26 13:03:40 Reusing HOL
Oct 26 13:04:20 Starting developers
Oct 26 13:04:25 Finished developers                                               5s 151MB
Oct 26 13:04:25 Starting developers/bin
Oct 26 13:04:31 Finished developers/bin                                           5s   1GB
Oct 26 13:04:31 Starting compiler/proofs
Oct 26 14:48:24 Finished compiler/proofs                                    1h43m51s  22GB
Oct 26 14:48:24 Starting compiler/bootstrap/translation
Oct 26 19:38:59 Finished compiler/bootstrap/translation                     4h50m34s  42GB
Oct 26 19:39:00 Starting semantics/ffi
Oct 26 19:39:03 Finished semantics/ffi                                            3s 220MB
Oct 26 19:39:03 Starting semantics
Oct 26 19:39:05 Finished semantics                                                1s  18MB
Oct 26 19:39:05 Starting semantics/proofs
Oct 26 19:39:36 Finished semantics/proofs                                        30s 855MB
Oct 26 19:39:36 Starting semantics/alt_semantics
Oct 26 19:40:04 Finished semantics/alt_semantics                                 28s 532MB
Oct 26 19:40:04 Starting semantics/alt_semantics/proofs
Oct 26 19:51:49 Finished semantics/alt_semantics/proofs                       11m44s   1GB
Oct 26 19:51:49 Starting basis/pure
Oct 26 19:51:50 Finished basis/pure                                               1s  34MB
Oct 26 19:51:51 Starting translator
Oct 26 19:53:38 Finished translator                                            1m47s   1GB
Oct 26 19:53:39 Starting compiler/parsing
Oct 26 19:53:40 Finished compiler/parsing                                         1s  35MB
Oct 26 19:53:40 Starting characteristic
Oct 26 19:53:42 Finished characteristic                                           1s  25MB
Oct 26 19:53:42 Starting translator/monadic
Oct 26 19:53:44 Finished translator/monadic                                       1s  25MB
Oct 26 19:53:44 Starting basis
Oct 26 19:57:10 Finished basis                                                 3m25s   2GB
Oct 26 19:57:10 Starting compiler/inference
Oct 26 19:57:11 Finished compiler/inference                                       1s  22MB
Oct 26 19:57:12 Starting compiler/backend/reg_alloc
Oct 26 19:57:13 Finished compiler/backend/reg_alloc                               1s  19MB
Oct 26 19:57:13 Starting compiler/backend/gc
Oct 26 19:57:15 Finished compiler/backend/gc                                      2s  35MB
Oct 26 19:57:16 Starting compiler/backend
Oct 26 19:57:26 Finished compiler/backend                                        10s 670MB
Oct 26 19:57:27 Starting compiler/encoders/asm
Oct 26 19:57:28 Finished compiler/encoders/asm                                    1s  20MB
Oct 26 19:57:28 Starting compiler/encoders/x64
Oct 26 19:57:30 Finished compiler/encoders/x64                                    1s  31MB
Oct 26 19:57:30 Starting compiler/encoders/arm7
Oct 26 19:57:32 Finished compiler/encoders/arm7                                   1s  19MB
Oct 26 19:57:32 Starting compiler/encoders/arm8
Oct 26 19:57:34 Finished compiler/encoders/arm8                                   1s  34MB
Oct 26 19:57:34 Starting compiler/encoders/arm8_asl
Oct 26 22:18:15 Finished compiler/encoders/arm8_asl                         2h20m40s  39GB
Oct 26 22:18:15 Starting compiler/encoders/mips
Oct 26 22:18:17 Finished compiler/encoders/mips                                   1s  22MB
Oct 26 22:18:17 Starting compiler/encoders/riscv
Oct 26 22:18:19 Finished compiler/encoders/riscv                                  1s  20MB
Oct 26 22:18:19 Starting compiler/encoders/ag32
Oct 26 22:18:21 Finished compiler/encoders/ag32                                   1s  32MB
Oct 26 22:18:21 Starting compiler/backend/x64
Oct 26 22:18:23 Finished compiler/backend/x64                                     2s  35MB
Oct 26 22:18:23 Starting compiler/backend/arm7
Oct 26 22:18:26 Finished compiler/backend/arm7                                    2s  25MB
Oct 26 22:18:26 Starting compiler/backend/arm8
Oct 26 22:18:28 Finished compiler/backend/arm8                                    2s  35MB
Oct 26 22:18:28 Starting compiler/backend/mips
Oct 26 22:18:30 Finished compiler/backend/mips                                    2s  24MB
Oct 26 22:18:30 Starting compiler/backend/riscv
Oct 26 22:18:32 Finished compiler/backend/riscv                                   2s  35MB
Oct 26 22:18:33 Starting compiler/backend/ag32
Oct 26 22:20:00 Finished compiler/backend/ag32                                 1m27s   1GB
Oct 26 22:20:01 Starting compiler/parsing/proofs
Oct 26 22:20:02 Finished compiler/parsing/proofs                                  1s  35MB
Oct 26 22:20:02 Starting compiler/inference/proofs
Oct 26 22:20:04 Finished compiler/inference/proofs                                1s  22MB
Oct 26 22:20:04 Starting compiler/backend/semantics
Oct 26 22:21:10 Finished compiler/backend/semantics                            1m05s   1GB
Oct 26 22:21:10 Starting compiler/backend/reg_alloc/proofs
Oct 26 22:21:12 Finished compiler/backend/reg_alloc/proofs                        1s  34MB
Oct 26 22:21:12 Starting compiler/backend/proofs
Oct 26 22:22:06 Finished compiler/backend/proofs                                 53s   2GB
Oct 26 22:22:06 Starting compiler/backend/serialiser
Oct 26 22:22:09 Finished compiler/backend/serialiser                              2s  34MB
Oct 26 22:22:09 Starting compiler/encoders/x64/proofs
Oct 26 22:32:00 Finished compiler/encoders/x64/proofs                          9m50s   4GB
Oct 26 22:32:00 Starting compiler/encoders/arm7/proofs
Oct 26 22:45:48 Finished compiler/encoders/arm7/proofs                        13m48s   3GB
Oct 26 22:45:49 Starting compiler/encoders/arm8/proofs
Oct 26 22:52:43 Finished compiler/encoders/arm8/proofs                         6m54s   1GB
Oct 26 22:52:44 Starting compiler/encoders/arm8_asl/proofs
Oct 26 23:45:01 Finished compiler/encoders/arm8_asl/proofs                    52m14s   5GB
Oct 26 23:45:01 Starting compiler/encoders/mips/proofs
Oct 26 23:55:44 Finished compiler/encoders/mips/proofs                        10m43s   2GB
Oct 26 23:55:45 Starting compiler/encoders/riscv/proofs
Oct 27 00:04:53 Finished compiler/encoders/riscv/proofs                        9m07s   1GB
Oct 27 00:04:53 Starting compiler/encoders/ag32/proofs
Oct 27 00:07:32 Finished compiler/encoders/ag32/proofs                         2m38s 860MB
Oct 27 00:07:32 Starting compiler/backend/x64/proofs
Oct 27 00:07:59 Finished compiler/backend/x64/proofs                             26s   2GB
Oct 27 00:07:59 Starting compiler/backend/arm7/proofs
Oct 27 00:08:26 Finished compiler/backend/arm7/proofs                            27s   1GB
Oct 27 00:08:27 Starting compiler/backend/arm8/proofs
Oct 27 00:08:54 Finished compiler/backend/arm8/proofs                            27s   1GB
Oct 27 00:08:54 Starting compiler/backend/arm8_asl
Oct 27 00:09:15 Finished compiler/backend/arm8_asl                               20s   1GB
Oct 27 00:09:15 Starting compiler/backend/mips/proofs
Oct 27 00:09:41 Finished compiler/backend/mips/proofs                            26s   1GB
Oct 27 00:09:42 Starting compiler/backend/riscv/proofs
Oct 27 00:10:09 Finished compiler/backend/riscv/proofs                           27s   1GB
Oct 27 00:10:09 Starting compiler/backend/ag32/proofs
Oct 27 00:23:41 Finished compiler/backend/ag32/proofs                         13m31s   2GB
Oct 27 00:23:41 Starting candle/set-theory
Oct 27 00:24:16 Finished candle/set-theory                                       34s 955MB
Oct 27 00:24:16 Starting candle/syntax-lib
Oct 27 00:24:18 Finished candle/syntax-lib                                        1s  34MB
Oct 27 00:24:18 Starting candle/standard/syntax
Oct 27 00:24:27 Finished candle/standard/syntax                                   8s 548MB
Oct 27 00:24:27 Starting candle/standard/semantics
Oct 27 00:26:11 Finished candle/standard/semantics                             1m44s   1GB
Oct 27 00:26:12 Starting candle/standard/monadic
Oct 27 00:26:14 Finished candle/standard/monadic                                  1s  34MB
Oct 27 00:26:14 Starting candle/standard/ml_kernel
Oct 27 00:27:44 Finished candle/standard/ml_kernel                             1m30s   2GB
Oct 27 00:27:45 Starting candle/overloading/syntax
Oct 27 00:31:03 Finished candle/overloading/syntax                             3m18s   1GB
Oct 27 00:31:03 Starting candle/overloading/semantics
Oct 27 00:43:09 Finished candle/overloading/semantics                         12m05s   2GB
Oct 27 00:43:09 Starting candle/overloading/monadic
Oct 27 00:45:48 Finished candle/overloading/monadic                            2m37s   1GB
Oct 27 00:45:48 Starting candle/overloading/ml_kernel
Oct 27 00:53:14 Finished candle/overloading/ml_kernel                          7m25s   3GB
Oct 27 00:53:14 Starting candle/overloading/ml_checker
Oct 27 00:55:39 Finished candle/overloading/ml_checker                         2m24s   3GB
Oct 27 00:55:39 Starting candle/prover
Oct 27 01:05:15 Finished candle/prover                                         9m36s   3GB
Oct 27 01:05:15 Starting pancake
Oct 27 01:08:20 Finished pancake                                               3m04s   4GB
Oct 27 01:08:20 Starting pancake/ffi
Oct 27 01:08:21 Finished pancake/ffi                                              0s  13MB
Oct 27 01:08:21 Starting pancake/semantics
Oct 27 01:10:46 Finished pancake/semantics                                     2m25s   1GB
Oct 27 01:10:46 Starting pancake/proofs
Oct 27 01:13:49 Finished pancake/proofs                                        3m02s   2GB
Oct 27 01:13:49 Starting characteristic/examples
Oct 27 01:15:16 Finished characteristic/examples                               1m26s   4GB
Oct 27 01:15:16 Starting tutorial/solutions
Oct 27 01:31:03 Finished tutorial/solutions                                   15m46s   9GB
Oct 27 01:31:03 Starting translator/monadic/examples
Oct 27 01:34:57 Finished translator/monadic/examples                           3m53s   2GB
Oct 27 01:34:57 Starting examples
Oct 27 01:45:12 Finished examples                                             10m14s   4GB
Oct 27 01:45:12 Starting examples/compilation/x64
Oct 27 03:49:45 Finished examples/compilation/x64                           2h04m31s  16GB
Oct 27 03:49:45 Starting examples/compilation/x64/proofs
Oct 27 03:51:56 Finished examples/compilation/x64/proofs                       2m10s   3GB
Oct 27 03:51:56 Starting examples/compilation/ag32
Oct 27 04:26:02 Finished examples/compilation/ag32                            34m05s   8GB
Oct 27 04:26:02 Starting examples/compilation/ag32/proofs
Oct 27 04:26:53 Finished examples/compilation/ag32/proofs                        50s   3GB
Oct 27 04:26:53 Starting examples/compilation/to_word
Oct 27 04:29:55 Finished examples/compilation/to_word                          3m01s   5GB
Oct 27 04:29:55 Starting examples/lpr_checker
Oct 27 04:30:53 Finished examples/lpr_checker                                    57s   1GB
Oct 27 04:30:53 Starting examples/lpr_checker/array
Oct 27 05:05:33 Finished examples/lpr_checker/array                           34m38s   7GB
Oct 27 05:05:33 Starting examples/lpr_checker/array/compilation
Oct 27 05:45:17 Finished examples/lpr_checker/array/compilation               39m43s  23GB
Oct 27 05:45:17 Starting examples/lpr_checker/array/compilation/proofs
Oct 27 05:46:38 Finished examples/lpr_checker/array/compilation/proofs         1m21s   6GB
Oct 27 05:46:38 Starting examples/opentheory
Oct 27 05:56:59 Finished examples/opentheory                                  10m20s   5GB
Oct 27 05:56:59 Starting examples/opentheory
Oct 27 05:57:01 Finished examples/opentheory                                      1s  34MB
Oct 27 05:57:01 Starting examples/opentheory/compilation
Oct 27 06:34:29 Finished examples/opentheory/compilation                      37m26s  25GB
Oct 27 06:34:29 Starting examples/opentheory/compilation/proofs
Oct 27 06:35:17 Finished examples/opentheory/compilation/proofs                  47s   3GB
Oct 27 06:35:17 Starting examples/opentheory/compilation/ag32
Oct 27 07:10:04 Finished examples/opentheory/compilation/ag32                 34m46s  27GB
Oct 27 07:10:04 Starting examples/opentheory/compilation/ag32/proofs
Oct 27 07:11:47 Finished examples/opentheory/compilation/ag32/proofs           1m42s   3GB
Oct 27 07:11:47 Starting examples/sat_encodings
Oct 27 07:13:34 Finished examples/sat_encodings                                1m47s 712MB
Oct 27 07:13:34 Starting examples/sat_encodings/case_studies
Oct 27 07:15:10 Finished examples/sat_encodings/case_studies                   1m35s   1GB
Oct 27 07:15:10 Starting examples/sat_encodings/translation
Oct 27 07:20:59 Finished examples/sat_encodings/translation                    5m48s   3GB
Oct 27 07:20:59 Starting examples/sat_encodings/translation/compilation
Oct 27 08:08:53 Finished examples/sat_encodings/translation/compilation       47m49s  22GB
Oct 27 08:08:53 Starting examples/deflate
Oct 27 08:09:45 Finished examples/deflate                                        51s 861MB
Oct 27 08:09:45 Starting examples/deflate/translation
Oct 27 08:11:17 Finished examples/deflate/translation                          1m31s   3GB
Oct 27 08:11:17 Starting examples/deflate/translation/compilation
Oct 27 08:32:18 Finished examples/deflate/translation/compilation             21m00s  14GB
Oct 27 08:32:18 Starting translator/okasaki-examples
Oct 27 08:37:19 Finished translator/okasaki-examples                           5m00s   2GB
Oct 27 08:37:19 Starting translator/other-examples
Oct 27 08:39:42 Finished translator/other-examples                             2m22s   1GB
Oct 27 08:39:43 Starting compiler/parsing/tests
Oct 27 08:40:13 Finished compiler/parsing/tests                                  30s 695MB
Oct 27 08:40:13 Starting compiler/inference/tests
Oct 27 08:48:53 Finished compiler/inference/tests                              8m39s   7GB
Oct 27 08:48:53 Starting compiler/printing/test
Oct 27 08:52:22 Finished compiler/printing/test                                3m29s   3GB
Oct 27 08:52:22 Starting icing/flover
Oct 27 09:37:36 Finished icing/flover                                         45m12s   1GB
Oct 27 09:37:36 Starting icing/
Oct 27 10:37:26 Finished icing/                                               59m49s   8GB
Oct 27 10:37:26 Starting icing/examples
Oct 27 10:38:58 Finished icing/examples                                        1m29s   3GB
Oct 27 10:38:58 Starting compiler/repl
Oct 27 10:47:12 Finished compiler/repl                                         8m13s   4GB
Oct 27 10:47:12 Starting unverified/sexpr-bootstrap/x64/64
Oct 27 10:59:42 Finished unverified/sexpr-bootstrap/x64/64                    12m29s  14GB
Oct 27 10:59:42 Starting unverified/sexpr-bootstrap/x64/32
Oct 27 11:09:45 Finished unverified/sexpr-bootstrap/x64/32                    10m02s  11GB
Oct 27 11:09:45 Starting compiler/benchmarks
Oct 27 11:09:49 Finished compiler/benchmarks                                      4s  41MB
Oct 27 11:09:50 Starting compiler/bootstrap/compilation/x64/64
Oct 27 22:11:36 Finished compiler/bootstrap/compilation/x64/64             11h01m45s  64GB
Oct 27 22:11:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 27 22:30:05 Finished compiler/bootstrap/compilation/x64/64/proofs         18m28s  29GB
Oct 27 22:30:05 Starting compiler/bootstrap/compilation/x64/32
Oct 28 05:09:34 Finished compiler/bootstrap/compilation/x64/32              6h39m27s  64GB
Oct 28 05:09:34 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 28 05:12:10 Finished compiler/bootstrap/compilation/x64/32/proofs          2m35s  11GB
Oct 28 05:12:10 Starting compiler/bootstrap/compilation/ag32/32
Oct 28 11:51:37 Finished compiler/bootstrap/compilation/ag32/32             6h39m23s  64GB
Oct 28 11:51:37 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 28 11:57:52 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m14s  33GB
Oct 28 11:57:52 SUCCESS