Job 2441

CakeML:85802387fa9fe94622233a020112cb53dc951c58
  Delete x64Sexpr32Script.sml [Jul 04 01:04:19]
HOL:a0047680ef60f5bf44fe05190b5dcf8756ab4a73
  Get help/src-sml to build again after 7c55b699b9714 [Jul 02 04:04:45]
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

Jul 04 08:54:00 Claimed job
Jul 04 08:54:10 Building HOL
Jul 04 09:08:13 Starting developers
Jul 04 09:08:16 Finished developers                                               2s 119MB
Jul 04 09:08:17 Starting developers/bin
Jul 04 09:08:27 Finished developers/bin                                           9s   1GB
Jul 04 09:08:28 Starting compiler/proofs
Jul 04 11:03:48 Finished compiler/proofs                                    1h55m18s  29GB
Jul 04 11:03:49 Starting compiler/bootstrap/translation
Jul 04 19:26:31 Finished compiler/bootstrap/translation                     8h22m41s  88GB
Jul 04 19:26:32 Starting semantics/ffi
Jul 04 19:26:41 Finished semantics/ffi                                            7s 623MB
Jul 04 19:26:42 Starting semantics
Jul 04 19:26:43 Finished semantics                                                0s  67MB
Jul 04 19:26:44 Starting semantics/proofs
Jul 04 19:27:22 Finished semantics/proofs                                        37s   1GB
Jul 04 19:27:23 Starting semantics/alt_semantics
Jul 04 19:28:04 Finished semantics/alt_semantics                                 39s   1GB
Jul 04 19:28:04 Starting semantics/alt_semantics/proofs
Jul 04 19:39:10 Finished semantics/alt_semantics/proofs                       11m04s   5GB
Jul 04 19:39:11 Starting basis/pure
Jul 04 19:39:12 Finished basis/pure                                               0s  70MB
Jul 04 19:39:13 Starting translator
Jul 04 19:40:58 Finished translator                                            1m44s   3GB
Jul 04 19:40:59 Starting compiler/parsing
Jul 04 19:41:01 Finished compiler/parsing                                         0s  71MB
Jul 04 19:41:01 Starting characteristic
Jul 04 19:41:03 Finished characteristic                                           0s  92MB
Jul 04 19:41:04 Starting translator/monadic
Jul 04 19:41:05 Finished translator/monadic                                       0s  97MB
Jul 04 19:41:06 Starting basis
Jul 04 19:44:43 Finished basis                                                 3m35s   5GB
Jul 04 19:44:44 Starting compiler/inference
Jul 04 19:44:45 Finished compiler/inference                                       0s  94MB
Jul 04 19:44:46 Starting compiler/backend/reg_alloc
Jul 04 19:44:47 Finished compiler/backend/reg_alloc                               0s  67MB
Jul 04 19:44:48 Starting compiler/backend/gc
Jul 04 19:44:50 Finished compiler/backend/gc                                      0s 138MB
Jul 04 19:44:51 Starting compiler/backend
Jul 04 19:45:09 Finished compiler/backend                                        17s   1GB
Jul 04 19:45:10 Starting compiler/encoders/asm
Jul 04 19:45:12 Finished compiler/encoders/asm                                    0s  91MB
Jul 04 19:45:13 Starting compiler/encoders/x64
Jul 04 19:45:14 Finished compiler/encoders/x64                                    0s 102MB
Jul 04 19:45:15 Starting compiler/encoders/arm7
Jul 04 19:45:16 Finished compiler/encoders/arm7                                   0s  94MB
Jul 04 19:45:17 Starting compiler/encoders/arm8
Jul 04 19:45:19 Finished compiler/encoders/arm8                                   0s 102MB
Jul 04 19:45:20 Starting compiler/encoders/arm8_asl
Jul 04 21:57:44 Finished compiler/encoders/arm8_asl                         2h12m23s  43GB
Jul 04 21:57:45 Starting compiler/encoders/mips
Jul 04 21:57:47 Finished compiler/encoders/mips                                   0s 101MB
Jul 04 21:57:48 Starting compiler/encoders/riscv
Jul 04 21:57:49 Finished compiler/encoders/riscv                                  0s 102MB
Jul 04 21:57:50 Starting compiler/encoders/ag32
Jul 04 21:57:52 Finished compiler/encoders/ag32                                   0s  90MB
Jul 04 21:57:53 Starting compiler/backend/x64
Jul 04 21:57:54 Finished compiler/backend/x64                                     0s 135MB
Jul 04 21:57:55 Starting compiler/backend/arm7
Jul 04 21:57:57 Finished compiler/backend/arm7                                    0s 135MB
Jul 04 21:57:58 Starting compiler/backend/arm8
Jul 04 21:58:00 Finished compiler/backend/arm8                                    0s 135MB
Jul 04 21:58:01 Starting compiler/backend/mips
Jul 04 21:58:02 Finished compiler/backend/mips                                    0s 135MB
Jul 04 21:58:03 Starting compiler/backend/riscv
Jul 04 21:58:05 Finished compiler/backend/riscv                                   0s 135MB
Jul 04 21:58:06 Starting compiler/backend/ag32
Jul 04 21:59:28 Finished compiler/backend/ag32                                 1m21s   2GB
Jul 04 21:59:29 Starting compiler/parsing/proofs
Jul 04 21:59:31 Finished compiler/parsing/proofs                                  0s  73MB
Jul 04 21:59:32 Starting compiler/inference/proofs
Jul 04 21:59:33 Finished compiler/inference/proofs                                0s  98MB
Jul 04 21:59:34 Starting compiler/backend/semantics
Jul 04 22:03:24 Finished compiler/backend/semantics                            3m48s   3GB
Jul 04 22:03:25 Starting compiler/backend/reg_alloc/proofs
Jul 04 22:03:26 Finished compiler/backend/reg_alloc/proofs                        0s  97MB
Jul 04 22:03:27 Starting compiler/backend/proofs
Jul 04 22:04:31 Finished compiler/backend/proofs                               1m03s   3GB
Jul 04 22:04:32 Starting compiler/backend/serialiser
Jul 04 22:04:34 Finished compiler/backend/serialiser                              0s 143MB
Jul 04 22:04:35 Starting compiler/encoders/x64/proofs
Jul 04 22:14:03 Finished compiler/encoders/x64/proofs                          9m27s   5GB
Jul 04 22:14:04 Starting compiler/encoders/arm7/proofs
Jul 04 22:26:59 Finished compiler/encoders/arm7/proofs                        12m53s   9GB
Jul 04 22:27:00 Starting compiler/encoders/arm8/proofs
Jul 04 22:33:36 Finished compiler/encoders/arm8/proofs                         6m35s   5GB
Jul 04 22:33:36 Starting compiler/encoders/arm8_asl/proofs
Jul 04 23:21:18 Finished compiler/encoders/arm8_asl/proofs                    47m40s  12GB
Jul 04 23:21:19 Starting compiler/encoders/mips/proofs
Jul 04 23:31:31 Finished compiler/encoders/mips/proofs                        10m11s   8GB
Jul 04 23:31:32 Starting compiler/encoders/riscv/proofs
Jul 04 23:39:48 Finished compiler/encoders/riscv/proofs                        8m14s   4GB
Jul 04 23:39:49 Starting compiler/encoders/ag32/proofs
Jul 04 23:42:12 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Jul 04 23:42:13 Starting compiler/backend/x64/proofs
Jul 04 23:42:54 Finished compiler/backend/x64/proofs                             40s   3GB
Jul 04 23:42:55 Starting compiler/backend/arm7/proofs
Jul 04 23:43:41 Finished compiler/backend/arm7/proofs                            45s   2GB
Jul 04 23:43:42 Starting compiler/backend/arm8/proofs
Jul 04 23:44:23 Finished compiler/backend/arm8/proofs                            40s   3GB
Jul 04 23:44:24 Starting compiler/backend/arm8_asl
Jul 04 23:44:55 Finished compiler/backend/arm8_asl                               29s   2GB
Jul 04 23:44:56 Starting compiler/backend/mips/proofs
Jul 04 23:45:43 Finished compiler/backend/mips/proofs                            46s   3GB
Jul 04 23:45:44 Starting compiler/backend/riscv/proofs
Jul 04 23:46:36 Finished compiler/backend/riscv/proofs                           51s   4GB
Jul 04 23:46:37 Starting compiler/backend/ag32/proofs
Jul 05 00:01:06 Finished compiler/backend/ag32/proofs                         14m28s   5GB
Jul 05 00:01:07 Starting compiler/backend/cv_compute
Jul 05 00:02:51 Finished compiler/backend/cv_compute                           1m43s   3GB
Jul 05 00:02:52 Starting cv_translator
Jul 05 00:22:16 Finished cv_translator                                        19m22s  10GB
Jul 05 00:22:17 Starting candle/set-theory
Jul 05 00:23:05 Finished candle/set-theory                                       46s   1GB
Jul 05 00:23:05 Starting candle/syntax-lib
Jul 05 00:23:07 Finished candle/syntax-lib                                        0s  76MB
Jul 05 00:23:08 Starting candle/standard/syntax
Jul 05 00:23:25 Finished candle/standard/syntax                                  16s   1GB
Jul 05 00:23:26 Starting candle/standard/semantics
Jul 05 00:26:05 Finished candle/standard/semantics                             2m37s   3GB
Jul 05 00:26:06 Starting candle/standard/monadic
Jul 05 00:26:07 Finished candle/standard/monadic                                  0s 103MB
Jul 05 00:26:08 Starting candle/standard/ml_kernel
Jul 05 00:28:01 Finished candle/standard/ml_kernel                             1m51s   5GB
Jul 05 00:28:02 Starting candle/overloading/syntax
Jul 05 00:31:40 Finished candle/overloading/syntax                             3m37s   2GB
Jul 05 00:31:41 Starting candle/overloading/semantics
Jul 05 00:43:10 Finished candle/overloading/semantics                         11m28s   6GB
Jul 05 00:43:11 Starting candle/overloading/monadic
Jul 05 00:45:50 Finished candle/overloading/monadic                            2m38s   2GB
Jul 05 00:45:51 Starting candle/overloading/ml_kernel
Jul 05 00:53:30 Finished candle/overloading/ml_kernel                          7m38s   6GB
Jul 05 00:53:31 Starting candle/overloading/ml_checker
Jul 05 00:56:08 Finished candle/overloading/ml_checker                         2m35s   7GB
Jul 05 00:56:09 Starting candle/prover
Jul 05 01:06:11 Finished candle/prover                                        10m00s   5GB
Jul 05 01:06:11 Starting pancake
Jul 05 01:07:18 Finished pancake                                               1m05s   1GB
Jul 05 01:07:19 Starting pancake/ffi
Jul 05 01:07:20 Finished pancake/ffi                                              0s  22MB
Jul 05 01:07:21 Starting pancake/semantics
Jul 05 01:10:06 Finished pancake/semantics                                     2m44s   2GB
Jul 05 01:10:07 Starting pancake/parser
Jul 05 01:10:42 Finished pancake/parser                                          33s   2GB
Jul 05 01:10:43 Starting pancake/proofs
Jul 05 01:41:52 Finished pancake/proofs                                       31m08s   8GB
Jul 05 01:41:53 Starting characteristic/examples
Jul 05 01:43:28 Finished characteristic/examples                               1m34s   6GB
Jul 05 01:43:29 Starting tutorial/solutions
Jul 05 01:46:04 Finished tutorial/solutions                                    2m34s   4GB
Jul 05 01:46:05 Starting translator/monadic/examples
Jul 05 01:50:00 Finished translator/monadic/examples                           3m53s   5GB
Jul 05 01:50:01 Starting examples
Jul 05 02:04:36 Finished examples                                             14m34s   8GB
Jul 05 02:04:37 Starting examples/compilation/x64
Jul 05 02:13:43 Finished examples/compilation/x64                              9m05s   8GB
Jul 05 02:13:44 Starting examples/compilation/x64/proofs
Jul 05 02:18:20 Finished examples/compilation/x64/proofs                       4m35s   8GB
Jul 05 02:18:21 Starting examples/compilation/ag32
Jul 05 02:20:57 Finished examples/compilation/ag32                             2m34s   4GB
Jul 05 02:20:58 Starting examples/compilation/ag32/proofs
Jul 05 02:22:40 Finished examples/compilation/ag32/proofs                      1m41s   9GB
Jul 05 02:22:41 Starting examples/compilation/to_word
Jul 05 02:26:40 Finished examples/compilation/to_word                          3m57s  11GB
Jul 05 02:26:41 Starting examples/lpr_checker
Jul 05 02:28:01 Finished examples/lpr_checker                                  1m19s   2GB
Jul 05 02:28:02 Starting examples/lpr_checker/array
Jul 05 02:56:29 Finished examples/lpr_checker/array                           28m26s   8GB
Jul 05 02:56:30 Starting examples/lpr_checker/array/compilation
Jul 05 02:59:02 Finished examples/lpr_checker/array/compilation                2m31s   9GB
Jul 05 02:59:03 Starting examples/lpr_checker/array/compilation/proofs
Jul 05 03:00:53 Finished examples/lpr_checker/array/compilation/proofs         1m48s   8GB
Jul 05 03:00:54 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 05 03:02:38 Finished examples/lpr_checker/array/compilation/proofsARM8     1m43s   9GB
Jul 05 03:02:39 Starting examples/xlrup_checker
Jul 05 03:03:52 Finished examples/xlrup_checker                                1m11s   1GB
Jul 05 03:03:52 Starting examples/xlrup_checker/array
Jul 05 03:19:22 Finished examples/xlrup_checker/array                         15m28s   7GB
Jul 05 03:19:23 Starting examples/xlrup_checker/array/compilation
Jul 05 03:20:48 Finished examples/xlrup_checker/array/compilation              1m24s   6GB
Jul 05 03:20:49 Starting examples/xlrup_checker/array/compilation/proofs
Jul 05 03:22:27 Finished examples/xlrup_checker/array/compilation/proofs       1m36s   7GB
Jul 05 03:22:28 Starting examples/pseudo_bool
Jul 05 03:24:36 Finished examples/pseudo_bool                                  2m07s   1GB
Jul 05 03:24:37 Starting examples/pseudo_bool/cnf_encoding
Jul 05 03:25:16 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Jul 05 03:25:17 Starting examples/pseudo_bool/graph_encoding
Jul 05 03:26:12 Finished examples/pseudo_bool/graph_encoding                     54s   1GB
Jul 05 03:26:13 Starting examples/pseudo_bool/array
Jul 05 04:33:13 Finished examples/pseudo_bool/array                         1h06m59s  41GB
Jul 05 04:33:14 Starting examples/pseudo_bool/array/compilation
Jul 05 04:46:29 Finished examples/pseudo_bool/array/compilation               13m13s  28GB
Jul 05 04:46:29 Starting examples/pseudo_bool/array/compilation/proofs
Jul 05 04:50:39 Finished examples/pseudo_bool/array/compilation/proofs         4m08s  11GB
Jul 05 04:50:40 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 05 04:52:30 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m49s   8GB
Jul 05 04:52:31 Starting examples/opentheory
Jul 05 05:03:25 Finished examples/opentheory                                  10m53s   8GB
Jul 05 05:03:26 Starting examples/opentheory
Jul 05 05:03:27 Finished examples/opentheory                                      0s 135MB
Jul 05 05:03:28 Starting examples/opentheory/compilation
Jul 05 05:05:31 Finished examples/opentheory/compilation                       2m01s   9GB
Jul 05 05:05:32 Starting examples/opentheory/compilation/proofs
Jul 05 05:07:12 Finished examples/opentheory/compilation/proofs                1m39s   8GB
Jul 05 05:07:12 Starting examples/opentheory/compilation/ag32
Jul 05 05:09:20 Finished examples/opentheory/compilation/ag32                  2m06s   9GB
Jul 05 05:09:21 Starting examples/opentheory/compilation/ag32/proofs
Jul 05 05:11:47 Finished examples/opentheory/compilation/ag32/proofs           2m24s  13GB
Jul 05 05:11:48 Starting examples/sat_encodings
Jul 05 05:14:48 Finished examples/sat_encodings                                2m59s   1GB
Jul 05 05:14:49 Starting examples/sat_encodings/case_studies
Jul 05 05:16:54 Finished examples/sat_encodings/case_studies                   2m03s   2GB
Jul 05 05:16:54 Starting examples/sat_encodings/translation
Jul 05 05:23:30 Finished examples/sat_encodings/translation                    6m34s   8GB
Jul 05 05:23:31 Starting examples/sat_encodings/translation/compilation
Jul 05 05:25:52 Finished examples/sat_encodings/translation/compilation        2m19s   6GB
Jul 05 05:25:53 Starting examples/deflate
Jul 05 05:27:17 Finished examples/deflate                                      1m23s   1GB
Jul 05 05:27:18 Starting examples/deflate/translation
Jul 05 05:28:58 Finished examples/deflate/translation                          1m39s   7GB
Jul 05 05:28:59 Starting examples/deflate/translation/compilation
Jul 05 05:30:02 Finished examples/deflate/translation/compilation              1m02s   5GB
Jul 05 05:30:03 Starting examples/vipr
Jul 05 05:34:07 Finished examples/vipr                                         4m02s   5GB
Jul 05 05:34:08 Starting examples/vipr/compilation
Jul 05 05:35:26 Finished examples/vipr/compilation                             1m16s   6GB
Jul 05 05:35:27 Starting translator/okasaki-examples
Jul 05 05:40:34 Finished translator/okasaki-examples                           5m06s   4GB
Jul 05 05:40:35 Starting translator/other-examples
Jul 05 05:45:18 Finished translator/other-examples                             4m41s   3GB
Jul 05 05:45:19 Starting compiler/parsing/tests
Jul 05 05:45:54 Finished compiler/parsing/tests                                  34s   2GB
Jul 05 05:45:54 Starting compiler/inference/tests
Jul 05 05:46:36 Finished compiler/inference/tests                                40s   3GB
Jul 05 05:46:37 Starting compiler/printing/test
Jul 05 05:48:10 Finished compiler/printing/test                                1m32s   6GB
Jul 05 05:48:11 Starting icing/flover
Jul 05 06:24:39 Finished icing/flover                                         36m27s   4GB
Jul 05 06:24:40 Starting icing/
Jul 05 06:52:23 Finished icing/                                               27m41s   9GB
Jul 05 06:52:24 Starting icing/examples
Jul 05 06:54:12 Finished icing/examples                                        1m47s   8GB
Jul 05 06:54:13 Starting compiler/repl
Jul 05 07:03:16 Finished compiler/repl                                         9m02s  11GB
Jul 05 07:03:17 Starting unverified/sexpr-bootstrap/x64/64
Jul 05 07:15:25 Finished unverified/sexpr-bootstrap/x64/64                    11m44s  17GB
Jul 05 07:15:26 Starting unverified/sexpr-bootstrap/x64/32
Jul 05 07:24:58 Finished unverified/sexpr-bootstrap/x64/32                     9m12s  14GB
Jul 05 07:24:58 Starting compiler/benchmarks
Jul 05 07:25:43 Finished compiler/benchmarks                                     43s 713MB
Jul 05 07:25:44 Starting compiler/bootstrap/compilation/x64/64
Jul 05 08:25:00 Finished compiler/bootstrap/compilation/x64/64                59m01s 137GB
Jul 05 08:25:01 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 05 08:47:50 Finished compiler/bootstrap/compilation/x64/64/proofs         22m48s  50GB
Jul 05 08:47:51 Starting compiler/bootstrap/compilation/x64/32
Jul 05 09:24:15 Finished compiler/bootstrap/compilation/x64/32                36m16s  87GB
Jul 05 09:24:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 05 09:28:58 Finished compiler/bootstrap/compilation/x64/32/proofs          4m40s  22GB
Jul 05 09:28:59 Starting compiler/bootstrap/compilation/ag32/32
Jul 05 10:06:03 Finished compiler/bootstrap/compilation/ag32/32               37m02s  92GB
Jul 05 10:06:04 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 05 10:11:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m25s  29GB
Jul 05 10:11:31 SUCCESS