Job 2445

CakeML:67949c4923a5b2e9a594f2b47c49ae25af81b5fa
  Another tiny style fix [Jul 11 04:05:59]
#1010 (pan_unbitmap)
Merging into: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

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