Job 2396

CakeML:e9dd1b6a191254ee4421480d6a6bacdcbe86a93b
  build sequence [May 24 13:50:20]
#995 (pb-err)
Merging into:ba448b02f6dfebd0069315be9302ce9471b19ba4
  Fix for proofs broken by sublist in rich_listTheory [May 25 05:59:02]
HOL:19857c9570c4db45bb6410a1ced45b9ab7bb4cb7
  Fixed intLib to avoid noisy output; some cleanups in hurdUtils [May 22 11:23:37]
Machine:pavlova

May 26 13:01:58 Claimed job
May 26 13:02:08 Building HOL
May 26 13:16:59 Starting developers
May 26 13:17:03 Finished developers                                               2s 206MB
May 26 13:17:04 Starting developers/bin
May 26 13:17:18 Finished developers/bin                                          13s   1GB
May 26 13:17:19 Starting compiler/proofs
May 26 15:12:24 Finished compiler/proofs                                    1h55m03s  34GB
May 26 15:12:25 Starting compiler/bootstrap/translation
May 26 23:23:00 Finished compiler/bootstrap/translation                     8h10m34s  65GB
May 26 23:23:01 Starting semantics/ffi
May 26 23:23:10 Finished semantics/ffi                                            7s 659MB
May 26 23:23:11 Starting semantics
May 26 23:23:12 Finished semantics                                                0s  68MB
May 26 23:23:13 Starting semantics/proofs
May 26 23:23:51 Finished semantics/proofs                                        36s   2GB
May 26 23:23:51 Starting semantics/alt_semantics
May 26 23:24:32 Finished semantics/alt_semantics                                 39s   1GB
May 26 23:24:33 Starting semantics/alt_semantics/proofs
May 26 23:52:29 Finished semantics/alt_semantics/proofs                       27m55s   5GB
May 26 23:52:30 Starting basis/pure
May 26 23:52:31 Finished basis/pure                                               0s  71MB
May 26 23:52:32 Starting translator
May 26 23:54:20 Finished translator                                            1m46s   3GB
May 26 23:54:21 Starting compiler/parsing
May 26 23:54:22 Finished compiler/parsing                                         0s  72MB
May 26 23:54:23 Starting characteristic
May 26 23:54:24 Finished characteristic                                           0s  95MB
May 26 23:54:25 Starting translator/monadic
May 26 23:54:27 Finished translator/monadic                                       0s  92MB
May 26 23:54:28 Starting basis
May 26 23:58:10 Finished basis                                                 3m41s   9GB
May 26 23:58:11 Starting compiler/inference
May 26 23:58:13 Finished compiler/inference                                       0s  81MB
May 26 23:58:13 Starting compiler/backend/reg_alloc
May 26 23:58:15 Finished compiler/backend/reg_alloc                               0s  67MB
May 26 23:58:16 Starting compiler/backend/gc
May 26 23:58:18 Finished compiler/backend/gc                                      0s 149MB
May 26 23:58:18 Starting compiler/backend
May 26 23:58:39 Finished compiler/backend                                        19s   1GB
May 26 23:58:39 Starting compiler/encoders/asm
May 26 23:58:41 Finished compiler/encoders/asm                                    0s  90MB
May 26 23:58:42 Starting compiler/encoders/x64
May 26 23:58:43 Finished compiler/encoders/x64                                    0s  99MB
May 26 23:58:44 Starting compiler/encoders/arm7
May 26 23:58:46 Finished compiler/encoders/arm7                                   0s 103MB
May 26 23:58:47 Starting compiler/encoders/arm8
May 26 23:58:48 Finished compiler/encoders/arm8                                   0s 103MB
May 26 23:58:49 Starting compiler/encoders/arm8_asl
May 27 02:13:33 Finished compiler/encoders/arm8_asl                         2h14m42s  48GB
May 27 02:13:34 Starting compiler/encoders/mips
May 27 02:13:35 Finished compiler/encoders/mips                                   0s 100MB
May 27 02:13:36 Starting compiler/encoders/riscv
May 27 02:13:38 Finished compiler/encoders/riscv                                  0s  99MB
May 27 02:13:39 Starting compiler/encoders/ag32
May 27 02:13:40 Finished compiler/encoders/ag32                                   0s  90MB
May 27 02:13:41 Starting compiler/backend/x64
May 27 02:13:43 Finished compiler/backend/x64                                     0s 139MB
May 27 02:13:44 Starting compiler/backend/arm7
May 27 02:13:46 Finished compiler/backend/arm7                                    0s 139MB
May 27 02:13:47 Starting compiler/backend/arm8
May 27 02:13:49 Finished compiler/backend/arm8                                    0s 131MB
May 27 02:13:49 Starting compiler/backend/mips
May 27 02:13:51 Finished compiler/backend/mips                                    0s 139MB
May 27 02:13:52 Starting compiler/backend/riscv
May 27 02:13:54 Finished compiler/backend/riscv                                   0s 139MB
May 27 02:13:55 Starting compiler/backend/ag32
May 27 02:15:15 Finished compiler/backend/ag32                                 1m19s   3GB
May 27 02:15:16 Starting compiler/parsing/proofs
May 27 02:15:18 Finished compiler/parsing/proofs                                  0s  75MB
May 27 02:15:18 Starting compiler/inference/proofs
May 27 02:15:20 Finished compiler/inference/proofs                                0s  84MB
May 27 02:15:21 Starting compiler/backend/semantics
May 27 02:19:08 Finished compiler/backend/semantics                            3m46s   3GB
May 27 02:19:09 Starting compiler/backend/reg_alloc/proofs
May 27 02:19:10 Finished compiler/backend/reg_alloc/proofs                        0s 100MB
May 27 02:19:11 Starting compiler/backend/proofs
May 27 02:20:17 Finished compiler/backend/proofs                               1m04s   3GB
May 27 02:20:18 Starting compiler/backend/serialiser
May 27 02:20:20 Finished compiler/backend/serialiser                              1s 194MB
May 27 02:20:21 Starting compiler/encoders/x64/proofs
May 27 02:29:46 Finished compiler/encoders/x64/proofs                          9m24s   5GB
May 27 02:29:47 Starting compiler/encoders/arm7/proofs
May 27 02:42:34 Finished compiler/encoders/arm7/proofs                        12m46s   8GB
May 27 02:42:35 Starting compiler/encoders/arm8/proofs
May 27 02:48:58 Finished compiler/encoders/arm8/proofs                         6m22s   6GB
May 27 02:48:59 Starting compiler/encoders/arm8_asl/proofs
May 27 03:36:59 Finished compiler/encoders/arm8_asl/proofs                    47m59s  11GB
May 27 03:37:00 Starting compiler/encoders/mips/proofs
May 27 03:46:59 Finished compiler/encoders/mips/proofs                         9m57s   7GB
May 27 03:46:59 Starting compiler/encoders/riscv/proofs
May 27 03:55:11 Finished compiler/encoders/riscv/proofs                        8m10s   4GB
May 27 03:55:12 Starting compiler/encoders/ag32/proofs
May 27 03:57:33 Finished compiler/encoders/ag32/proofs                         2m19s   2GB
May 27 03:57:33 Starting compiler/backend/x64/proofs
May 27 03:58:16 Finished compiler/backend/x64/proofs                             41s   3GB
May 27 03:58:17 Starting compiler/backend/arm7/proofs
May 27 03:59:01 Finished compiler/backend/arm7/proofs                            43s   2GB
May 27 03:59:02 Starting compiler/backend/arm8/proofs
May 27 03:59:45 Finished compiler/backend/arm8/proofs                            42s   3GB
May 27 03:59:46 Starting compiler/backend/arm8_asl
May 27 04:00:16 Finished compiler/backend/arm8_asl                               29s   2GB
May 27 04:00:17 Starting compiler/backend/mips/proofs
May 27 04:01:04 Finished compiler/backend/mips/proofs                            46s   2GB
May 27 04:01:05 Starting compiler/backend/riscv/proofs
May 27 04:01:59 Finished compiler/backend/riscv/proofs                           53s   4GB
May 27 04:02:00 Starting compiler/backend/ag32/proofs
May 27 04:16:18 Finished compiler/backend/ag32/proofs                         14m16s   6GB
May 27 04:16:19 Starting candle/set-theory
May 27 04:17:07 Finished candle/set-theory                                       47s   1GB
May 27 04:17:08 Starting candle/syntax-lib
May 27 04:17:09 Finished candle/syntax-lib                                        0s  76MB
May 27 04:17:10 Starting candle/standard/syntax
May 27 04:17:29 Finished candle/standard/syntax                                  17s   1GB
May 27 04:17:30 Starting candle/standard/semantics
May 27 04:20:07 Finished candle/standard/semantics                             2m36s   3GB
May 27 04:20:08 Starting candle/standard/monadic
May 27 04:20:10 Finished candle/standard/monadic                                  0s 104MB
May 27 04:20:11 Starting candle/standard/ml_kernel
May 27 04:22:03 Finished candle/standard/ml_kernel                             1m51s   5GB
May 27 04:22:03 Starting candle/overloading/syntax
May 27 04:25:41 Finished candle/overloading/syntax                             3m36s   2GB
May 27 04:25:41 Starting candle/overloading/semantics
May 27 04:37:07 Finished candle/overloading/semantics                         11m24s   4GB
May 27 04:37:08 Starting candle/overloading/monadic
May 27 04:39:44 Finished candle/overloading/monadic                            2m35s   3GB
May 27 04:39:45 Starting candle/overloading/ml_kernel
May 27 04:47:21 Finished candle/overloading/ml_kernel                          7m34s   7GB
May 27 04:47:22 Starting candle/overloading/ml_checker
May 27 04:49:54 Finished candle/overloading/ml_checker                         2m31s   6GB
May 27 04:49:55 Starting candle/prover
May 27 05:00:00 Finished candle/prover                                        10m04s   5GB
May 27 05:00:01 Starting pancake
May 27 05:01:10 Finished pancake                                               1m08s   1GB
May 27 05:01:11 Starting pancake/ffi
May 27 05:01:12 Finished pancake/ffi                                              0s  21MB
May 27 05:01:13 Starting pancake/semantics
May 27 05:03:59 Finished pancake/semantics                                     2m45s   3GB
May 27 05:04:00 Starting pancake/parser
May 27 05:04:31 Finished pancake/parser                                          30s   2GB
May 27 05:04:32 Starting pancake/proofs
May 27 05:35:49 Finished pancake/proofs                                       31m16s  11GB
May 27 05:35:50 Starting characteristic/examples
May 27 05:37:27 Finished characteristic/examples                               1m35s   5GB
May 27 05:37:28 Starting tutorial/solutions
May 27 05:53:15 Finished tutorial/solutions                                   15m46s  12GB
May 27 05:53:15 Starting translator/monadic/examples
May 27 05:57:20 Finished translator/monadic/examples                           4m03s   5GB
May 27 05:57:21 Starting examples
May 27 06:12:07 Finished examples                                             14m45s   8GB
May 27 06:12:08 Starting examples/compilation/x64
May 27 08:11:45 Finished examples/compilation/x64                           1h59m36s  40GB
May 27 08:11:46 Starting examples/compilation/x64/proofs
May 27 08:15:45 Finished examples/compilation/x64/proofs                       3m57s   6GB
May 27 08:15:46 Starting examples/compilation/ag32
May 27 08:46:24 Finished examples/compilation/ag32                            30m37s  12GB
May 27 08:46:25 Starting examples/compilation/ag32/proofs
May 27 08:47:58 Finished examples/compilation/ag32/proofs                      1m32s   7GB
May 27 08:47:58 Starting examples/compilation/to_word
May 27 08:51:57 Finished examples/compilation/to_word                          3m57s  12GB
May 27 08:51:58 Starting examples/lpr_checker
May 27 08:53:17 Finished examples/lpr_checker                                  1m18s   2GB
May 27 08:53:18 Starting examples/lpr_checker/array
May 27 09:22:17 Finished examples/lpr_checker/array                           28m57s  12GB
May 27 09:22:18 Starting examples/lpr_checker/array/compilation
May 27 10:03:30 Finished examples/lpr_checker/array/compilation               41m10s  73GB
May 27 10:03:31 Starting examples/lpr_checker/array/compilation/proofs
May 27 10:05:19 Finished examples/lpr_checker/array/compilation/proofs         1m47s   8GB
May 27 10:05:20 Starting examples/lpr_checker/array/compilation/proofsARM8
May 27 10:17:14 Finished examples/lpr_checker/array/compilation/proofsARM8    11m52s  49GB
May 27 10:17:15 Starting examples/xlrup_checker
May 27 10:18:29 Finished examples/xlrup_checker                                1m12s   2GB
May 27 10:18:30 Starting examples/xlrup_checker/array
May 27 10:34:11 Finished examples/xlrup_checker/array                         15m39s   6GB
May 27 10:34:12 Starting examples/xlrup_checker/array/compilation
May 27 10:56:48 Finished examples/xlrup_checker/array/compilation             22m35s  38GB
May 27 10:56:49 Starting examples/xlrup_checker/array/compilation/proofs
May 27 10:58:21 Finished examples/xlrup_checker/array/compilation/proofs       1m31s   6GB
May 27 10:58:22 Starting examples/pseudo_bool
May 27 11:00:35 Finished examples/pseudo_bool                                  2m11s   2GB
May 27 11:00:36 Starting examples/pseudo_bool/cnf_encoding
May 27 11:01:15 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
May 27 11:01:16 Starting examples/pseudo_bool/graph_encoding
May 27 11:02:10 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
May 27 11:02:11 Starting examples/pseudo_bool/array
May 27 12:08:26 Finished examples/pseudo_bool/array                         1h06m14s  31GB
May 27 12:08:27 Starting examples/pseudo_bool/array/compilation
May 27 21:16:14 Finished examples/pseudo_bool/array/compilation             9h07m45s 144GB
May 27 21:16:15 Starting examples/pseudo_bool/array/compilation/proofs
May 27 21:19:38 Finished examples/pseudo_bool/array/compilation/proofs         3m21s   8GB
May 27 21:19:39 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 27 21:47:00 Finished examples/pseudo_bool/array/compilation/proofsARM8    27m19s  33GB
May 27 21:47:01 Starting examples/opentheory
May 27 21:58:02 Finished examples/opentheory                                  11m00s   8GB
May 27 21:58:03 Starting examples/opentheory
May 27 21:58:05 Finished examples/opentheory                                      0s 132MB
May 27 21:58:06 Starting examples/opentheory/compilation
May 27 22:34:44 Finished examples/opentheory/compilation                      36m36s  54GB
May 27 22:34:45 Starting examples/opentheory/compilation/proofs
May 27 22:36:21 Finished examples/opentheory/compilation/proofs                1m35s   6GB
May 27 22:36:22 Starting examples/opentheory/compilation/ag32
May 27 23:08:35 Finished examples/opentheory/compilation/ag32                 32m12s  39GB
May 27 23:08:36 Starting examples/opentheory/compilation/ag32/proofs
May 27 23:11:01 Finished examples/opentheory/compilation/ag32/proofs           2m23s  12GB
May 27 23:11:02 Starting examples/sat_encodings
May 27 23:14:02 Finished examples/sat_encodings                                2m59s   1GB
May 27 23:14:03 Starting examples/sat_encodings/case_studies
May 27 23:16:10 Finished examples/sat_encodings/case_studies                   2m06s   1GB
May 27 23:16:11 Starting examples/sat_encodings/translation
May 27 23:22:25 Finished examples/sat_encodings/translation                    6m12s   7GB
May 27 23:22:26 Starting examples/sat_encodings/translation/compilation
May 27 23:57:10 Finished examples/sat_encodings/translation/compilation       34m43s  24GB
May 27 23:57:11 Starting examples/deflate
May 27 23:58:35 Finished examples/deflate                                      1m23s   2GB
May 27 23:58:36 Starting examples/deflate/translation
May 28 00:00:15 Finished examples/deflate/translation                          1m37s   5GB
May 28 00:00:16 Starting examples/deflate/translation/compilation
May 28 00:16:52 Finished examples/deflate/translation/compilation             16m35s  23GB
May 28 00:16:53 Starting examples/vipr
May 28 00:20:58 Finished examples/vipr                                         4m03s   6GB
May 28 00:20:59 Starting examples/vipr/compilation
May 28 00:42:49 Finished examples/vipr/compilation                            21m48s  51GB
May 28 00:42:50 Starting translator/okasaki-examples
May 28 00:48:00 Finished translator/okasaki-examples                           5m09s   4GB
May 28 00:48:01 Starting translator/other-examples
May 28 00:53:01 Finished translator/other-examples                             4m58s   3GB
May 28 00:53:02 Starting compiler/parsing/tests
May 28 00:53:36 Finished compiler/parsing/tests                                  32s   1GB
May 28 00:53:37 Starting compiler/inference/tests
May 28 01:01:04 Finished compiler/inference/tests                              7m26s   6GB
May 28 01:01:05 Starting compiler/printing/test
May 28 01:04:39 Finished compiler/printing/test                                3m33s   7GB
May 28 01:04:40 Starting icing/flover
May 28 01:41:51 Finished icing/flover                                         37m10s   3GB
May 28 01:41:52 Starting icing/
May 28 02:36:44 Finished icing/                                               54m51s  31GB
May 28 02:36:45 Starting icing/examples
May 28 02:38:25 Finished icing/examples                                        1m38s   5GB
May 28 02:38:26 Starting compiler/repl
May 28 02:47:12 Finished compiler/repl                                         8m45s  10GB
May 28 02:47:13 Starting unverified/sexpr-bootstrap/x64/64
May 28 02:58:26 Finished unverified/sexpr-bootstrap/x64/64                    11m11s  16GB
May 28 02:58:27 Starting unverified/sexpr-bootstrap/x64/32
May 28 03:07:28 Finished unverified/sexpr-bootstrap/x64/32                     9m00s  15GB
May 28 03:07:29 Starting compiler/benchmarks
May 28 03:08:14 Finished compiler/benchmarks                                     44s 713MB
May 28 03:08:15 Starting compiler/bootstrap/compilation/x64/64
May 28 18:40:49 Finished compiler/bootstrap/compilation/x64/64             15h32m33s 178GB
May 28 18:40:50 Starting compiler/bootstrap/compilation/x64/64/proofs
May 28 19:02:05 Finished compiler/bootstrap/compilation/x64/64/proofs         21m14s  49GB
May 28 19:02:06 Starting compiler/bootstrap/compilation/x64/32
May 29 02:28:47 Finished compiler/bootstrap/compilation/x64/32              7h26m39s 114GB
May 29 02:28:48 Starting compiler/bootstrap/compilation/x64/32/proofs
May 29 02:32:33 Finished compiler/bootstrap/compilation/x64/32/proofs          3m44s  19GB
May 29 02:32:34 Starting compiler/bootstrap/compilation/ag32/32
May 29 10:20:35 Finished compiler/bootstrap/compilation/ag32/32             7h48m00s 152GB
May 29 10:20:36 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 29 10:27:56 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m19s  38GB
May 29 10:27:57 SUCCESS