Job 2590

CakeML:aae58d5f10c0049c66d6f5d2f5223537b2cd5915
  Merge pull request #1049 from halogentlepersuasion/pan_loadprec [Aug 29 14:36:14]
HOL:de7fb61814acbb0f1393821a7e89b4ce589a41fb
  Fix aatgroup for the experimental kernel [Aug 27 23:57:16]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Aug 29 14:42:24 Claimed job
Aug 29 14:42:30 Building HOL
Aug 29 14:57:02 Starting developers
Aug 29 14:57:05 Finished developers                                               2s 221MB
Aug 29 14:57:06 Starting developers/bin
Aug 29 14:57:17 Finished developers/bin                                          10s   1GB
Aug 29 14:57:18 Starting compiler/proofs
Aug 29 16:40:50 Finished compiler/proofs                                    1h43m31s  33GB
Aug 29 16:40:51 Starting compiler/bootstrap/translation
Aug 30 01:27:27 Finished compiler/bootstrap/translation                     8h46m35s  58GB
Aug 30 01:27:28 Starting semantics/ffi
Aug 30 01:27:37 Finished semantics/ffi                                            7s 783MB
Aug 30 01:27:38 Starting semantics
Aug 30 01:27:39 Finished semantics                                                0s  70MB
Aug 30 01:27:40 Starting semantics/proofs
Aug 30 01:28:03 Finished semantics/proofs                                        22s 786MB
Aug 30 01:28:04 Starting semantics/alt_semantics
Aug 30 01:28:30 Finished semantics/alt_semantics                                 24s 700MB
Aug 30 01:28:31 Starting semantics/alt_semantics/proofs
Aug 30 01:38:41 Finished semantics/alt_semantics/proofs                       10m09s   3GB
Aug 30 01:38:42 Starting basis/pure
Aug 30 01:38:43 Finished basis/pure                                               0s  76MB
Aug 30 01:38:44 Starting translator
Aug 30 01:40:22 Finished translator                                            1m36s   4GB
Aug 30 01:40:22 Starting compiler/parsing
Aug 30 01:40:24 Finished compiler/parsing                                         0s  68MB
Aug 30 01:40:25 Starting characteristic
Aug 30 01:40:26 Finished characteristic                                           0s  91MB
Aug 30 01:40:27 Starting translator/monadic
Aug 30 01:40:29 Finished translator/monadic                                       0s  99MB
Aug 30 01:40:29 Starting basis
Aug 30 01:42:55 Finished basis                                                 2m24s   4GB
Aug 30 01:42:56 Starting compiler/inference
Aug 30 01:42:57 Finished compiler/inference                                       0s  93MB
Aug 30 01:42:58 Starting compiler/backend/reg_alloc
Aug 30 01:42:59 Finished compiler/backend/reg_alloc                               0s  67MB
Aug 30 01:43:00 Starting compiler/backend/gc
Aug 30 01:43:02 Finished compiler/backend/gc                                      0s 140MB
Aug 30 01:43:03 Starting compiler/backend
Aug 30 01:43:08 Finished compiler/backend                                         3s 352MB
Aug 30 01:43:09 Starting compiler/encoders/asm
Aug 30 01:43:10 Finished compiler/encoders/asm                                    0s  98MB
Aug 30 01:43:11 Starting compiler/encoders/x64
Aug 30 01:43:12 Finished compiler/encoders/x64                                    0s 103MB
Aug 30 01:43:13 Starting compiler/encoders/arm7
Aug 30 01:43:15 Finished compiler/encoders/arm7                                   0s 103MB
Aug 30 01:43:16 Starting compiler/encoders/arm8
Aug 30 01:43:17 Finished compiler/encoders/arm8                                   0s 103MB
Aug 30 01:43:18 Starting compiler/encoders/arm8_asl
Aug 30 03:54:21 Finished compiler/encoders/arm8_asl                         2h11m02s  44GB
Aug 30 03:54:22 Starting compiler/encoders/mips
Aug 30 03:54:24 Finished compiler/encoders/mips                                   0s  99MB
Aug 30 03:54:24 Starting compiler/encoders/riscv
Aug 30 03:54:26 Finished compiler/encoders/riscv                                  0s  93MB
Aug 30 03:54:27 Starting compiler/encoders/ag32
Aug 30 03:54:28 Finished compiler/encoders/ag32                                   0s  98MB
Aug 30 03:54:29 Starting compiler/backend/x64
Aug 30 03:54:31 Finished compiler/backend/x64                                     0s 138MB
Aug 30 03:54:32 Starting compiler/backend/arm7
Aug 30 03:54:34 Finished compiler/backend/arm7                                    0s 139MB
Aug 30 03:54:34 Starting compiler/backend/arm8
Aug 30 03:54:36 Finished compiler/backend/arm8                                    0s 139MB
Aug 30 03:54:37 Starting compiler/backend/mips
Aug 30 03:54:39 Finished compiler/backend/mips                                    0s 139MB
Aug 30 03:54:40 Starting compiler/backend/riscv
Aug 30 03:54:42 Finished compiler/backend/riscv                                   0s 139MB
Aug 30 03:54:42 Starting compiler/backend/ag32
Aug 30 03:56:04 Finished compiler/backend/ag32                                 1m20s   2GB
Aug 30 03:56:05 Starting compiler/parsing/proofs
Aug 30 03:56:06 Finished compiler/parsing/proofs                                  0s  76MB
Aug 30 03:56:07 Starting compiler/inference/proofs
Aug 30 03:56:09 Finished compiler/inference/proofs                                0s  93MB
Aug 30 03:56:10 Starting compiler/backend/semantics
Aug 30 03:59:23 Finished compiler/backend/semantics                            3m12s   2GB
Aug 30 03:59:24 Starting compiler/backend/reg_alloc/proofs
Aug 30 03:59:25 Finished compiler/backend/reg_alloc/proofs                        0s  99MB
Aug 30 03:59:26 Starting compiler/backend/proofs
Aug 30 04:00:23 Finished compiler/backend/proofs                                 55s   5GB
Aug 30 04:00:24 Starting compiler/backend/serialiser
Aug 30 04:00:25 Finished compiler/backend/serialiser                              0s 140MB
Aug 30 04:00:26 Starting compiler/encoders/x64/proofs
Aug 30 04:10:41 Finished compiler/encoders/x64/proofs                         10m13s   5GB
Aug 30 04:10:42 Starting compiler/encoders/arm7/proofs
Aug 30 04:23:53 Finished compiler/encoders/arm7/proofs                        13m10s   7GB
Aug 30 04:23:54 Starting compiler/encoders/arm8/proofs
Aug 30 04:30:51 Finished compiler/encoders/arm8/proofs                         6m56s   4GB
Aug 30 04:30:52 Starting compiler/encoders/arm8_asl/proofs
Aug 30 05:22:03 Finished compiler/encoders/arm8_asl/proofs                    51m09s  12GB
Aug 30 05:22:04 Starting compiler/encoders/mips/proofs
Aug 30 05:32:18 Finished compiler/encoders/mips/proofs                        10m13s   7GB
Aug 30 05:32:19 Starting compiler/encoders/riscv/proofs
Aug 30 05:40:32 Finished compiler/encoders/riscv/proofs                        8m11s   4GB
Aug 30 05:40:33 Starting compiler/encoders/ag32/proofs
Aug 30 05:43:28 Finished compiler/encoders/ag32/proofs                         2m54s   2GB
Aug 30 05:43:29 Starting compiler/backend/x64/proofs
Aug 30 05:44:13 Finished compiler/backend/x64/proofs                             43s   3GB
Aug 30 05:44:14 Starting compiler/backend/arm7/proofs
Aug 30 05:45:00 Finished compiler/backend/arm7/proofs                            44s   3GB
Aug 30 05:45:00 Starting compiler/backend/arm8/proofs
Aug 30 05:45:43 Finished compiler/backend/arm8/proofs                            41s   3GB
Aug 30 05:45:44 Starting compiler/backend/arm8_asl
Aug 30 05:46:13 Finished compiler/backend/arm8_asl                               28s   2GB
Aug 30 05:46:14 Starting compiler/backend/mips/proofs
Aug 30 05:47:01 Finished compiler/backend/mips/proofs                            45s   3GB
Aug 30 05:47:02 Starting compiler/backend/riscv/proofs
Aug 30 05:47:55 Finished compiler/backend/riscv/proofs                           52s   3GB
Aug 30 05:47:56 Starting compiler/backend/ag32/proofs
Aug 30 06:04:20 Finished compiler/backend/ag32/proofs                         16m23s   6GB
Aug 30 06:04:21 Starting compiler/backend/cv_compute
Aug 30 06:06:12 Finished compiler/backend/cv_compute                           1m49s   3GB
Aug 30 06:06:13 Starting cv_translator
Aug 30 06:25:46 Finished cv_translator                                        19m31s  13GB
Aug 30 06:25:47 Starting candle/set-theory
Aug 30 06:26:37 Finished candle/set-theory                                       49s   1GB
Aug 30 06:26:38 Starting candle/syntax-lib
Aug 30 06:26:39 Finished candle/syntax-lib                                        0s  73MB
Aug 30 06:26:40 Starting candle/standard/syntax
Aug 30 06:26:59 Finished candle/standard/syntax                                  18s   1GB
Aug 30 06:27:00 Starting candle/standard/semantics
Aug 30 06:29:41 Finished candle/standard/semantics                             2m40s   3GB
Aug 30 06:29:42 Starting candle/standard/monadic
Aug 30 06:29:43 Finished candle/standard/monadic                                  0s 102MB
Aug 30 06:29:44 Starting candle/standard/ml_kernel
Aug 30 06:31:45 Finished candle/standard/ml_kernel                             1m59s   5GB
Aug 30 06:31:45 Starting candle/overloading/syntax
Aug 30 06:35:26 Finished candle/overloading/syntax                             3m39s   3GB
Aug 30 06:35:27 Starting candle/overloading/semantics
Aug 30 06:47:01 Finished candle/overloading/semantics                         11m32s   7GB
Aug 30 06:47:02 Starting candle/overloading/monadic
Aug 30 06:49:38 Finished candle/overloading/monadic                            2m35s   2GB
Aug 30 06:49:38 Starting candle/overloading/ml_kernel
Aug 30 06:57:29 Finished candle/overloading/ml_kernel                          7m49s   6GB
Aug 30 06:57:30 Starting candle/overloading/ml_checker
Aug 30 07:00:10 Finished candle/overloading/ml_checker                         2m39s   7GB
Aug 30 07:00:11 Starting candle/prover
Aug 30 07:10:33 Finished candle/prover                                        10m20s   6GB
Aug 30 07:10:34 Starting pancake
Aug 30 07:10:59 Finished pancake                                                 24s 997MB
Aug 30 07:11:00 Starting pancake/ffi
Aug 30 07:11:01 Finished pancake/ffi                                              0s  24MB
Aug 30 07:11:02 Starting pancake/semantics
Aug 30 07:13:10 Finished pancake/semantics                                     2m07s   2GB
Aug 30 07:13:11 Starting pancake/parser
Aug 30 07:13:34 Finished pancake/parser                                          22s 829MB
Aug 30 07:13:35 Starting pancake/proofs
Aug 30 07:28:46 Finished pancake/proofs                                       15m09s   7GB
Aug 30 07:28:47 Starting characteristic/examples
Aug 30 07:30:13 Finished characteristic/examples                               1m25s   4GB
Aug 30 07:30:14 Starting tutorial/solutions
Aug 30 07:32:58 Finished tutorial/solutions                                    2m42s   4GB
Aug 30 07:32:59 Starting translator/monadic/examples
Aug 30 07:36:08 Finished translator/monadic/examples                           3m08s   4GB
Aug 30 07:36:09 Starting examples
Aug 30 07:48:25 Finished examples                                             12m15s   5GB
Aug 30 07:48:26 Starting examples/compilation/x64
Aug 30 07:58:01 Finished examples/compilation/x64                              9m34s   8GB
Aug 30 07:58:02 Starting examples/compilation/x64/proofs
Aug 30 08:02:42 Finished examples/compilation/x64/proofs                       4m38s   7GB
Aug 30 08:02:43 Starting examples/compilation/ag32
Aug 30 08:05:28 Finished examples/compilation/ag32                             2m43s   5GB
Aug 30 08:05:28 Starting examples/compilation/ag32/proofs
Aug 30 08:07:32 Finished examples/compilation/ag32/proofs                      2m02s  10GB
Aug 30 08:07:33 Starting examples/compilation/to_word
Aug 30 08:11:32 Finished examples/compilation/to_word                          3m58s  13GB
Aug 30 08:11:33 Starting examples/lpr_checker
Aug 30 08:12:12 Finished examples/lpr_checker                                    37s   1GB
Aug 30 08:12:13 Starting examples/lpr_checker/array
Aug 30 08:38:12 Finished examples/lpr_checker/array                           25m58s  26GB
Aug 30 08:38:13 Starting examples/lpr_checker/array/compilation
Aug 30 08:40:49 Finished examples/lpr_checker/array/compilation                2m34s   9GB
Aug 30 08:40:50 Starting examples/lpr_checker/array/compilation/proofs
Aug 30 08:42:44 Finished examples/lpr_checker/array/compilation/proofs         1m53s   9GB
Aug 30 08:42:45 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 30 08:44:33 Finished examples/lpr_checker/array/compilation/proofsARM8     1m46s   8GB
Aug 30 08:44:34 Starting examples/xlrup_checker
Aug 30 08:45:08 Finished examples/xlrup_checker                                  33s   1GB
Aug 30 08:45:09 Starting examples/xlrup_checker/array
Aug 30 08:58:38 Finished examples/xlrup_checker/array                         13m27s  11GB
Aug 30 08:58:39 Starting examples/xlrup_checker/array/compilation
Aug 30 09:00:06 Finished examples/xlrup_checker/array/compilation              1m25s   7GB
Aug 30 09:00:06 Starting examples/xlrup_checker/array/compilation/proofs
Aug 30 09:01:56 Finished examples/xlrup_checker/array/compilation/proofs       1m49s   8GB
Aug 30 09:01:57 Starting examples/pseudo_bool
Aug 30 09:03:20 Finished examples/pseudo_bool                                  1m21s   1GB
Aug 30 09:03:20 Starting examples/pseudo_bool/cnf_encoding
Aug 30 09:04:00 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Aug 30 09:04:01 Starting examples/pseudo_bool/graph_encoding
Aug 30 09:04:54 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Aug 30 09:04:55 Starting examples/pseudo_bool/array
Aug 30 10:08:29 Finished examples/pseudo_bool/array                         1h03m33s  37GB
Aug 30 10:08:30 Starting examples/pseudo_bool/array/compilation
Aug 30 10:21:41 Finished examples/pseudo_bool/array/compilation               13m09s  31GB
Aug 30 10:21:42 Starting examples/pseudo_bool/array/compilation/proofs
Aug 30 10:25:51 Finished examples/pseudo_bool/array/compilation/proofs         4m08s   9GB
Aug 30 10:25:52 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 30 10:27:41 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m48s   8GB
Aug 30 10:27:42 Starting examples/opentheory
Aug 30 10:36:16 Finished examples/opentheory                                   8m33s   5GB
Aug 30 10:36:17 Starting examples/opentheory
Aug 30 10:36:19 Finished examples/opentheory                                      0s 134MB
Aug 30 10:36:19 Starting examples/opentheory/compilation
Aug 30 10:38:24 Finished examples/opentheory/compilation                       2m03s   9GB
Aug 30 10:38:25 Starting examples/opentheory/compilation/proofs
Aug 30 10:40:16 Finished examples/opentheory/compilation/proofs                1m50s   6GB
Aug 30 10:40:17 Starting examples/opentheory/compilation/ag32
Aug 30 10:42:25 Finished examples/opentheory/compilation/ag32                  2m07s   9GB
Aug 30 10:42:26 Starting examples/opentheory/compilation/ag32/proofs
Aug 30 10:44:50 Finished examples/opentheory/compilation/ag32/proofs           2m22s  12GB
Aug 30 10:44:51 Starting examples/sat_encodings
Aug 30 10:45:51 Finished examples/sat_encodings                                1m00s 927MB
Aug 30 10:45:52 Starting examples/sat_encodings/case_studies
Aug 30 10:48:02 Finished examples/sat_encodings/case_studies                   2m09s   2GB
Aug 30 10:48:03 Starting examples/sat_encodings/translation
Aug 30 10:51:42 Finished examples/sat_encodings/translation                    3m38s   3GB
Aug 30 10:51:43 Starting examples/sat_encodings/translation/compilation
Aug 30 10:54:09 Finished examples/sat_encodings/translation/compilation        2m25s   7GB
Aug 30 10:54:10 Starting examples/deflate
Aug 30 10:54:37 Finished examples/deflate                                        25s 740MB
Aug 30 10:54:37 Starting examples/deflate/translation
Aug 30 10:55:37 Finished examples/deflate/translation                            58s   2GB
Aug 30 10:55:37 Starting examples/deflate/translation/compilation
Aug 30 10:56:44 Finished examples/deflate/translation/compilation              1m05s   6GB
Aug 30 10:56:45 Starting examples/vipr
Aug 30 11:00:19 Finished examples/vipr                                         3m33s   5GB
Aug 30 11:00:20 Starting examples/vipr/compilation
Aug 30 11:01:38 Finished examples/vipr/compilation                             1m17s   5GB
Aug 30 11:01:39 Starting translator/okasaki-examples
Aug 30 11:05:56 Finished translator/okasaki-examples                           4m16s   4GB
Aug 30 11:05:56 Starting translator/other-examples
Aug 30 11:10:49 Finished translator/other-examples                             4m51s   3GB
Aug 30 11:10:50 Starting compiler/parsing/tests
Aug 30 11:11:29 Finished compiler/parsing/tests                                  37s   2GB
Aug 30 11:11:29 Starting compiler/inference/tests
Aug 30 11:12:13 Finished compiler/inference/tests                                42s   2GB
Aug 30 11:12:13 Starting compiler/printing/test
Aug 30 11:13:49 Finished compiler/printing/test                                1m34s   7GB
Aug 30 11:13:50 Starting icing/flover
Aug 30 11:50:33 Finished icing/flover                                         36m41s   4GB
Aug 30 11:50:34 Starting icing/
Aug 30 12:18:42 Finished icing/                                               28m07s   5GB
Aug 30 12:18:43 Starting icing/examples
Aug 30 12:20:32 Finished icing/examples                                        1m48s   9GB
Aug 30 12:20:33 Starting compiler/repl
Aug 30 12:29:37 Finished compiler/repl                                         9m03s  12GB
Aug 30 12:29:38 Starting unverified/sexpr-bootstrap/x64/64
Aug 30 12:43:11 Finished unverified/sexpr-bootstrap/x64/64                    13m06s  18GB
Aug 30 12:43:12 Starting unverified/sexpr-bootstrap/x64/32
Aug 30 12:53:59 Finished unverified/sexpr-bootstrap/x64/32                    10m27s  14GB
Aug 30 12:54:00 Starting compiler/benchmarks
Aug 30 12:54:44 Finished compiler/benchmarks                                     43s 713MB
Aug 30 12:54:45 Starting compiler/bootstrap/compilation/x64/64
Aug 30 13:39:31 Finished compiler/bootstrap/compilation/x64/64                44m32s 137GB
Aug 30 13:39:32 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 30 14:03:30 Finished compiler/bootstrap/compilation/x64/64/proofs         23m56s  55GB
Aug 30 14:03:31 Starting compiler/bootstrap/compilation/x64/32
Aug 30 14:42:40 Finished compiler/bootstrap/compilation/x64/32                39m01s  95GB
Aug 30 14:42:41 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 30 14:47:30 Finished compiler/bootstrap/compilation/x64/32/proofs          4m48s  25GB
Aug 30 14:47:31 Starting compiler/bootstrap/compilation/arm8/64
Aug 30 15:44:40 Finished compiler/bootstrap/compilation/arm8/64               56m59s 124GB
Aug 30 15:44:41 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 30 15:50:06 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m23s  30GB
Aug 30 15:50:06 Starting compiler/bootstrap/compilation/ag32/32
Aug 30 16:28:43 Finished compiler/bootstrap/compilation/ag32/32               38m35s  95GB
Aug 30 16:28:44 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 30 16:34:00 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m14s  30GB
Aug 30 16:34:01 SUCCESS