Job 2398

CakeML:9bd268c67c5965851d3f1feb25c2cb8bd6c542f3
  Merge pull request #995 from CakeML/pb-err [May 28 12:17:25]
HOL:19857c9570c4db45bb6410a1ced45b9ab7bb4cb7
  Fixed intLib to avoid noisy output; some cleanups in hurdUtils [May 22 11:23:37]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

May 29 09:05:25 Claimed job
May 29 09:05:30 Reusing HOL
May 29 09:05:40 Starting developers
May 29 09:05:44 Finished developers                                               2s 201MB
May 29 09:05:45 Starting developers/bin
May 29 09:06:00 Finished developers/bin                                          14s   1GB
May 29 09:06:01 Starting compiler/proofs
May 29 10:56:49 Finished compiler/proofs                                    1h50m46s  29GB
May 29 10:56:50 Starting compiler/bootstrap/translation
May 29 19:07:42 Finished compiler/bootstrap/translation                     8h10m51s  88GB
May 29 19:07:43 Starting semantics/ffi
May 29 19:07:53 Finished semantics/ffi                                            8s 640MB
May 29 19:07:53 Starting semantics
May 29 19:07:55 Finished semantics                                                0s  64MB
May 29 19:07:56 Starting semantics/proofs
May 29 19:08:35 Finished semantics/proofs                                        38s   1GB
May 29 19:08:36 Starting semantics/alt_semantics
May 29 19:09:16 Finished semantics/alt_semantics                                 38s   1GB
May 29 19:09:17 Starting semantics/alt_semantics/proofs
May 29 19:20:22 Finished semantics/alt_semantics/proofs                       11m04s   3GB
May 29 19:20:23 Starting basis/pure
May 29 19:20:25 Finished basis/pure                                               0s  70MB
May 29 19:20:26 Starting translator
May 29 19:22:18 Finished translator                                            1m51s   3GB
May 29 19:22:19 Starting compiler/parsing
May 29 19:22:20 Finished compiler/parsing                                         0s  73MB
May 29 19:22:21 Starting characteristic
May 29 19:22:22 Finished characteristic                                           0s  90MB
May 29 19:22:23 Starting translator/monadic
May 29 19:22:25 Finished translator/monadic                                       0s 100MB
May 29 19:22:26 Starting basis
May 29 19:26:00 Finished basis                                                 3m32s   5GB
May 29 19:26:00 Starting compiler/inference
May 29 19:26:02 Finished compiler/inference                                       0s  82MB
May 29 19:26:03 Starting compiler/backend/reg_alloc
May 29 19:26:04 Finished compiler/backend/reg_alloc                               0s  68MB
May 29 19:26:05 Starting compiler/backend/gc
May 29 19:26:07 Finished compiler/backend/gc                                      0s 138MB
May 29 19:26:08 Starting compiler/backend
May 29 19:26:29 Finished compiler/backend                                        20s   1GB
May 29 19:26:30 Starting compiler/encoders/asm
May 29 19:26:31 Finished compiler/encoders/asm                                    0s  90MB
May 29 19:26:32 Starting compiler/encoders/x64
May 29 19:26:34 Finished compiler/encoders/x64                                    0s 102MB
May 29 19:26:35 Starting compiler/encoders/arm7
May 29 19:26:36 Finished compiler/encoders/arm7                                   0s  94MB
May 29 19:26:37 Starting compiler/encoders/arm8
May 29 19:26:39 Finished compiler/encoders/arm8                                   0s 102MB
May 29 19:26:39 Starting compiler/encoders/arm8_asl
May 29 19:28:54 Finished compiler/encoders/arm8_asl                            2m13s   1GB
May 29 19:28:55 Starting compiler/encoders/mips
May 29 19:28:57 Finished compiler/encoders/mips                                   0s 103MB
May 29 19:28:58 Starting compiler/encoders/riscv
May 29 19:28:59 Finished compiler/encoders/riscv                                  0s  94MB
May 29 19:29:00 Starting compiler/encoders/ag32
May 29 19:29:02 Finished compiler/encoders/ag32                                   0s  94MB
May 29 19:29:02 Starting compiler/backend/x64
May 29 19:29:04 Finished compiler/backend/x64                                     0s 134MB
May 29 19:29:05 Starting compiler/backend/arm7
May 29 19:29:07 Finished compiler/backend/arm7                                    0s 134MB
May 29 19:29:08 Starting compiler/backend/arm8
May 29 19:29:10 Finished compiler/backend/arm8                                    0s 134MB
May 29 19:29:11 Starting compiler/backend/mips
May 29 19:29:12 Finished compiler/backend/mips                                    0s 134MB
May 29 19:29:13 Starting compiler/backend/riscv
May 29 19:29:15 Finished compiler/backend/riscv                                   0s 134MB
May 29 19:29:16 Starting compiler/backend/ag32
May 29 19:30:36 Finished compiler/backend/ag32                                 1m19s   2GB
May 29 19:30:37 Starting compiler/parsing/proofs
May 29 19:30:39 Finished compiler/parsing/proofs                                  0s  74MB
May 29 19:30:40 Starting compiler/inference/proofs
May 29 19:30:41 Finished compiler/inference/proofs                                0s  91MB
May 29 19:30:42 Starting compiler/backend/semantics
May 29 19:34:29 Finished compiler/backend/semantics                            3m45s   5GB
May 29 19:34:30 Starting compiler/backend/reg_alloc/proofs
May 29 19:34:31 Finished compiler/backend/reg_alloc/proofs                        0s  97MB
May 29 19:34:32 Starting compiler/backend/proofs
May 29 19:35:39 Finished compiler/backend/proofs                               1m05s   3GB
May 29 19:35:39 Starting compiler/backend/serialiser
May 29 19:35:42 Finished compiler/backend/serialiser                              1s 194MB
May 29 19:35:43 Starting compiler/encoders/x64/proofs
May 29 19:45:07 Finished compiler/encoders/x64/proofs                          9m23s   5GB
May 29 19:45:08 Starting compiler/encoders/arm7/proofs
May 29 19:57:54 Finished compiler/encoders/arm7/proofs                        12m44s   7GB
May 29 19:57:55 Starting compiler/encoders/arm8/proofs
May 29 20:04:31 Finished compiler/encoders/arm8/proofs                         6m35s   5GB
May 29 20:04:32 Starting compiler/encoders/arm8_asl/proofs
May 29 20:18:19 Finished compiler/encoders/arm8_asl/proofs                    13m46s   4GB
May 29 20:18:20 Starting compiler/encoders/mips/proofs
May 29 20:28:22 Finished compiler/encoders/mips/proofs                        10m01s  10GB
May 29 20:28:23 Starting compiler/encoders/riscv/proofs
May 29 20:36:53 Finished compiler/encoders/riscv/proofs                        8m28s   4GB
May 29 20:36:54 Starting compiler/encoders/ag32/proofs
May 29 20:39:19 Finished compiler/encoders/ag32/proofs                         2m24s   4GB
May 29 20:39:20 Starting compiler/backend/x64/proofs
May 29 20:40:04 Finished compiler/backend/x64/proofs                             42s   3GB
May 29 20:40:04 Starting compiler/backend/arm7/proofs
May 29 20:40:51 Finished compiler/backend/arm7/proofs                            46s   2GB
May 29 20:40:52 Starting compiler/backend/arm8/proofs
May 29 20:41:36 Finished compiler/backend/arm8/proofs                            42s   3GB
May 29 20:41:37 Starting compiler/backend/arm8_asl
May 29 20:42:07 Finished compiler/backend/arm8_asl                               29s   2GB
May 29 20:42:08 Starting compiler/backend/mips/proofs
May 29 20:42:56 Finished compiler/backend/mips/proofs                            46s   3GB
May 29 20:42:57 Starting compiler/backend/riscv/proofs
May 29 20:43:50 Finished compiler/backend/riscv/proofs                           52s   4GB
May 29 20:43:51 Starting compiler/backend/ag32/proofs
May 29 20:57:47 Finished compiler/backend/ag32/proofs                         13m54s   6GB
May 29 20:57:47 Starting candle/set-theory
May 29 20:58:35 Finished candle/set-theory                                       46s   1GB
May 29 20:58:36 Starting candle/syntax-lib
May 29 20:58:37 Finished candle/syntax-lib                                        0s  72MB
May 29 20:58:38 Starting candle/standard/syntax
May 29 20:58:57 Finished candle/standard/syntax                                  18s   1GB
May 29 20:58:58 Starting candle/standard/semantics
May 29 21:01:33 Finished candle/standard/semantics                             2m34s   3GB
May 29 21:01:34 Starting candle/standard/monadic
May 29 21:01:36 Finished candle/standard/monadic                                  0s 108MB
May 29 21:01:37 Starting candle/standard/ml_kernel
May 29 21:03:30 Finished candle/standard/ml_kernel                             1m52s   5GB
May 29 21:03:31 Starting candle/overloading/syntax
May 29 21:07:06 Finished candle/overloading/syntax                             3m33s   2GB
May 29 21:07:07 Starting candle/overloading/semantics
May 29 21:18:33 Finished candle/overloading/semantics                         11m25s   5GB
May 29 21:18:34 Starting candle/overloading/monadic
May 29 21:21:11 Finished candle/overloading/monadic                            2m36s   2GB
May 29 21:21:12 Starting candle/overloading/ml_kernel
May 29 21:28:56 Finished candle/overloading/ml_kernel                          7m42s   7GB
May 29 21:28:57 Starting candle/overloading/ml_checker
May 29 21:31:29 Finished candle/overloading/ml_checker                         2m31s   6GB
May 29 21:31:30 Starting candle/prover
May 29 21:41:34 Finished candle/prover                                        10m02s   5GB
May 29 21:41:35 Starting pancake
May 29 21:42:44 Finished pancake                                               1m08s   1GB
May 29 21:42:45 Starting pancake/ffi
May 29 21:42:46 Finished pancake/ffi                                              0s  20MB
May 29 21:42:47 Starting pancake/semantics
May 29 21:45:28 Finished pancake/semantics                                     2m40s   2GB
May 29 21:45:29 Starting pancake/parser
May 29 21:46:00 Finished pancake/parser                                          30s   2GB
May 29 21:46:01 Starting pancake/proofs
May 29 22:16:54 Finished pancake/proofs                                       30m52s   8GB
May 29 22:16:55 Starting characteristic/examples
May 29 22:18:34 Finished characteristic/examples                               1m37s   6GB
May 29 22:18:35 Starting tutorial/solutions
May 29 22:34:14 Finished tutorial/solutions                                   15m38s  12GB
May 29 22:34:15 Starting translator/monadic/examples
May 29 22:38:09 Finished translator/monadic/examples                           3m53s   5GB
May 29 22:38:10 Starting examples
May 29 22:52:39 Finished examples                                             14m28s   8GB
May 29 22:52:40 Starting examples/compilation/x64
May 30 00:51:25 Finished examples/compilation/x64                           1h58m43s  22GB
May 30 00:51:25 Starting examples/compilation/x64/proofs
May 30 00:55:21 Finished examples/compilation/x64/proofs                       3m54s   6GB
May 30 00:55:22 Starting examples/compilation/ag32
May 30 01:24:54 Finished examples/compilation/ag32                            29m31s  10GB
May 30 01:24:54 Starting examples/compilation/ag32/proofs
May 30 01:26:27 Finished examples/compilation/ag32/proofs                      1m31s   7GB
May 30 01:26:28 Starting examples/compilation/to_word
May 30 01:30:23 Finished examples/compilation/to_word                          3m54s  11GB
May 30 01:30:24 Starting examples/lpr_checker
May 30 01:31:46 Finished examples/lpr_checker                                  1m20s   2GB
May 30 01:31:47 Starting examples/lpr_checker/array
May 30 02:00:25 Finished examples/lpr_checker/array                           28m37s  21GB
May 30 02:00:26 Starting examples/lpr_checker/array/compilation
May 30 02:38:56 Finished examples/lpr_checker/array/compilation               38m29s  72GB
May 30 02:38:57 Starting examples/lpr_checker/array/compilation/proofs
May 30 02:40:37 Finished examples/lpr_checker/array/compilation/proofs         1m39s   8GB
May 30 02:40:38 Starting examples/lpr_checker/array/compilation/proofsARM8
May 30 02:49:17 Finished examples/lpr_checker/array/compilation/proofsARM8     8m38s  49GB
May 30 02:49:18 Starting examples/xlrup_checker
May 30 02:50:32 Finished examples/xlrup_checker                                1m13s   2GB
May 30 02:50:34 Starting examples/xlrup_checker/array
May 30 03:05:47 Finished examples/xlrup_checker/array                         15m12s   8GB
May 30 03:05:48 Starting examples/xlrup_checker/array/compilation
May 30 03:27:11 Finished examples/xlrup_checker/array/compilation             21m22s  35GB
May 30 03:27:12 Starting examples/xlrup_checker/array/compilation/proofs
May 30 03:28:44 Finished examples/xlrup_checker/array/compilation/proofs       1m31s   7GB
May 30 03:28:45 Starting examples/pseudo_bool
May 30 03:30:56 Finished examples/pseudo_bool                                  2m10s   2GB
May 30 03:30:57 Starting examples/pseudo_bool/cnf_encoding
May 30 03:31:38 Finished examples/pseudo_bool/cnf_encoding                       39s   1GB
May 30 03:31:38 Starting examples/pseudo_bool/graph_encoding
May 30 03:32:35 Finished examples/pseudo_bool/graph_encoding                     55s   2GB
May 30 03:32:36 Starting examples/pseudo_bool/array
May 30 04:38:35 Finished examples/pseudo_bool/array                         1h05m58s  45GB
May 30 04:38:36 Starting examples/pseudo_bool/array/compilation
May 30 13:42:17 Finished examples/pseudo_bool/array/compilation             9h03m39s 160GB
May 30 13:42:18 Starting examples/pseudo_bool/array/compilation/proofs
May 30 13:45:40 Finished examples/pseudo_bool/array/compilation/proofs         3m20s   8GB
May 30 13:45:41 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 30 14:03:03 Finished examples/pseudo_bool/array/compilation/proofsARM8    17m21s  46GB
May 30 14:03:04 Starting examples/opentheory
May 30 14:13:56 Finished examples/opentheory                                  10m51s   7GB
May 30 14:13:57 Starting examples/opentheory
May 30 14:13:59 Finished examples/opentheory                                      0s 136MB
May 30 14:14:00 Starting examples/opentheory/compilation
May 30 14:50:28 Finished examples/opentheory/compilation                      36m26s  50GB
May 30 14:50:29 Starting examples/opentheory/compilation/proofs
May 30 14:52:01 Finished examples/opentheory/compilation/proofs                1m31s   7GB
May 30 14:52:02 Starting examples/opentheory/compilation/ag32
May 30 15:25:57 Finished examples/opentheory/compilation/ag32                 33m54s  81GB
May 30 15:25:58 Starting examples/opentheory/compilation/ag32/proofs
May 30 15:28:17 Finished examples/opentheory/compilation/ag32/proofs           2m18s  11GB
May 30 15:28:18 Starting examples/sat_encodings
May 30 15:31:17 Finished examples/sat_encodings                                2m58s   2GB
May 30 15:31:18 Starting examples/sat_encodings/case_studies
May 30 15:33:26 Finished examples/sat_encodings/case_studies                   2m07s   2GB
May 30 15:33:27 Starting examples/sat_encodings/translation
May 30 15:39:44 Finished examples/sat_encodings/translation                    6m15s   7GB
May 30 15:39:45 Starting examples/sat_encodings/translation/compilation
May 30 16:15:49 Finished examples/sat_encodings/translation/compilation       36m03s  42GB
May 30 16:15:50 Starting examples/deflate
May 30 16:17:12 Finished examples/deflate                                      1m21s   1GB
May 30 16:17:13 Starting examples/deflate/translation
May 30 16:18:53 Finished examples/deflate/translation                          1m39s   7GB
May 30 16:18:54 Starting examples/deflate/translation/compilation
May 30 16:36:07 Finished examples/deflate/translation/compilation             17m11s  24GB
May 30 16:36:08 Starting examples/vipr
May 30 16:40:17 Finished examples/vipr                                         4m08s   8GB
May 30 16:40:18 Starting examples/vipr/compilation
May 30 17:00:42 Finished examples/vipr/compilation                            20m23s  33GB
May 30 17:00:43 Starting translator/okasaki-examples
May 30 17:05:48 Finished translator/okasaki-examples                           5m04s   4GB
May 30 17:05:49 Starting translator/other-examples
May 30 17:07:01 Finished translator/other-examples                             1m11s   3GB
May 30 17:07:02 Starting compiler/parsing/tests
May 30 17:07:36 Finished compiler/parsing/tests                                  32s   1GB
May 30 17:07:37 Starting compiler/inference/tests
May 30 17:15:02 Finished compiler/inference/tests                              7m24s   6GB
May 30 17:15:03 Starting compiler/printing/test
May 30 17:18:37 Finished compiler/printing/test                                3m32s   6GB
May 30 17:18:38 Starting icing/flover
May 30 17:55:29 Finished icing/flover                                         36m50s   4GB
May 30 17:55:30 Starting icing/
May 30 18:50:05 Finished icing/                                               54m34s  26GB
May 30 18:50:06 Starting icing/examples
May 30 18:51:53 Finished icing/examples                                        1m46s   9GB
May 30 18:51:54 Starting compiler/repl
May 30 19:00:42 Finished compiler/repl                                         8m46s   8GB
May 30 19:00:43 Starting unverified/sexpr-bootstrap/x64/64
May 30 19:12:08 Finished unverified/sexpr-bootstrap/x64/64                    11m01s  16GB
May 30 19:12:09 Starting unverified/sexpr-bootstrap/x64/32
May 30 19:21:33 Finished unverified/sexpr-bootstrap/x64/32                     9m05s  15GB
May 30 19:21:34 Starting compiler/benchmarks
May 30 19:22:18 Finished compiler/benchmarks                                     43s 713MB
May 30 19:22:19 Starting compiler/bootstrap/compilation/x64/64
May 31 10:59:57 Finished compiler/bootstrap/compilation/x64/64             15h37m26s 179GB
May 31 10:59:58 Starting compiler/bootstrap/compilation/x64/64/proofs
May 31 11:21:07 Finished compiler/bootstrap/compilation/x64/64/proofs         21m07s  35GB
May 31 11:21:08 Starting compiler/bootstrap/compilation/x64/32
May 31 18:56:11 Finished compiler/bootstrap/compilation/x64/32              7h34m55s 152GB
May 31 18:56:12 Starting compiler/bootstrap/compilation/x64/32/proofs
May 31 18:59:51 Finished compiler/bootstrap/compilation/x64/32/proofs          3m37s  18GB
May 31 18:59:52 Starting compiler/bootstrap/compilation/ag32/32
Jun 01 03:06:11 Finished compiler/bootstrap/compilation/ag32/32             8h06m18s 156GB
Jun 01 03:06:12 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 01 03:14:32 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m19s  51GB
Jun 01 03:14:33 SUCCESS