Job 2446

CakeML: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
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

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