Job 2815

CakeML:741ac48b85efa0a158d4d1241e53cab7ca8d1de4
  Remove more stray timeLang files [Apr 28 08:04:49]
#1161 (untime)
Merging into:3a32c44c6206176c9170037342ca7969e812114a
  Merge pull request #1166 from CakeML/UNCURRY_CONST_fix [May 02 15:46:26]
HOL:cf4347f8d871d793c021d04fe2bdc677c7149183
  Add UNCURRY_CONST [Apr 21 09:14:13]
Machine:pavlova

May 05 06:09:02 Claimed job
May 05 06:09:10 Reusing HOL
May 05 06:09:21 Starting developers
May 05 06:09:25 Finished developers                                               2s 185MB
May 05 06:09:26 Starting developers/bin
May 05 06:09:31 Finished developers/bin                                           4s 592MB
May 05 06:09:32 Starting misc
May 05 06:10:13 Finished misc                                                    40s   1GB
May 05 06:10:14 Starting compiler/proofs
May 05 07:53:59 Finished compiler/proofs                                    1h43m42s  33GB
May 05 07:54:00 Starting compiler/bootstrap/translation
May 05 13:33:28 Finished compiler/bootstrap/translation                     5h39m25s  89GB
May 05 13:33:29 Starting semantics/ffi
May 05 13:33:39 Finished semantics/ffi                                            8s 564MB
May 05 13:33:40 Starting semantics
May 05 13:33:41 Finished semantics                                                0s  52MB
May 05 13:33:42 Starting semantics/proofs
May 05 13:34:05 Finished semantics/proofs                                        21s 870MB
May 05 13:34:06 Starting semantics/alt_semantics
May 05 13:34:27 Finished semantics/alt_semantics                                 20s 882MB
May 05 13:34:28 Starting semantics/alt_semantics/proofs
May 05 13:44:49 Finished semantics/alt_semantics/proofs                       10m19s   2GB
May 05 13:44:50 Starting basis/pure
May 05 13:44:52 Finished basis/pure                                               0s  91MB
May 05 13:44:52 Starting translator
May 05 13:46:25 Finished translator                                            1m31s   3GB
May 05 13:46:26 Starting compiler/parsing
May 05 13:46:27 Finished compiler/parsing                                         0s  61MB
May 05 13:46:28 Starting characteristic
May 05 13:46:30 Finished characteristic                                           1s 115MB
May 05 13:46:31 Starting translator/monadic
May 05 13:46:33 Finished translator/monadic                                       1s 116MB
May 05 13:46:34 Starting translator/monadic/monad_base
May 05 13:46:35 Finished translator/monadic/monad_base                            0s  56MB
May 05 13:46:36 Starting basis
May 05 13:48:58 Finished basis                                                 2m20s   4GB
May 05 13:48:58 Starting compiler
May 05 13:49:01 Finished compiler                                                 1s 215MB
May 05 13:49:02 Starting compiler/inference
May 05 13:49:04 Finished compiler/inference                                       1s 113MB
May 05 13:49:05 Starting compiler/backend/reg_alloc
May 05 13:49:06 Finished compiler/backend/reg_alloc                               0s  55MB
May 05 13:49:07 Starting compiler/backend/gc
May 05 13:49:09 Finished compiler/backend/gc                                      1s 139MB
May 05 13:49:10 Starting compiler/backend
May 05 13:49:15 Finished compiler/backend                                         3s 235MB
May 05 13:49:16 Starting compiler/encoders/asm
May 05 13:49:18 Finished compiler/encoders/asm                                    0s  86MB
May 05 13:49:19 Starting compiler/encoders/x64
May 05 13:49:20 Finished compiler/encoders/x64                                    0s  90MB
May 05 13:49:21 Starting compiler/encoders/arm7
May 05 13:49:23 Finished compiler/encoders/arm7                                   0s  90MB
May 05 13:49:24 Starting compiler/encoders/arm8
May 05 13:49:25 Finished compiler/encoders/arm8                                   0s  87MB
May 05 13:49:26 Starting compiler/encoders/arm8_asl
May 05 15:48:35 Finished compiler/encoders/arm8_asl                         1h59m06s  26GB
May 05 15:48:36 Starting compiler/encoders/mips
May 05 15:48:38 Finished compiler/encoders/mips                                   0s  87MB
May 05 15:48:39 Starting compiler/encoders/riscv
May 05 15:48:40 Finished compiler/encoders/riscv                                  0s  91MB
May 05 15:48:41 Starting compiler/encoders/ag32
May 05 15:48:43 Finished compiler/encoders/ag32                                   0s  86MB
May 05 15:48:44 Starting compiler/encoders/tests
May 05 15:48:46 Finished compiler/encoders/tests                                  1s 107MB
May 05 15:48:47 Starting compiler/encoders/monadic_enc
May 05 15:48:49 Finished compiler/encoders/monadic_enc                            1s 143MB
May 05 15:48:50 Starting compiler/backend/x64
May 05 15:48:52 Finished compiler/backend/x64                                     1s 142MB
May 05 15:48:53 Starting compiler/backend/arm7
May 05 15:48:55 Finished compiler/backend/arm7                                    1s 142MB
May 05 15:48:56 Starting compiler/backend/arm8
May 05 15:48:58 Finished compiler/backend/arm8                                    1s 142MB
May 05 15:48:59 Starting compiler/backend/mips
May 05 15:49:01 Finished compiler/backend/mips                                    1s 142MB
May 05 15:49:02 Starting compiler/backend/riscv
May 05 15:49:04 Finished compiler/backend/riscv                                   1s 142MB
May 05 15:49:05 Starting compiler/backend/ag32
May 05 15:50:13 Finished compiler/backend/ag32                                 1m06s   3GB
May 05 15:50:14 Starting compiler/backend/pattern_matching
May 05 15:50:15 Finished compiler/backend/pattern_matching                        0s  51MB
May 05 15:50:16 Starting compiler/parsing/ocaml
May 05 15:51:58 Finished compiler/parsing/ocaml                                1m41s   1GB
May 05 15:51:59 Starting compiler/printing
May 05 15:52:01 Finished compiler/printing                                        1s 117MB
May 05 15:52:02 Starting compiler/parsing/proofs
May 05 15:52:04 Finished compiler/parsing/proofs                                  0s  63MB
May 05 15:52:05 Starting compiler/inference/proofs
May 05 15:52:07 Finished compiler/inference/proofs                                1s 110MB
May 05 15:52:07 Starting compiler/backend/semantics
May 05 15:55:17 Finished compiler/backend/semantics                            3m08s   2GB
May 05 15:55:17 Starting compiler/backend/reg_alloc/proofs
May 05 15:55:20 Finished compiler/backend/reg_alloc/proofs                        1s 112MB
May 05 15:55:20 Starting compiler/backend/proofs
May 05 15:56:08 Finished compiler/backend/proofs                                 46s   3GB
May 05 15:56:09 Starting compiler/backend/serialiser
May 05 15:56:11 Finished compiler/backend/serialiser                              1s 147MB
May 05 15:56:12 Starting compiler/encoders/x64/proofs
May 05 16:06:20 Finished compiler/encoders/x64/proofs                         10m07s   4GB
May 05 16:06:21 Starting compiler/encoders/arm7/proofs
May 05 16:19:29 Finished compiler/encoders/arm7/proofs                        13m07s  10GB
May 05 16:19:30 Starting compiler/encoders/arm8/proofs
May 05 16:26:23 Finished compiler/encoders/arm8/proofs                         6m51s   3GB
May 05 16:26:24 Starting compiler/encoders/arm8_asl/proofs
May 05 17:15:56 Finished compiler/encoders/arm8_asl/proofs                    49m29s  20GB
May 05 17:15:56 Starting compiler/encoders/mips/proofs
May 05 17:26:06 Finished compiler/encoders/mips/proofs                        10m08s   6GB
May 05 17:26:07 Starting compiler/encoders/riscv/proofs
May 05 17:34:20 Finished compiler/encoders/riscv/proofs                        8m12s   4GB
May 05 17:34:21 Starting compiler/encoders/ag32/proofs
May 05 17:37:13 Finished compiler/encoders/ag32/proofs                         2m51s   1GB
May 05 17:37:14 Starting compiler/backend/x64/proofs
May 05 17:37:47 Finished compiler/backend/x64/proofs                             31s   2GB
May 05 17:37:48 Starting compiler/backend/arm7/proofs
May 05 17:38:20 Finished compiler/backend/arm7/proofs                            30s   2GB
May 05 17:38:20 Starting compiler/backend/arm8/proofs
May 05 17:38:50 Finished compiler/backend/arm8/proofs                            28s   2GB
May 05 17:38:51 Starting compiler/backend/arm8_asl
May 05 17:39:13 Finished compiler/backend/arm8_asl                               21s   2GB
May 05 17:39:14 Starting compiler/backend/mips/proofs
May 05 17:39:44 Finished compiler/backend/mips/proofs                            28s   2GB
May 05 17:39:45 Starting compiler/backend/riscv/proofs
May 05 17:40:18 Finished compiler/backend/riscv/proofs                           32s   2GB
May 05 17:40:19 Starting compiler/backend/ag32/proofs
May 05 17:53:50 Finished compiler/backend/ag32/proofs                         13m29s   3GB
May 05 17:53:51 Starting compiler/backend/cv_compute
May 05 17:54:59 Finished compiler/backend/cv_compute                           1m06s   2GB
May 05 17:55:00 Starting cv_translator
May 05 18:15:10 Finished cv_translator                                        20m09s   7GB
May 05 18:15:11 Starting candle
May 05 18:15:12 Finished candle                                                   0s   9MB
May 05 18:15:13 Starting candle/set-theory
May 05 18:15:47 Finished candle/set-theory                                       32s   1GB
May 05 18:15:48 Starting candle/syntax-lib
May 05 18:15:49 Finished candle/syntax-lib                                        0s  99MB
May 05 18:15:50 Starting candle/standard
May 05 18:15:51 Finished candle/standard                                          0s  12MB
May 05 18:15:52 Starting candle/standard/syntax
May 05 18:16:05 Finished candle/standard/syntax                                  11s 757MB
May 05 18:16:06 Starting candle/standard/semantics
May 05 18:18:08 Finished candle/standard/semantics                             2m01s   2GB
May 05 18:18:09 Starting candle/standard/monadic
May 05 18:18:11 Finished candle/standard/monadic                                  1s 121MB
May 05 18:18:12 Starting candle/standard/ml_kernel
May 05 18:19:55 Finished candle/standard/ml_kernel                             1m42s   4GB
May 05 18:19:56 Starting candle/standard/ml_kernel/lisp
May 05 18:19:58 Finished candle/standard/ml_kernel/lisp                           0s  50MB
May 05 18:19:58 Starting candle/overloading
May 05 18:19:59 Finished candle/overloading                                       0s  12MB
May 05 18:20:00 Starting candle/overloading/syntax
May 05 18:23:08 Finished candle/overloading/syntax                             3m06s   2GB
May 05 18:23:09 Starting candle/overloading/semantics
May 05 18:34:04 Finished candle/overloading/semantics                         10m54s   5GB
May 05 18:34:05 Starting candle/overloading/monadic
May 05 18:36:19 Finished candle/overloading/monadic                            2m12s   2GB
May 05 18:36:20 Starting candle/overloading/ml_kernel
May 05 18:43:27 Finished candle/overloading/ml_kernel                          7m06s   6GB
May 05 18:43:28 Starting candle/overloading/ml_checker
May 05 18:45:40 Finished candle/overloading/ml_checker                         2m10s   6GB
May 05 18:45:41 Starting candle/prover
May 05 18:55:14 Finished candle/prover                                         9m32s   4GB
May 05 18:55:15 Starting candle/prover/compute
May 05 18:55:18 Finished candle/prover/compute                                    1s 149MB
May 05 18:55:19 Starting pancake
May 05 18:55:21 Finished pancake                                                  1s 134MB
May 05 18:55:22 Starting pancake/semantics
May 05 18:57:31 Finished pancake/semantics                                     2m08s   2GB
May 05 18:57:32 Starting pancake/parser
May 05 18:57:55 Finished pancake/parser                                          22s 488MB
May 05 18:57:56 Starting pancake/static_checker
May 05 18:58:33 Finished pancake/static_checker                                  36s   1GB
May 05 18:58:34 Starting pancake/proofs
May 05 19:14:09 Finished pancake/proofs                                       15m33s   7GB
May 05 19:14:10 Starting compiler/dafny
May 05 19:17:08 Finished compiler/dafny                                        2m56s  10GB
May 05 19:17:09 Starting compiler/dafny/translation
May 05 19:36:34 Finished compiler/dafny/translation                           19m24s  17GB
May 05 19:36:35 Starting compiler/dafny/compilation
May 05 19:39:30 Finished compiler/dafny/compilation                            2m54s   8GB
May 05 19:39:31 Starting compiler/dafny/semantics
May 05 19:40:08 Finished compiler/dafny/semantics                                35s   1GB
May 05 19:40:09 Starting characteristic/examples
May 05 19:41:33 Finished characteristic/examples                               1m23s   4GB
May 05 19:41:33 Starting tutorial/solutions
May 05 19:43:57 Finished tutorial/solutions                                    2m22s   3GB
May 05 19:43:58 Starting translator/monadic/examples
May 05 19:46:49 Finished translator/monadic/examples                           2m50s   3GB
May 05 19:46:50 Starting examples
May 05 19:52:49 Finished examples                                              5m57s   4GB
May 05 19:52:50 Starting examples/compilation
May 05 19:52:51 Finished examples/compilation                                     0s  13MB
May 05 19:52:51 Starting examples/compilation/x64
May 05 19:59:42 Finished examples/compilation/x64                              6m49s   4GB
May 05 19:59:42 Starting examples/compilation/x64/proofs
May 05 20:02:04 Finished examples/compilation/x64/proofs                       2m20s   4GB
May 05 20:02:04 Starting examples/compilation/ag32
May 05 20:03:56 Finished examples/compilation/ag32                             1m50s   3GB
May 05 20:03:57 Starting examples/compilation/ag32/proofs
May 05 20:04:56 Finished examples/compilation/ag32/proofs                        57s   5GB
May 05 20:04:57 Starting examples/lpr_checker
May 05 20:05:27 Finished examples/lpr_checker                                    29s   1GB
May 05 20:05:28 Starting examples/lpr_checker/array
May 05 20:31:45 Finished examples/lpr_checker/array                           26m16s  21GB
May 05 20:31:46 Starting examples/lpr_checker/array/compilation
May 05 20:34:11 Finished examples/lpr_checker/array/compilation                2m23s   7GB
May 05 20:34:12 Starting examples/lpr_checker/array/compilation/proofs
May 05 20:35:51 Finished examples/lpr_checker/array/compilation/proofs         1m38s   5GB
May 05 20:35:52 Starting examples/lpr_checker/array/compilation/proofsARM8
May 05 20:36:59 Finished examples/lpr_checker/array/compilation/proofsARM8     1m05s   6GB
May 05 20:37:00 Starting .
May 05 20:37:03 Finished .                                                        2s 296MB
May 05 20:37:04 Starting examples/xlrup_checker
May 05 20:37:39 Finished examples/xlrup_checker                                  34s   1GB
May 05 20:37:40 Starting examples/xlrup_checker/array
May 05 20:50:51 Finished examples/xlrup_checker/array                         13m09s   7GB
May 05 20:50:52 Starting examples/xlrup_checker/array/compilation
May 05 20:51:55 Finished examples/xlrup_checker/array/compilation              1m02s   4GB
May 05 20:51:56 Starting examples/xlrup_checker/array/compilation/proofs
May 05 20:52:57 Finished examples/xlrup_checker/array/compilation/proofs         59s   4GB
May 05 20:52:58 Starting examples/pseudo_bool
May 05 20:54:31 Finished examples/pseudo_bool                                  1m31s   2GB
May 05 20:54:32 Starting examples/pseudo_bool/cnf_encoding
May 05 20:55:01 Finished examples/pseudo_bool/cnf_encoding                       28s   1GB
May 05 20:55:02 Starting examples/pseudo_bool/graph_encoding
May 05 20:55:45 Finished examples/pseudo_bool/graph_encoding                     42s   1GB
May 05 20:55:46 Starting examples/pseudo_bool/array
May 05 22:04:49 Finished examples/pseudo_bool/array                         1h09m02s  30GB
May 05 22:04:50 Starting examples/pseudo_bool/array/compilation
May 05 22:14:39 Finished examples/pseudo_bool/array/compilation                9m48s  19GB
May 05 22:14:40 Starting examples/pseudo_bool/array/compilation/proofs
May 05 22:17:14 Finished examples/pseudo_bool/array/compilation/proofs         2m32s   7GB
May 05 22:17:15 Starting examples/pseudo_bool/array/compilation/proofsARM8
May 05 22:18:26 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m09s   6GB
May 05 22:18:26 Starting examples/opentheory
May 05 22:26:56 Finished examples/opentheory                                   8m28s   5GB
May 05 22:26:57 Starting examples/opentheory/compilation
May 05 22:28:29 Finished examples/opentheory/compilation                       1m31s   6GB
May 05 22:28:30 Starting examples/opentheory/compilation/proofs
May 05 22:29:28 Finished examples/opentheory/compilation/proofs                  57s   4GB
May 05 22:29:29 Starting examples/opentheory/compilation/ag32
May 05 22:31:04 Finished examples/opentheory/compilation/ag32                  1m34s   6GB
May 05 22:31:05 Starting examples/opentheory/compilation/ag32/proofs
May 05 22:32:45 Finished examples/opentheory/compilation/ag32/proofs           1m39s   5GB
May 05 22:32:46 Starting examples/sat_encodings
May 05 22:33:47 Finished examples/sat_encodings                                1m00s 873MB
May 05 22:33:48 Starting examples/sat_encodings/demo
May 05 22:33:49 Finished examples/sat_encodings/demo                              0s  12MB
May 05 22:33:50 Starting examples/sat_encodings/case_studies
May 05 22:35:35 Finished examples/sat_encodings/case_studies                   1m43s   1GB
May 05 22:35:36 Starting examples/sat_encodings/translation
May 05 22:39:16 Finished examples/sat_encodings/translation                    3m39s   5GB
May 05 22:39:17 Starting examples/sat_encodings/translation/compilation
May 05 22:41:09 Finished examples/sat_encodings/translation/compilation        1m51s   4GB
May 05 22:41:10 Starting examples/deflate
May 05 22:41:38 Finished examples/deflate                                        27s 679MB
May 05 22:41:39 Starting examples/deflate/translation
May 05 22:42:43 Finished examples/deflate/translation                          1m03s   4GB
May 05 22:42:44 Starting examples/deflate/translation/compilation
May 05 22:43:35 Finished examples/deflate/translation/compilation                50s   3GB
May 05 22:43:36 Starting examples/vipr
May 05 22:46:44 Finished examples/vipr                                         3m07s   4GB
May 05 22:46:45 Starting examples/vipr/compilation
May 05 22:47:45 Finished examples/vipr/compilation                               58s   4GB
May 05 22:47:46 Starting translator/okasaki-examples
May 05 22:51:44 Finished translator/okasaki-examples                           3m57s   4GB
May 05 22:51:45 Starting translator/other-examples
May 05 22:54:15 Finished translator/other-examples                             2m28s   3GB
May 05 22:54:16 Starting translator/other-examples/auxiliary
May 05 22:54:17 Finished translator/other-examples/auxiliary                      0s  14MB
May 05 22:54:18 Starting compiler/parsing/tests
May 05 22:54:53 Finished compiler/parsing/tests                                  33s   1GB
May 05 22:54:54 Starting compiler/inference/tests
May 05 22:55:29 Finished compiler/inference/tests                                34s   2GB
May 05 22:55:30 Starting compiler/printing/test
May 05 22:56:40 Finished compiler/printing/test                                1m09s   4GB
May 05 22:56:41 Starting icing/flover
May 05 23:30:11 Finished icing/flover                                         33m28s   2GB
May 05 23:30:12 Starting icing/flover/Infra
May 05 23:30:13 Finished icing/flover/Infra                                       0s  13MB
May 05 23:30:14 Starting icing/flover/semantics
May 05 23:30:15 Finished icing/flover/semantics                                   0s  15MB
May 05 23:30:16 Starting icing/
May 05 23:57:08 Finished icing/                                               26m51s   4GB
May 05 23:57:09 Starting icing/examples
May 05 23:58:37 Finished icing/examples                                        1m25s   7GB
May 05 23:58:38 Starting compiler/repl
May 06 00:06:29 Finished compiler/repl                                         7m50s   6GB
May 06 00:06:30 Starting unverified/sexpr-bootstrap/x64/64
May 06 00:10:11 Finished unverified/sexpr-bootstrap/x64/64                     3m39s  16GB
May 06 00:10:12 Starting unverified/sexpr-bootstrap/x64/32
May 06 00:13:26 Finished unverified/sexpr-bootstrap/x64/32                     3m14s  14GB
May 06 00:13:27 Starting compiler/benchmarks
May 06 00:14:13 Finished compiler/benchmarks                                     44s 711MB
May 06 00:14:14 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
May 06 00:14:17 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 250MB
May 06 00:14:18 Starting compiler/benchmarks/mlton_benchmarks/cakeml
May 06 00:14:21 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 268MB
May 06 00:14:22 Starting compiler/bootstrap/compilation/x64/64
May 06 00:43:21 Finished compiler/bootstrap/compilation/x64/64                28m57s 100GB
May 06 00:43:22 Starting compiler/bootstrap/compilation/x64/64/proofs
May 06 01:07:46 Finished compiler/bootstrap/compilation/x64/64/proofs         24m22s  56GB
May 06 01:07:47 Starting compiler/bootstrap/compilation/x64/32
May 06 01:34:22 Finished compiler/bootstrap/compilation/x64/32                26m33s  84GB
May 06 01:34:23 Starting compiler/bootstrap/compilation/x64/32/proofs
May 06 01:38:26 Finished compiler/bootstrap/compilation/x64/32/proofs          4m02s  23GB
May 06 01:38:27 Starting compiler/bootstrap/compilation/arm8/64
May 06 02:18:54 Finished compiler/bootstrap/compilation/arm8/64               40m26s 108GB
May 06 02:18:55 Starting compiler/bootstrap/compilation/arm8/64/proofs
May 06 02:24:07 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m10s  29GB
May 06 02:24:08 Starting compiler/bootstrap/compilation/ag32/32
May 06 02:54:01 Finished compiler/bootstrap/compilation/ag32/32               29m51s  82GB
May 06 02:54:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 06 02:59:05 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m01s  28GB
May 06 02:59:06 SUCCESS