Job 1627

CakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
  Hook up decoder to bootstrap translation [Oct 21 06:45:24]
#841 (eval)
Merging into:2bdfb3baf85901465a77aabbe9b75af1d4696c45
  Update Lem definition of locn to match latest in HOL [Nov 08 21:22:53]
HOL:185cb2436532e7636d701806dbe3cd6d8a0f6995
  Move diningcryptos into parallel build infrastructure [Nov 08 04:52:29]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Nov 09 13:52:40 Claimed job
Nov 09 13:52:51 Building HOL
Nov 09 14:02:13 Starting developers
Nov 09 14:02:17 Finished developers                                               4s 114MB
Nov 09 14:02:17 Starting developers/bin
Nov 09 14:02:24 Finished developers/bin                                           6s   1GB
Nov 09 14:02:24 Starting semantics/ffi
Nov 09 14:02:35 Finished semantics/ffi                                           10s 241MB
Nov 09 14:02:35 Starting semantics
Nov 09 14:04:10 Finished semantics                                             1m35s   1GB
Nov 09 14:04:10 Starting semantics/proofs
Nov 09 14:07:50 Finished semantics/proofs                                      3m39s   1GB
Nov 09 14:07:50 Starting semantics/alt_semantics
Nov 09 14:08:04 Finished semantics/alt_semantics                                 13s 370MB
Nov 09 14:08:04 Starting semantics/alt_semantics/proofs
Nov 09 14:10:32 Finished semantics/alt_semantics/proofs                        2m26s   1GB
Nov 09 14:10:32 Starting basis/pure
Nov 09 14:13:28 Finished basis/pure                                            2m55s 900MB
Nov 09 14:13:28 Starting translator
Nov 09 14:16:43 Finished translator                                            3m14s   1GB
Nov 09 14:16:43 Starting compiler/parsing
Nov 09 14:17:54 Finished compiler/parsing                                      1m10s   2GB
Nov 09 14:17:54 Starting characteristic
Nov 09 14:23:38 Finished characteristic                                        5m44s   2GB
Nov 09 14:23:38 Starting translator/monadic
Nov 09 14:25:21 Finished translator/monadic                                    1m42s   1GB
Nov 09 14:25:21 Starting basis
Nov 09 15:10:54 Finished basis                                                45m30s  10GB
Nov 09 15:10:54 Starting compiler/inference
Nov 09 15:12:09 Finished compiler/inference                                    1m14s   1GB
Nov 09 15:12:09 Starting compiler/backend/reg_alloc
Nov 09 15:13:15 Finished compiler/backend/reg_alloc                            1m05s   1GB
Nov 09 15:13:15 Starting compiler/backend/gc
Nov 09 15:16:48 Finished compiler/backend/gc                                   3m32s   2GB
Nov 09 15:16:48 Starting compiler/backend
Nov 09 15:21:50 Finished compiler/backend                                      5m01s   4GB
Nov 09 15:21:50 Starting compiler/encoders/asm
Nov 09 15:22:13 Finished compiler/encoders/asm                                   22s 727MB
Nov 09 15:22:13 Starting compiler/encoders/x64
Nov 09 15:23:14 Finished compiler/encoders/x64                                 1m00s 716MB
Nov 09 15:23:14 Starting compiler/encoders/arm7
Nov 09 15:25:14 Finished compiler/encoders/arm7                                2m00s   1GB
Nov 09 15:25:15 Starting compiler/encoders/arm8
Nov 09 15:25:53 Finished compiler/encoders/arm8                                  37s 967MB
Nov 09 15:25:53 Starting compiler/encoders/mips
Nov 09 15:27:21 Finished compiler/encoders/mips                                1m28s 884MB
Nov 09 15:27:21 Starting compiler/encoders/riscv
Nov 09 15:29:06 Finished compiler/encoders/riscv                               1m44s   1GB
Nov 09 15:29:06 Starting compiler/encoders/ag32
Nov 09 15:29:24 Finished compiler/encoders/ag32                                  18s 746MB
Nov 09 15:29:24 Starting compiler/backend/x64
Nov 09 15:29:44 Finished compiler/backend/x64                                    19s   1GB
Nov 09 15:29:44 Starting compiler/backend/arm7
Nov 09 15:30:06 Finished compiler/backend/arm7                                   21s   1GB
Nov 09 15:30:06 Starting compiler/backend/arm8
Nov 09 15:30:25 Finished compiler/backend/arm8                                   18s   1GB
Nov 09 15:30:25 Starting compiler/backend/mips
Nov 09 15:30:45 Finished compiler/backend/mips                                   20s   1GB
Nov 09 15:30:45 Starting compiler/backend/riscv
Nov 09 15:31:06 Finished compiler/backend/riscv                                  20s   1GB
Nov 09 15:31:06 Starting compiler/backend/ag32
Nov 09 15:32:15 Finished compiler/backend/ag32                                 1m08s   1GB
Nov 09 15:32:15 Starting compiler/parsing/proofs
Nov 09 15:39:03 Finished compiler/parsing/proofs                               6m48s   1GB
Nov 09 15:39:04 Starting compiler/inference/proofs
Nov 09 15:41:34 Finished compiler/inference/proofs                             2m30s   1GB
Nov 09 15:41:35 Starting compiler/backend/semantics
Nov 09 16:09:36 Finished compiler/backend/semantics                           28m01s   2GB
Nov 09 16:09:37 Starting compiler/backend/reg_alloc/proofs
Nov 09 16:13:03 Finished compiler/backend/reg_alloc/proofs                     3m25s   1GB
Nov 09 16:13:03 Starting compiler/backend/proofs
Nov 09 17:04:06 Finished compiler/backend/proofs                              51m02s  13GB
Nov 09 17:04:06 Starting compiler/backend/serialiser
Nov 09 17:05:16 Finished compiler/backend/serialiser                           1m09s   1GB
Nov 09 17:05:16 Starting compiler/encoders/x64/proofs
Nov 09 17:14:56 Finished compiler/encoders/x64/proofs                          9m37s   4GB
Nov 09 17:14:57 Starting compiler/encoders/arm7/proofs
Nov 09 17:28:02 Finished compiler/encoders/arm7/proofs                        13m05s   3GB
Nov 09 17:28:02 Starting compiler/encoders/arm8/proofs
Nov 09 17:34:43 Finished compiler/encoders/arm8/proofs                         6m40s   1GB
Nov 09 17:34:43 Starting compiler/encoders/mips/proofs
Nov 09 17:44:38 Finished compiler/encoders/mips/proofs                         9m54s   3GB
Nov 09 17:44:38 Starting compiler/encoders/riscv/proofs
Nov 09 17:53:28 Finished compiler/encoders/riscv/proofs                        8m50s   1GB
Nov 09 17:53:28 Starting compiler/encoders/ag32/proofs
Nov 09 17:56:02 Finished compiler/encoders/ag32/proofs                         2m33s 766MB
Nov 09 17:56:02 Starting compiler/backend/x64/proofs
Nov 09 17:56:26 Finished compiler/backend/x64/proofs                             23s   1GB
Nov 09 17:56:26 Starting compiler/backend/arm7/proofs
Nov 09 17:56:50 Finished compiler/backend/arm7/proofs                            24s   1GB
Nov 09 17:56:50 Starting compiler/backend/arm8/proofs
Nov 09 17:57:13 Finished compiler/backend/arm8/proofs                            23s   1GB
Nov 09 17:57:14 Starting compiler/backend/mips/proofs
Nov 09 17:57:38 Finished compiler/backend/mips/proofs                            22s   1GB
Nov 09 17:57:38 Starting compiler/backend/riscv/proofs
Nov 09 17:58:01 Finished compiler/backend/riscv/proofs                           23s   1GB
Nov 09 17:58:01 Starting compiler/backend/ag32/proofs
Nov 09 18:10:30 Finished compiler/backend/ag32/proofs                         12m28s   2GB
Nov 09 18:10:30 Starting compiler/proofs
Nov 09 18:13:10 Finished compiler/proofs                                       2m39s   3GB
Nov 09 18:13:10 Starting candle/set-theory
Nov 09 18:13:39 Finished candle/set-theory                                       29s 755MB
Nov 09 18:13:39 Starting candle/syntax-lib
Nov 09 18:13:51 Finished candle/syntax-lib                                       11s 634MB
Nov 09 18:13:51 Starting candle/standard/syntax
Nov 09 18:15:44 Finished candle/standard/syntax                                1m50s   1GB
Nov 09 18:15:44 Starting candle/standard/semantics
Nov 09 18:17:30 Finished candle/standard/semantics                             1m44s   1GB
Nov 09 18:17:30 Starting candle/standard/monadic
Nov 09 18:19:14 Finished candle/standard/monadic                               1m44s   1GB
Nov 09 18:19:14 Starting candle/standard/ml_kernel
Nov 09 18:24:58 Finished candle/standard/ml_kernel                             5m43s   5GB
Nov 09 18:24:58 Starting candle/overloading/syntax
Nov 09 18:28:08 Finished candle/overloading/syntax                             3m09s   1GB
Nov 09 18:28:08 Starting candle/overloading/semantics
Nov 09 18:40:25 Finished candle/overloading/semantics                         12m17s   3GB
Nov 09 18:40:26 Starting pancake
Nov 09 18:42:21 Finished pancake                                               1m55s   3GB
Nov 09 18:42:21 Starting pancake/ffi
Nov 09 18:42:21 Finished pancake/ffi                                              0s   8MB
Nov 09 18:42:21 Starting pancake/semantics
Nov 09 18:44:37 Finished pancake/semantics                                     2m15s   1GB
Nov 09 18:44:37 Starting pancake/proofs
Nov 09 18:57:17 Finished pancake/proofs                                       12m40s   7GB
Nov 09 18:57:18 Starting characteristic/examples
Nov 09 18:58:39 Finished characteristic/examples                               1m21s   3GB
Nov 09 18:58:40 Starting tutorial/solutions
Nov 09 19:14:19 Finished tutorial/solutions                                   15m39s  10GB
Nov 09 19:14:19 Starting translator/monadic/examples
Nov 09 19:17:35 Finished translator/monadic/examples                           3m14s   2GB
Nov 09 19:17:35 Starting examples
Nov 09 19:26:40 Finished examples                                              9m04s   4GB
Nov 09 19:26:40 Starting examples/compilation/x64
Nov 09 21:53:16 Finished examples/compilation/x64                           2h26m34s  20GB
Nov 09 21:53:16 Starting examples/compilation/x64/proofs
Nov 09 21:55:04 Finished examples/compilation/x64/proofs                       1m47s   3GB
Nov 09 21:55:04 Starting examples/compilation/ag32
Nov 09 22:29:19 Finished examples/compilation/ag32                            34m14s   9GB
Nov 09 22:29:20 Starting examples/compilation/ag32/proofs
Nov 09 22:30:07 Finished examples/compilation/ag32/proofs                        47s   3GB
Nov 09 22:30:07 Starting examples/cost
Nov 09 23:23:11 Finished examples/cost                                        53m02s   8GB
Nov 09 23:23:11 Starting examples/lpr_checker
Nov 09 23:24:00 Finished examples/lpr_checker                                    48s   1GB
Nov 09 23:24:00 Starting examples/lpr_checker/array
Nov 09 23:51:41 Finished examples/lpr_checker/array                           27m40s   7GB
Nov 09 23:51:41 Starting examples/lpr_checker/array/compilation
Nov 10 01:14:24 Finished examples/lpr_checker/array/compilation             1h22m40s  28GB
Nov 10 01:14:24 Starting examples/lpr_checker/array/compilation/proofs
Nov 10 01:15:38 Finished examples/lpr_checker/array/compilation/proofs         1m13s   6GB
Nov 10 01:15:38 Starting examples/opentheory
Nov 10 01:25:18 Finished examples/opentheory                                   9m39s   3GB
Nov 10 01:25:18 Starting examples/opentheory
Nov 10 01:25:19 Finished examples/opentheory                                      1s  29MB
Nov 10 01:25:19 Starting examples/opentheory/compilation
Nov 10 02:00:26 Finished examples/opentheory/compilation                      35m06s  24GB
Nov 10 02:00:26 Starting examples/opentheory/compilation/proofs
Nov 10 02:01:11 Finished examples/opentheory/compilation/proofs                  44s   3GB
Nov 10 02:01:11 Starting examples/opentheory/compilation/ag32
Nov 10 02:38:53 Finished examples/opentheory/compilation/ag32                 37m38s  25GB
Nov 10 02:38:55 Starting examples/opentheory/compilation/ag32/proofs
Nov 10 02:40:31 Finished examples/opentheory/compilation/ag32/proofs           1m36s   5GB
Nov 10 02:40:31 Starting examples/sat_encodings
Nov 10 02:42:19 Finished examples/sat_encodings                                1m48s 885MB
Nov 10 02:42:20 Starting examples/sat_encodings/case_studies
Nov 10 02:43:52 Finished examples/sat_encodings/case_studies                   1m32s 832MB
Nov 10 02:43:52 Starting examples/sat_encodings/translation
Nov 10 02:49:37 Finished examples/sat_encodings/translation                    5m45s   5GB
Nov 10 02:49:38 Starting examples/sat_encodings/translation/compilation
Nov 10 03:38:13 Finished examples/sat_encodings/translation/compilation       48m35s  20GB
Nov 10 03:38:13 Starting translator/okasaki-examples
Nov 10 03:42:43 Finished translator/okasaki-examples                           4m28s   1GB
Nov 10 03:42:43 Starting translator/other-examples
Nov 10 03:44:34 Finished translator/other-examples                             1m50s   1GB
Nov 10 03:44:34 Starting compiler/parsing/tests
Nov 10 03:45:04 Finished compiler/parsing/tests                                  30s 600MB
Nov 10 03:45:04 Starting compiler/inference/tests
Nov 10 03:53:08 Finished compiler/inference/tests                              8m03s   3GB
Nov 10 03:53:08 Starting compiler/bootstrap/translation
Nov 10 06:29:36 Finished compiler/bootstrap/translation                     2h36m26s  33GB
Nov 10 06:29:36 Starting unverified/sexpr-bootstrap/x64/64
Nov 10 06:42:02 Finished unverified/sexpr-bootstrap/x64/64                    12m25s   8GB
Nov 10 06:42:02 Starting unverified/sexpr-bootstrap/x64/32
Nov 10 06:52:38 Finished unverified/sexpr-bootstrap/x64/32                    10m36s   8GB
Nov 10 06:52:38 Starting compiler/benchmarks
Nov 10 06:52:41 Finished compiler/benchmarks                                      3s  35MB
Nov 10 06:52:41 Starting compiler/bootstrap/compilation/x64/64
Nov 10 20:16:30 Finished compiler/bootstrap/compilation/x64/64             13h23m45s  64GB
Nov 10 20:16:32 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 10 20:18:53 Finished compiler/bootstrap/compilation/x64/64/proofs          2m21s  19GB
Nov 10 20:18:53 Starting compiler/bootstrap/compilation/x64/32
Nov 11 07:27:09 Finished compiler/bootstrap/compilation/x64/32             11h08m13s  64GB
Nov 11 07:27:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 11 07:31:28 Finished compiler/bootstrap/compilation/x64/32/proofs          4m19s  11GB
Nov 11 07:31:28 Starting compiler/bootstrap/compilation/ag32/32
Nov 11 18:54:24 Finished compiler/bootstrap/compilation/ag32/32            11h22m54s  64GB
Nov 11 18:54:24 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 11 19:17:30 Finished compiler/bootstrap/compilation/ag32/32/proofs        23m05s  25GB
Nov 11 19:17:30 SUCCESS