Job 2449

CakeML:9a4856cdd8297f4558ff0d73e6b92b6fa383c79b
  Fix record example test (add missing ;) [Jul 13 06:53:15]
#1012 (candle-record-patterns)
Merging into:b8cdbbeb496b5b372096cf38dd529cc86bd088b6
  Merge pull request #1010 from halogentlepersuasion/pan_unbitmap [Jul 12 04:51:57]
HOL:a0047680ef60f5bf44fe05190b5dcf8756ab4a73
  Get help/src-sml to build again after 7c55b699b9714 [Jul 02 04:04:45]
Machine:pavlova

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