Job 2346

CakeML:ba1818f4ae7d674ea3359e7a9c20ee308fab3d38
  Merge pull request #977 from CakeML/share_mem_new2 [Mar 17 08:06:49]
HOL:3a51c81db857b7722efa0871ac507883adf6d440
  Remove compilerTheory (put its content at end of codegenTheory) [Mar 11 19:26:17]
Machine:pavlova
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Mar 17 08:22:29 Claimed job
Mar 17 08:22:32 Reusing HOL
Mar 17 08:22:42 Starting developers
Mar 17 08:22:45 Finished developers                                               2s 216MB
Mar 17 08:22:46 Starting developers/bin
Mar 17 08:22:56 Finished developers/bin                                           8s   1GB
Mar 17 08:22:57 Starting compiler/proofs
Mar 17 10:11:06 Finished compiler/proofs                                    1h48m07s  51GB
Mar 17 10:11:06 Starting compiler/bootstrap/translation
Mar 17 18:20:01 Finished compiler/bootstrap/translation                     8h08m53s  63GB
Mar 17 18:20:02 Starting semantics/ffi
Mar 17 18:20:10 Finished semantics/ffi                                            7s 637MB
Mar 17 18:20:11 Starting semantics
Mar 17 18:20:13 Finished semantics                                                0s  66MB
Mar 17 18:20:14 Starting semantics/proofs
Mar 17 18:20:49 Finished semantics/proofs                                        34s   2GB
Mar 17 18:20:50 Starting semantics/alt_semantics
Mar 17 18:21:28 Finished semantics/alt_semantics                                 37s   1GB
Mar 17 18:21:29 Starting semantics/alt_semantics/proofs
Mar 17 18:32:17 Finished semantics/alt_semantics/proofs                       10m47s   2GB
Mar 17 18:32:18 Starting basis/pure
Mar 17 18:32:19 Finished basis/pure                                               0s  69MB
Mar 17 18:32:20 Starting translator
Mar 17 18:34:02 Finished translator                                            1m40s   2GB
Mar 17 18:34:03 Starting compiler/parsing
Mar 17 18:34:04 Finished compiler/parsing                                         0s  67MB
Mar 17 18:34:05 Starting characteristic
Mar 17 18:34:06 Finished characteristic                                           0s  88MB
Mar 17 18:34:07 Starting translator/monadic
Mar 17 18:34:09 Finished translator/monadic                                       0s  91MB
Mar 17 18:34:10 Starting basis
Mar 17 18:37:49 Finished basis                                                 3m38s   5GB
Mar 17 18:37:50 Starting compiler/inference
Mar 17 18:37:52 Finished compiler/inference                                       0s  81MB
Mar 17 18:37:53 Starting compiler/backend/reg_alloc
Mar 17 18:37:54 Finished compiler/backend/reg_alloc                               0s  67MB
Mar 17 18:37:55 Starting compiler/backend/gc
Mar 17 18:37:57 Finished compiler/backend/gc                                      0s 135MB
Mar 17 18:37:58 Starting compiler/backend
Mar 17 18:38:16 Finished compiler/backend                                        17s   1GB
Mar 17 18:38:17 Starting compiler/encoders/asm
Mar 17 18:38:18 Finished compiler/encoders/asm                                    0s  92MB
Mar 17 18:38:19 Starting compiler/encoders/x64
Mar 17 18:38:21 Finished compiler/encoders/x64                                    0s  94MB
Mar 17 18:38:22 Starting compiler/encoders/arm7
Mar 17 18:38:23 Finished compiler/encoders/arm7                                   0s  93MB
Mar 17 18:38:24 Starting compiler/encoders/arm8
Mar 17 18:38:26 Finished compiler/encoders/arm8                                   0s  94MB
Mar 17 18:38:26 Starting compiler/encoders/arm8_asl
Mar 17 18:40:44 Finished compiler/encoders/arm8_asl                            2m16s   1GB
Mar 17 18:40:45 Starting compiler/encoders/mips
Mar 17 18:40:46 Finished compiler/encoders/mips                                   0s  93MB
Mar 17 18:40:47 Starting compiler/encoders/riscv
Mar 17 18:40:49 Finished compiler/encoders/riscv                                  0s  94MB
Mar 17 18:40:50 Starting compiler/encoders/ag32
Mar 17 18:40:51 Finished compiler/encoders/ag32                                   0s  93MB
Mar 17 18:40:52 Starting compiler/backend/x64
Mar 17 18:40:54 Finished compiler/backend/x64                                     0s 130MB
Mar 17 18:40:55 Starting compiler/backend/arm7
Mar 17 18:40:57 Finished compiler/backend/arm7                                    0s 126MB
Mar 17 18:40:58 Starting compiler/backend/arm8
Mar 17 18:40:59 Finished compiler/backend/arm8                                    0s 126MB
Mar 17 18:41:00 Starting compiler/backend/mips
Mar 17 18:41:02 Finished compiler/backend/mips                                    0s 126MB
Mar 17 18:41:03 Starting compiler/backend/riscv
Mar 17 18:41:05 Finished compiler/backend/riscv                                   0s 125MB
Mar 17 18:41:06 Starting compiler/backend/ag32
Mar 17 18:42:27 Finished compiler/backend/ag32                                 1m20s   2GB
Mar 17 18:42:28 Starting compiler/parsing/proofs
Mar 17 18:42:30 Finished compiler/parsing/proofs                                  0s  78MB
Mar 17 18:42:31 Starting compiler/inference/proofs
Mar 17 18:42:32 Finished compiler/inference/proofs                                0s  89MB
Mar 17 18:42:33 Starting compiler/backend/semantics
Mar 17 18:46:12 Finished compiler/backend/semantics                            3m38s   3GB
Mar 17 18:46:13 Starting compiler/backend/reg_alloc/proofs
Mar 17 18:46:15 Finished compiler/backend/reg_alloc/proofs                        0s  90MB
Mar 17 18:46:16 Starting compiler/backend/proofs
Mar 17 18:47:21 Finished compiler/backend/proofs                               1m03s   3GB
Mar 17 18:47:22 Starting compiler/backend/serialiser
Mar 17 18:47:24 Finished compiler/backend/serialiser                              1s 193MB
Mar 17 18:47:25 Starting compiler/encoders/x64/proofs
Mar 17 18:56:46 Finished compiler/encoders/x64/proofs                          9m20s   5GB
Mar 17 18:56:47 Starting compiler/encoders/arm7/proofs
Mar 17 19:09:26 Finished compiler/encoders/arm7/proofs                        12m37s   7GB
Mar 17 19:09:27 Starting compiler/encoders/arm8/proofs
Mar 17 19:15:59 Finished compiler/encoders/arm8/proofs                         6m31s   5GB
Mar 17 19:16:00 Starting compiler/encoders/arm8_asl/proofs
Mar 17 19:29:51 Finished compiler/encoders/arm8_asl/proofs                    13m49s   4GB
Mar 17 19:29:52 Starting compiler/encoders/mips/proofs
Mar 17 19:39:54 Finished compiler/encoders/mips/proofs                        10m01s   6GB
Mar 17 19:39:55 Starting compiler/encoders/riscv/proofs
Mar 17 19:48:04 Finished compiler/encoders/riscv/proofs                        8m08s   8GB
Mar 17 19:48:05 Starting compiler/encoders/ag32/proofs
Mar 17 19:50:29 Finished compiler/encoders/ag32/proofs                         2m22s   3GB
Mar 17 19:50:30 Starting compiler/backend/x64/proofs
Mar 17 19:51:10 Finished compiler/backend/x64/proofs                             39s   3GB
Mar 17 19:51:11 Starting compiler/backend/arm7/proofs
Mar 17 19:51:54 Finished compiler/backend/arm7/proofs                            42s   2GB
Mar 17 19:51:55 Starting compiler/backend/arm8/proofs
Mar 17 19:52:35 Finished compiler/backend/arm8/proofs                            38s   2GB
Mar 17 19:52:36 Starting compiler/backend/arm8_asl
Mar 17 19:53:07 Finished compiler/backend/arm8_asl                               29s   2GB
Mar 17 19:53:07 Starting compiler/backend/mips/proofs
Mar 17 19:53:51 Finished compiler/backend/mips/proofs                            42s   3GB
Mar 17 19:53:52 Starting compiler/backend/riscv/proofs
Mar 17 19:54:40 Finished compiler/backend/riscv/proofs                           47s   4GB
Mar 17 19:54:41 Starting compiler/backend/ag32/proofs
Mar 17 20:09:07 Finished compiler/backend/ag32/proofs                         14m24s   6GB
Mar 17 20:09:08 Starting candle/set-theory
Mar 17 20:09:50 Finished candle/set-theory                                       41s   1GB
Mar 17 20:09:51 Starting candle/syntax-lib
Mar 17 20:09:53 Finished candle/syntax-lib                                        0s  72MB
Mar 17 20:09:53 Starting candle/standard/syntax
Mar 17 20:10:09 Finished candle/standard/syntax                                  14s   1GB
Mar 17 20:10:10 Starting candle/standard/semantics
Mar 17 20:12:34 Finished candle/standard/semantics                             2m23s   3GB
Mar 17 20:12:35 Starting candle/standard/monadic
Mar 17 20:12:37 Finished candle/standard/monadic                                  0s  96MB
Mar 17 20:12:38 Starting candle/standard/ml_kernel
Mar 17 20:14:28 Finished candle/standard/ml_kernel                             1m49s   6GB
Mar 17 20:14:29 Starting candle/overloading/syntax
Mar 17 20:17:49 Finished candle/overloading/syntax                             3m19s   1GB
Mar 17 20:17:50 Starting candle/overloading/semantics
Mar 17 20:29:01 Finished candle/overloading/semantics                         11m09s   4GB
Mar 17 20:29:02 Starting candle/overloading/monadic
Mar 17 20:31:37 Finished candle/overloading/monadic                            2m33s   3GB
Mar 17 20:31:38 Starting candle/overloading/ml_kernel
Mar 17 20:39:10 Finished candle/overloading/ml_kernel                          7m31s   7GB
Mar 17 20:39:11 Starting candle/overloading/ml_checker
Mar 17 20:41:43 Finished candle/overloading/ml_checker                         2m31s   7GB
Mar 17 20:41:44 Starting candle/prover
Mar 17 20:51:30 Finished candle/prover                                         9m44s   5GB
Mar 17 20:51:31 Starting pancake
Mar 17 20:52:30 Finished pancake                                                 58s   1GB
Mar 17 20:52:31 Starting pancake/ffi
Mar 17 20:52:32 Finished pancake/ffi                                              0s  20MB
Mar 17 20:52:33 Starting pancake/semantics
Mar 17 20:55:11 Finished pancake/semantics                                     2m36s   2GB
Mar 17 20:55:12 Starting pancake/parser
Mar 17 20:55:39 Finished pancake/parser                                          25s   2GB
Mar 17 20:55:39 Starting pancake/proofs
Mar 17 21:26:18 Finished pancake/proofs                                       30m37s   8GB
Mar 17 21:26:18 Starting characteristic/examples
Mar 17 21:27:53 Finished characteristic/examples                               1m33s   6GB
Mar 17 21:27:54 Starting tutorial/solutions
Mar 17 21:43:47 Finished tutorial/solutions                                   15m51s  11GB
Mar 17 21:43:48 Starting translator/monadic/examples
Mar 17 21:47:32 Finished translator/monadic/examples                           3m42s   5GB
Mar 17 21:47:33 Starting examples
Mar 17 22:01:48 Finished examples                                             14m14s   7GB
Mar 17 22:01:49 Starting examples/compilation/x64
Mar 18 00:00:07 Finished examples/compilation/x64                           1h58m16s  36GB
Mar 18 00:00:08 Starting examples/compilation/x64/proofs
Mar 18 00:03:58 Finished examples/compilation/x64/proofs                       3m49s   6GB
Mar 18 00:03:59 Starting examples/compilation/ag32
Mar 18 00:34:06 Finished examples/compilation/ag32                            30m06s  13GB
Mar 18 00:34:07 Starting examples/compilation/ag32/proofs
Mar 18 00:35:36 Finished examples/compilation/ag32/proofs                      1m27s   7GB
Mar 18 00:35:36 Starting examples/compilation/to_word
Mar 18 00:39:34 Finished examples/compilation/to_word                          3m56s  13GB
Mar 18 00:39:35 Starting examples/lpr_checker
Mar 18 00:40:51 Finished examples/lpr_checker                                  1m15s   2GB
Mar 18 00:40:52 Starting examples/lpr_checker/array
Mar 18 01:11:03 Finished examples/lpr_checker/array                           30m09s  19GB
Mar 18 01:11:04 Starting examples/lpr_checker/array/compilation
Mar 18 01:48:25 Finished examples/lpr_checker/array/compilation               37m20s  62GB
Mar 18 01:48:26 Starting examples/lpr_checker/array/compilation/proofs
Mar 18 01:50:07 Finished examples/lpr_checker/array/compilation/proofs         1m39s   8GB
Mar 18 01:50:08 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 18 02:05:55 Finished examples/lpr_checker/array/compilation/proofsARM8    15m46s  42GB
Mar 18 02:05:56 Starting examples/xlrup_checker
Mar 18 02:07:03 Finished examples/xlrup_checker                                1m05s   2GB
Mar 18 02:07:04 Starting examples/xlrup_checker/array
Mar 18 02:23:11 Finished examples/xlrup_checker/array                         16m06s   8GB
Mar 18 02:23:12 Starting examples/xlrup_checker/array/compilation
Mar 18 02:45:22 Finished examples/xlrup_checker/array/compilation             22m09s  39GB
Mar 18 02:45:23 Starting examples/xlrup_checker/array/compilation/proofs
Mar 18 02:46:52 Finished examples/xlrup_checker/array/compilation/proofs       1m27s   7GB
Mar 18 02:46:53 Starting examples/pseudo_bool
Mar 18 02:48:54 Finished examples/pseudo_bool                                  2m00s   2GB
Mar 18 02:48:55 Starting examples/pseudo_bool/cnf_encoding
Mar 18 02:49:32 Finished examples/pseudo_bool/cnf_encoding                       36s   1GB
Mar 18 02:49:33 Starting examples/pseudo_bool/graph_encoding
Mar 18 02:50:21 Finished examples/pseudo_bool/graph_encoding                     47s   2GB
Mar 18 02:50:22 Starting examples/pseudo_bool/array
Mar 18 03:53:24 Finished examples/pseudo_bool/array                         1h03m00s  28GB
Mar 18 03:53:25 Starting examples/pseudo_bool/array/compilation
Mar 18 11:11:53 Finished examples/pseudo_bool/array/compilation             7h18m26s 117GB
Mar 18 11:11:54 Starting examples/pseudo_bool/array/compilation/proofs
Mar 18 11:15:08 Finished examples/pseudo_bool/array/compilation/proofs         3m13s   7GB
Mar 18 11:15:09 Starting examples/opentheory
Mar 18 11:25:39 Finished examples/opentheory                                  10m29s   7GB
Mar 18 11:25:40 Starting examples/opentheory
Mar 18 11:25:42 Finished examples/opentheory                                      0s 123MB
Mar 18 11:25:42 Starting examples/opentheory/compilation
Mar 18 12:01:42 Finished examples/opentheory/compilation                      35m58s  53GB
Mar 18 12:01:43 Starting examples/opentheory/compilation/proofs
Mar 18 12:03:13 Finished examples/opentheory/compilation/proofs                1m29s   6GB
Mar 18 12:03:14 Starting examples/opentheory/compilation/ag32
Mar 18 12:35:20 Finished examples/opentheory/compilation/ag32                 32m04s  37GB
Mar 18 12:35:20 Starting examples/opentheory/compilation/ag32/proofs
Mar 18 12:37:41 Finished examples/opentheory/compilation/ag32/proofs           2m19s  13GB
Mar 18 12:37:42 Starting examples/sat_encodings
Mar 18 12:40:20 Finished examples/sat_encodings                                2m36s   1GB
Mar 18 12:40:21 Starting examples/sat_encodings/case_studies
Mar 18 12:42:21 Finished examples/sat_encodings/case_studies                   1m59s   2GB
Mar 18 12:42:21 Starting examples/sat_encodings/translation
Mar 18 12:48:23 Finished examples/sat_encodings/translation                    6m00s   7GB
Mar 18 12:48:24 Starting examples/sat_encodings/translation/compilation
Mar 18 13:22:47 Finished examples/sat_encodings/translation/compilation       34m21s  34GB
Mar 18 13:22:48 Starting examples/deflate
Mar 18 13:24:02 Finished examples/deflate                                      1m13s   1GB
Mar 18 13:24:03 Starting examples/deflate/translation
Mar 18 13:25:39 Finished examples/deflate/translation                          1m34s   7GB
Mar 18 13:25:40 Starting examples/deflate/translation/compilation
Mar 18 13:42:14 Finished examples/deflate/translation/compilation             16m33s  23GB
Mar 18 13:42:15 Starting examples/vipr
Mar 18 13:46:28 Finished examples/vipr                                         4m11s   7GB
Mar 18 13:46:29 Starting examples/vipr/compilation
Mar 18 14:06:58 Finished examples/vipr/compilation                            20m28s  32GB
Mar 18 14:06:59 Starting translator/okasaki-examples
Mar 18 14:11:57 Finished translator/okasaki-examples                           4m56s   4GB
Mar 18 14:11:58 Starting translator/other-examples
Mar 18 14:13:11 Finished translator/other-examples                             1m12s   3GB
Mar 18 14:13:12 Starting compiler/parsing/tests
Mar 18 14:13:45 Finished compiler/parsing/tests                                  32s   1GB
Mar 18 14:13:46 Starting compiler/inference/tests
Mar 18 14:21:16 Finished compiler/inference/tests                              7m29s   8GB
Mar 18 14:21:17 Starting compiler/printing/test
Mar 18 14:24:46 Finished compiler/printing/test                                3m28s   6GB
Mar 18 14:24:47 Starting icing/flover
Mar 18 15:00:07 Finished icing/flover                                         35m18s   4GB
Mar 18 15:00:08 Starting icing/
Mar 18 15:54:35 Finished icing/                                               54m26s  30GB
Mar 18 15:54:36 Starting icing/examples
Mar 18 15:56:16 Finished icing/examples                                        1m38s   8GB
Mar 18 15:56:17 Starting compiler/repl
Mar 18 16:04:51 Finished compiler/repl                                         8m33s  10GB
Mar 18 16:04:52 Starting unverified/sexpr-bootstrap/x64/64
Mar 18 16:16:06 Finished unverified/sexpr-bootstrap/x64/64                    10m50s  16GB
Mar 18 16:16:07 Starting unverified/sexpr-bootstrap/x64/32
Mar 18 16:25:17 Finished unverified/sexpr-bootstrap/x64/32                     8m51s  13GB
Mar 18 16:25:18 Starting compiler/benchmarks
Mar 18 16:26:02 Finished compiler/benchmarks                                     43s 713MB
Mar 18 16:26:03 Starting compiler/bootstrap/compilation/x64/64
Mar 19 06:58:00 Finished compiler/bootstrap/compilation/x64/64             14h31m44s 166GB
Mar 19 06:58:01 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 19 07:19:06 Finished compiler/bootstrap/compilation/x64/64/proofs         21m03s  33GB
Mar 19 07:19:06 Starting compiler/bootstrap/compilation/x64/32
Mar 19 14:29:43 Finished compiler/bootstrap/compilation/x64/32              7h10m29s 105GB
Mar 19 14:29:44 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 19 14:33:11 Finished compiler/bootstrap/compilation/x64/32/proofs          3m25s  18GB
Mar 19 14:33:12 Starting compiler/bootstrap/compilation/ag32/32
Mar 19 22:17:39 Finished compiler/bootstrap/compilation/ag32/32             7h44m26s 153GB
Mar 19 22:17:40 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 19 22:25:05 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m24s  40GB
Mar 19 22:25:06 SUCCESS