Job 2048

CakeML:c5f5032aed8b831442d3fd62a775c508a522b904
  Fix sexp_parserProg [Nov 29 15:24:44]
#915 (translator-fix)
Merging into:3687487b0ceaa28ee5ceff431d51fa5303742e1f
  Merge pull request #918 from CakeML/clos-interpreter [Nov 29 06:06:35]
HOL:126d898e2a2195a717f5757375b93570965286f1
  Cleanup and tweak release notes for next version in a few places [Nov 03 06:41:06]
Machine:oven3

Nov 30 07:25:08 Claimed job
Nov 30 07:25:11 Reusing HOL
Nov 30 07:26:04 Starting developers
Nov 30 07:26:13 Finished developers                                               9s 148MB
Nov 30 07:26:14 Starting developers/bin
Nov 30 07:26:26 Finished developers/bin                                          12s   1GB
Nov 30 07:26:26 Starting compiler/proofs
Nov 30 10:50:26 Finished compiler/proofs                                    3h23m58s  19GB
Nov 30 10:50:26 Starting compiler/bootstrap/translation
Nov 30 21:12:39 Finished compiler/bootstrap/translation                    10h22m12s  43GB
Nov 30 21:12:39 Starting semantics/ffi
Nov 30 21:12:47 Finished semantics/ffi                                            7s 213MB
Nov 30 21:12:48 Starting semantics
Nov 30 21:12:50 Finished semantics                                                2s  17MB
Nov 30 21:12:50 Starting semantics/proofs
Nov 30 21:14:07 Finished semantics/proofs                                      1m16s 618MB
Nov 30 21:14:07 Starting semantics/alt_semantics
Nov 30 21:15:03 Finished semantics/alt_semantics                                 55s 599MB
Nov 30 21:15:03 Starting semantics/alt_semantics/proofs
Nov 30 21:41:00 Finished semantics/alt_semantics/proofs                       25m56s   1GB
Nov 30 21:41:00 Starting basis/pure
Nov 30 21:41:02 Finished basis/pure                                               2s  29MB
Nov 30 21:41:03 Starting translator
Nov 30 21:44:46 Finished translator                                            3m42s   1GB
Nov 30 21:44:46 Starting compiler/parsing
Nov 30 21:44:48 Finished compiler/parsing                                         2s  34MB
Nov 30 21:44:49 Starting characteristic
Nov 30 21:44:52 Finished characteristic                                           3s  24MB
Nov 30 21:44:52 Starting translator/monadic
Nov 30 21:44:55 Finished translator/monadic                                       2s  32MB
Nov 30 21:44:55 Starting basis
Nov 30 21:52:26 Finished basis                                                 7m30s   2GB
Nov 30 21:52:27 Starting compiler/inference
Nov 30 21:52:29 Finished compiler/inference                                       2s  31MB
Nov 30 21:52:30 Starting compiler/backend/reg_alloc
Nov 30 21:52:32 Finished compiler/backend/reg_alloc                               2s  28MB
Nov 30 21:52:32 Starting compiler/backend/gc
Nov 30 21:52:36 Finished compiler/backend/gc                                      3s  44MB
Nov 30 21:52:36 Starting compiler/backend
Nov 30 21:53:02 Finished compiler/backend                                        24s 664MB
Nov 30 21:53:02 Starting compiler/encoders/asm
Nov 30 21:53:05 Finished compiler/encoders/asm                                    2s  26MB
Nov 30 21:53:05 Starting compiler/encoders/x64
Nov 30 21:53:08 Finished compiler/encoders/x64                                    2s  34MB
Nov 30 21:53:08 Starting compiler/encoders/arm7
Nov 30 21:53:11 Finished compiler/encoders/arm7                                   2s  33MB
Nov 30 21:53:11 Starting compiler/encoders/arm8
Nov 30 21:53:14 Finished compiler/encoders/arm8                                   2s  25MB
Nov 30 21:53:15 Starting compiler/encoders/arm8_asl
Nov 30 22:01:00 Finished compiler/encoders/arm8_asl                            7m45s   1GB
Nov 30 22:01:00 Starting compiler/encoders/mips
Nov 30 22:01:03 Finished compiler/encoders/mips                                   2s  23MB
Nov 30 22:01:03 Starting compiler/encoders/riscv
Nov 30 22:01:06 Finished compiler/encoders/riscv                                  2s  26MB
Nov 30 22:01:07 Starting compiler/encoders/ag32
Nov 30 22:01:10 Finished compiler/encoders/ag32                                   2s  23MB
Nov 30 22:01:10 Starting compiler/backend/x64
Nov 30 22:01:14 Finished compiler/backend/x64                                     3s  33MB
Nov 30 22:01:14 Starting compiler/backend/arm7
Nov 30 22:01:18 Finished compiler/backend/arm7                                    3s  37MB
Nov 30 22:01:18 Starting compiler/backend/arm8
Nov 30 22:01:22 Finished compiler/backend/arm8                                    3s  25MB
Nov 30 22:01:22 Starting compiler/backend/mips
Nov 30 22:01:26 Finished compiler/backend/mips                                    3s  34MB
Nov 30 22:01:26 Starting compiler/backend/riscv
Nov 30 22:01:29 Finished compiler/backend/riscv                                   3s  32MB
Nov 30 22:01:30 Starting compiler/backend/ag32
Nov 30 22:04:26 Finished compiler/backend/ag32                                 2m56s   2GB
Nov 30 22:04:26 Starting compiler/parsing/proofs
Nov 30 22:04:29 Finished compiler/parsing/proofs                                  2s  25MB
Nov 30 22:04:29 Starting compiler/inference/proofs
Nov 30 22:04:32 Finished compiler/inference/proofs                                2s  27MB
Nov 30 22:04:33 Starting compiler/backend/semantics
Nov 30 22:06:57 Finished compiler/backend/semantics                            2m24s   1GB
Nov 30 22:06:57 Starting compiler/backend/reg_alloc/proofs
Nov 30 22:07:01 Finished compiler/backend/reg_alloc/proofs                        3s  33MB
Nov 30 22:07:01 Starting compiler/backend/proofs
Nov 30 22:08:58 Finished compiler/backend/proofs                               1m57s   3GB
Nov 30 22:08:59 Starting compiler/backend/serialiser
Nov 30 22:09:04 Finished compiler/backend/serialiser                              5s  40MB
Nov 30 22:09:04 Starting compiler/encoders/x64/proofs
Nov 30 22:31:02 Finished compiler/encoders/x64/proofs                         21m57s   5GB
Nov 30 22:31:02 Starting compiler/encoders/arm7/proofs
Nov 30 23:01:48 Finished compiler/encoders/arm7/proofs                        30m45s   3GB
Nov 30 23:01:48 Starting compiler/encoders/arm8/proofs
Nov 30 23:17:52 Finished compiler/encoders/arm8/proofs                        16m03s   1GB
Nov 30 23:17:52 Starting compiler/encoders/arm8_asl/proofs
Nov 30 23:54:21 Finished compiler/encoders/arm8_asl/proofs                    36m28s   1GB
Nov 30 23:54:22 Starting compiler/encoders/mips/proofs
Dec 01 00:18:47 Finished compiler/encoders/mips/proofs                        24m25s   1GB
Dec 01 00:18:47 Starting compiler/encoders/riscv/proofs
Dec 01 00:39:05 Finished compiler/encoders/riscv/proofs                       20m17s   1GB
Dec 01 00:39:05 Starting compiler/encoders/ag32/proofs
Dec 01 00:45:01 Finished compiler/encoders/ag32/proofs                         5m55s 888MB
Dec 01 00:45:01 Starting compiler/backend/x64/proofs
Dec 01 00:45:57 Finished compiler/backend/x64/proofs                             55s   1GB
Dec 01 00:45:57 Starting compiler/backend/arm7/proofs
Dec 01 00:46:52 Finished compiler/backend/arm7/proofs                            54s   1GB
Dec 01 00:46:53 Starting compiler/backend/arm8/proofs
Dec 01 00:47:49 Finished compiler/backend/arm8/proofs                            56s   1GB
Dec 01 00:47:50 Starting compiler/backend/arm8_asl
Dec 01 00:48:32 Finished compiler/backend/arm8_asl                               42s   1GB
Dec 01 00:48:33 Starting compiler/backend/mips/proofs
Dec 01 00:49:29 Finished compiler/backend/mips/proofs                            55s   1GB
Dec 01 00:49:29 Starting compiler/backend/riscv/proofs
Dec 01 00:50:25 Finished compiler/backend/riscv/proofs                           55s   1GB
Dec 01 00:50:25 Starting compiler/backend/ag32/proofs
Dec 01 01:20:53 Finished compiler/backend/ag32/proofs                         30m27s   2GB
Dec 01 01:20:53 Starting candle/set-theory
Dec 01 01:22:03 Finished candle/set-theory                                     1m09s 944MB
Dec 01 01:22:03 Starting candle/syntax-lib
Dec 01 01:22:06 Finished candle/syntax-lib                                        2s  17MB
Dec 01 01:22:06 Starting candle/standard/syntax
Dec 01 01:22:26 Finished candle/standard/syntax                                  20s 525MB
Dec 01 01:22:27 Starting candle/standard/semantics
Dec 01 01:26:24 Finished candle/standard/semantics                             3m56s   1GB
Dec 01 01:26:24 Starting candle/standard/monadic
Dec 01 01:26:27 Finished candle/standard/monadic                                  3s  33MB
Dec 01 01:26:28 Starting candle/standard/ml_kernel
Dec 01 01:29:32 Finished candle/standard/ml_kernel                             3m04s   3GB
Dec 01 01:29:32 Starting candle/overloading/syntax
Dec 01 01:36:23 Finished candle/overloading/syntax                             6m50s   1GB
Dec 01 01:36:23 Starting candle/overloading/semantics
Dec 01 02:02:27 Finished candle/overloading/semantics                         26m04s   2GB
Dec 01 02:02:28 Starting candle/overloading/monadic
Dec 01 02:08:01 Finished candle/overloading/monadic                            5m32s   1GB
Dec 01 02:08:01 Starting candle/overloading/ml_kernel
Dec 01 02:23:38 Finished candle/overloading/ml_kernel                         15m36s   4GB
Dec 01 02:23:38 Starting candle/overloading/ml_checker
Dec 01 02:29:19 Finished candle/overloading/ml_checker                         5m40s   2GB
Dec 01 02:29:19 Starting candle/prover
Dec 01 02:51:34 Finished candle/prover                                        22m14s   2GB
Dec 01 02:51:35 Starting pancake
Dec 01 02:58:01 Finished pancake                                               6m26s   4GB
Dec 01 02:58:01 Starting pancake/ffi
Dec 01 02:58:02 Finished pancake/ffi                                              0s  11MB
Dec 01 02:58:02 Starting pancake/semantics
Dec 01 03:03:12 Finished pancake/semantics                                     5m09s   1GB
Dec 01 03:03:13 Starting pancake/proofs
Dec 01 03:09:24 Finished pancake/proofs                                        6m11s   2GB
Dec 01 03:09:25 Starting characteristic/examples
Dec 01 03:13:01 Finished characteristic/examples                               3m35s   3GB
Dec 01 03:13:01 Starting tutorial/solutions
Dec 01 03:46:03 Finished tutorial/solutions                                   33m01s   7GB
Dec 01 03:46:04 Starting translator/monadic/examples
Dec 01 03:52:46 Finished translator/monadic/examples                           6m41s   2GB
Dec 01 03:52:46 Starting examples
Dec 01 04:11:44 Finished examples                                             18m57s   3GB
Dec 01 04:11:44 Starting examples/compilation/x64
Dec 01 08:30:40 Finished examples/compilation/x64                           4h18m56s  17GB
Dec 01 08:30:41 Starting examples/compilation/x64/proofs
Dec 01 08:35:16 Finished examples/compilation/x64/proofs                       4m35s   3GB
Dec 01 08:35:16 Starting examples/compilation/ag32
Dec 01 09:41:13 Finished examples/compilation/ag32                          1h05m55s   8GB
Dec 01 09:41:13 Starting examples/compilation/ag32/proofs
Dec 01 09:42:53 Finished examples/compilation/ag32/proofs                      1m39s   3GB
Dec 01 09:42:53 Starting examples/compilation/to_word
Dec 01 09:49:40 Finished examples/compilation/to_word                          6m46s   6GB
Dec 01 09:49:40 Starting examples/lpr_checker
Dec 01 09:51:40 Finished examples/lpr_checker                                  1m59s   1GB
Dec 01 09:51:40 Starting examples/lpr_checker/array
Dec 01 11:10:32 Finished examples/lpr_checker/array                         1h18m51s   5GB
Dec 01 11:10:32 Starting examples/lpr_checker/array/compilation
Dec 01 12:29:45 Finished examples/lpr_checker/array/compilation             1h19m11s  35GB
Dec 01 12:29:45 Starting examples/lpr_checker/array/compilation/proofs
Dec 01 12:32:21 Finished examples/lpr_checker/array/compilation/proofs         2m36s   5GB
Dec 01 12:32:21 Starting examples/opentheory
Dec 01 12:54:56 Finished examples/opentheory                                  22m34s   4GB
Dec 01 12:54:57 Starting examples/opentheory
Dec 01 12:55:00 Finished examples/opentheory                                      3s  31MB
Dec 01 12:55:00 Starting examples/opentheory/compilation
Dec 01 14:19:59 Finished examples/opentheory/compilation                    1h24m57s  39GB
Dec 01 14:19:59 Starting examples/opentheory/compilation/proofs
Dec 01 14:21:35 Finished examples/opentheory/compilation/proofs                1m35s   3GB
Dec 01 14:21:35 Starting examples/opentheory/compilation/ag32
Dec 01 15:37:36 Finished examples/opentheory/compilation/ag32               1h16m00s  37GB
Dec 01 15:37:36 Starting examples/opentheory/compilation/ag32/proofs
Dec 01 15:41:07 Finished examples/opentheory/compilation/ag32/proofs           3m31s   5GB
Dec 01 15:41:08 Starting examples/sat_encodings
Dec 01 15:44:58 Finished examples/sat_encodings                                3m49s 698MB
Dec 01 15:44:58 Starting examples/sat_encodings/case_studies
Dec 01 15:48:24 Finished examples/sat_encodings/case_studies                   3m26s 991MB
Dec 01 15:48:25 Starting examples/sat_encodings/translation
Dec 01 16:00:17 Finished examples/sat_encodings/translation                   11m52s   4GB
Dec 01 16:00:18 Starting examples/sat_encodings/translation/compilation
Dec 01 17:20:04 Finished examples/sat_encodings/translation/compilation     1h19m46s  26GB
Dec 01 17:20:04 Starting examples/deflate
Dec 01 17:21:52 Finished examples/deflate                                      1m47s 883MB
Dec 01 17:21:52 Starting examples/deflate/translation
Dec 01 17:24:53 Finished examples/deflate/translation                          3m00s   3GB
Dec 01 17:24:53 Starting examples/deflate/translation/compilation
Dec 01 18:02:28 Finished examples/deflate/translation/compilation             37m35s  17GB
Dec 01 18:02:28 Starting translator/okasaki-examples
Dec 01 18:12:18 Finished translator/okasaki-examples                           9m49s   2GB
Dec 01 18:12:19 Starting translator/other-examples
Dec 01 18:13:42 Finished translator/other-examples                             1m22s   1GB
Dec 01 18:13:42 Starting compiler/parsing/tests
Dec 01 18:14:51 Finished compiler/parsing/tests                                1m08s 569MB
Dec 01 18:14:51 Starting compiler/inference/tests
Dec 01 18:31:48 Finished compiler/inference/tests                             16m56s   8GB
Dec 01 18:31:49 Starting compiler/printing/test
Dec 01 18:38:52 Finished compiler/printing/test                                7m03s   3GB
Dec 01 18:38:52 Starting icing/flover
Dec 01 20:11:49 Finished icing/flover                                       1h32m55s   1GB
Dec 01 20:11:49 Starting icing/
Dec 01 22:23:49 Finished icing/                                             2h12m00s   7GB
Dec 01 22:23:50 Starting icing/examples
Dec 01 22:27:06 Finished icing/examples                                        3m16s   4GB
Dec 01 22:27:06 Starting compiler/repl
Dec 01 22:46:34 Finished compiler/repl                                        19m27s   4GB
Dec 01 22:46:34 Starting unverified/sexpr-bootstrap/x64/64
Dec 01 23:09:34 Finished unverified/sexpr-bootstrap/x64/64                    23m00s  14GB
Dec 01 23:09:35 Starting unverified/sexpr-bootstrap/x64/32
Dec 01 23:28:33 Finished unverified/sexpr-bootstrap/x64/32                    18m57s  11GB
Dec 01 23:28:33 Starting compiler/benchmarks
Dec 01 23:28:39 Finished compiler/benchmarks                                      5s  40MB
Dec 01 23:28:39 Starting compiler/bootstrap/compilation/x64/64
Dec 03 00:21:11 Finished compiler/bootstrap/compilation/x64/64             24h52m31s 102GB
Dec 03 00:21:11 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 03 01:02:36 Finished compiler/bootstrap/compilation/x64/64/proofs         41m24s  19GB
Dec 03 01:02:36 Starting compiler/bootstrap/compilation/x64/32
Dec 03 14:42:56 Finished compiler/bootstrap/compilation/x64/32             13h40m18s  90GB
Dec 03 14:42:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 03 14:48:37 Finished compiler/bootstrap/compilation/x64/32/proofs          5m41s  18GB
Dec 03 14:48:37 Starting compiler/bootstrap/compilation/ag32/32
Dec 04 05:14:05 Finished compiler/bootstrap/compilation/ag32/32            14h25m27s 109GB
Dec 04 05:14:06 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 04 05:27:34 Finished compiler/bootstrap/compilation/ag32/32/proofs        13m27s  30GB
Dec 04 05:27:34 SUCCESS