Job 2735

CakeML:001fb818f15599d486430bc7f294a2ef7dd559d1
  Remove candle/set-theory/zfc [Dec 07 08:13:50]
#1102 (regression-candle-zfc)
Merging into:a85a9b4dbfb3eae33617cfb556784d8c3b179bdb
  Merge pull request #1097 from CakeML/remove-compilationlib [Dec 06 06:47:34]
HOL:629d43fd28ac8162ca9b1e27999602b4b9e452c1
  Holmake now attempts to build bare names which it knows loc'n of [Dec 05 10:16:35]
Machine:lammmington

Dec 07 16:22:41 Claimed job
Dec 07 16:22:45 Reusing HOL
Dec 07 16:22:56 Starting developers
Dec 07 16:23:00 Finished developers                                               3s 224MB
Dec 07 16:23:01 Starting developers/bin
Dec 07 16:23:07 Finished developers/bin                                           4s 745MB
Dec 07 16:23:08 Starting compiler/proofs
Dec 07 18:01:00 Finished compiler/proofs                                    1h37m51s  40GB
Dec 07 18:01:01 Starting compiler/bootstrap/translation
Dec 07 23:54:37 Finished compiler/bootstrap/translation                     5h53m35s  97GB
Dec 07 23:54:38 Starting semantics/ffi
Dec 07 23:54:48 Finished semantics/ffi                                            9s 596MB
Dec 07 23:54:49 Starting semantics
Dec 07 23:54:50 Finished semantics                                                0s  53MB
Dec 07 23:54:51 Starting semantics/proofs
Dec 07 23:55:14 Finished semantics/proofs                                        22s 844MB
Dec 07 23:55:15 Starting semantics/alt_semantics
Dec 07 23:55:36 Finished semantics/alt_semantics                                 19s 898MB
Dec 07 23:55:37 Starting semantics/alt_semantics/proofs
Dec 08 00:05:59 Finished semantics/alt_semantics/proofs                       10m20s   2GB
Dec 08 00:05:59 Starting basis/pure
Dec 08 00:06:01 Finished basis/pure                                               0s  61MB
Dec 08 00:06:02 Starting translator
Dec 08 00:07:39 Finished translator                                            1m35s   2GB
Dec 08 00:07:39 Starting compiler/parsing
Dec 08 00:07:41 Finished compiler/parsing                                         0s  57MB
Dec 08 00:07:42 Starting characteristic
Dec 08 00:07:44 Finished characteristic                                           0s  88MB
Dec 08 00:07:44 Starting translator/monadic
Dec 08 00:07:46 Finished translator/monadic                                       0s  86MB
Dec 08 00:07:47 Starting basis
Dec 08 00:10:06 Finished basis                                                 2m17s   3GB
Dec 08 00:10:06 Starting compiler/inference
Dec 08 00:10:08 Finished compiler/inference                                       0s  85MB
Dec 08 00:10:09 Starting compiler/backend/reg_alloc
Dec 08 00:10:10 Finished compiler/backend/reg_alloc                               0s  53MB
Dec 08 00:10:11 Starting compiler/backend/gc
Dec 08 00:10:13 Finished compiler/backend/gc                                      1s 127MB
Dec 08 00:10:14 Starting compiler/backend
Dec 08 00:10:19 Finished compiler/backend                                         3s 263MB
Dec 08 00:10:20 Starting compiler/encoders/asm
Dec 08 00:10:22 Finished compiler/encoders/asm                                    0s  86MB
Dec 08 00:10:23 Starting compiler/encoders/x64
Dec 08 00:10:24 Finished compiler/encoders/x64                                    0s  92MB
Dec 08 00:10:25 Starting compiler/encoders/arm7
Dec 08 00:10:27 Finished compiler/encoders/arm7                                   0s  85MB
Dec 08 00:10:28 Starting compiler/encoders/arm8
Dec 08 00:10:30 Finished compiler/encoders/arm8                                   0s  86MB
Dec 08 00:10:31 Starting compiler/encoders/arm8_asl
Dec 08 00:11:28 Finished compiler/encoders/arm8_asl                              56s  20GB
Dec 08 00:11:29 Starting compiler/encoders/mips
Dec 08 00:11:31 Finished compiler/encoders/mips                                   0s  88MB
Dec 08 00:11:32 Starting compiler/encoders/riscv
Dec 08 00:11:34 Finished compiler/encoders/riscv                                  0s  86MB
Dec 08 00:11:34 Starting compiler/encoders/ag32
Dec 08 00:11:36 Finished compiler/encoders/ag32                                   0s  85MB
Dec 08 00:11:37 Starting compiler/backend/x64
Dec 08 00:11:39 Finished compiler/backend/x64                                     1s 126MB
Dec 08 00:11:40 Starting compiler/backend/arm7
Dec 08 00:11:42 Finished compiler/backend/arm7                                    1s 126MB
Dec 08 00:11:43 Starting compiler/backend/arm8
Dec 08 00:11:45 Finished compiler/backend/arm8                                    1s 127MB
Dec 08 00:11:46 Starting compiler/backend/mips
Dec 08 00:11:48 Finished compiler/backend/mips                                    1s 126MB
Dec 08 00:11:49 Starting compiler/backend/riscv
Dec 08 00:11:51 Finished compiler/backend/riscv                                   1s 126MB
Dec 08 00:11:52 Starting compiler/backend/ag32
Dec 08 00:12:58 Finished compiler/backend/ag32                                 1m05s   2GB
Dec 08 00:12:59 Starting compiler/parsing/proofs
Dec 08 00:13:01 Finished compiler/parsing/proofs                                  0s  65MB
Dec 08 00:13:01 Starting compiler/inference/proofs
Dec 08 00:13:03 Finished compiler/inference/proofs                                0s  90MB
Dec 08 00:13:04 Starting compiler/backend/semantics
Dec 08 00:16:09 Finished compiler/backend/semantics                            3m04s   2GB
Dec 08 00:16:10 Starting compiler/backend/reg_alloc/proofs
Dec 08 00:16:12 Finished compiler/backend/reg_alloc/proofs                        0s  84MB
Dec 08 00:16:13 Starting compiler/backend/proofs
Dec 08 00:16:59 Finished compiler/backend/proofs                                 45s   2GB
Dec 08 00:17:00 Starting compiler/backend/serialiser
Dec 08 00:17:02 Finished compiler/backend/serialiser                              1s 131MB
Dec 08 00:17:03 Starting compiler/encoders/x64/proofs
Dec 08 00:27:04 Finished compiler/encoders/x64/proofs                         10m00s   4GB
Dec 08 00:27:05 Starting compiler/encoders/arm7/proofs
Dec 08 00:40:07 Finished compiler/encoders/arm7/proofs                        13m00s   5GB
Dec 08 00:40:08 Starting compiler/encoders/arm8/proofs
Dec 08 00:47:26 Finished compiler/encoders/arm8/proofs                         7m17s   4GB
Dec 08 00:47:27 Starting compiler/encoders/arm8_asl/proofs
Dec 08 01:02:43 Finished compiler/encoders/arm8_asl/proofs                    15m15s   3GB
Dec 08 01:02:44 Starting compiler/encoders/mips/proofs
Dec 08 01:12:54 Finished compiler/encoders/mips/proofs                        10m08s   5GB
Dec 08 01:12:55 Starting compiler/encoders/riscv/proofs
Dec 08 01:21:04 Finished compiler/encoders/riscv/proofs                        8m07s   3GB
Dec 08 01:21:05 Starting compiler/encoders/ag32/proofs
Dec 08 01:23:56 Finished compiler/encoders/ag32/proofs                         2m50s   2GB
Dec 08 01:23:57 Starting compiler/backend/x64/proofs
Dec 08 01:24:29 Finished compiler/backend/x64/proofs                             30s   2GB
Dec 08 01:24:30 Starting compiler/backend/arm7/proofs
Dec 08 01:25:00 Finished compiler/backend/arm7/proofs                            29s   2GB
Dec 08 01:25:01 Starting compiler/backend/arm8/proofs
Dec 08 01:25:33 Finished compiler/backend/arm8/proofs                            31s   2GB
Dec 08 01:25:34 Starting compiler/backend/arm8_asl
Dec 08 01:25:55 Finished compiler/backend/arm8_asl                               19s   1GB
Dec 08 01:25:56 Starting compiler/backend/mips/proofs
Dec 08 01:26:26 Finished compiler/backend/mips/proofs                            29s   2GB
Dec 08 01:26:27 Starting compiler/backend/riscv/proofs
Dec 08 01:26:59 Finished compiler/backend/riscv/proofs                           31s   2GB
Dec 08 01:27:00 Starting compiler/backend/ag32/proofs
Dec 08 01:40:34 Finished compiler/backend/ag32/proofs                         13m33s   5GB
Dec 08 01:40:35 Starting compiler/backend/cv_compute
Dec 08 01:41:42 Finished compiler/backend/cv_compute                           1m05s   1GB
Dec 08 01:41:43 Starting cv_translator
Dec 08 01:59:28 Finished cv_translator                                        17m43s   6GB
Dec 08 01:59:29 Starting candle/set-theory
Dec 08 02:00:04 Finished candle/set-theory                                       34s   1GB
Dec 08 02:00:05 Starting candle/syntax-lib
Dec 08 02:00:06 Finished candle/syntax-lib                                        0s  59MB
Dec 08 02:00:07 Starting candle/standard/syntax
Dec 08 02:00:20 Finished candle/standard/syntax                                  12s 777MB
Dec 08 02:00:21 Starting candle/standard/semantics
Dec 08 02:02:20 Finished candle/standard/semantics                             1m58s   2GB
Dec 08 02:02:21 Starting candle/standard/monadic
Dec 08 02:02:23 Finished candle/standard/monadic                                  0s  88MB
Dec 08 02:02:24 Starting candle/standard/ml_kernel
Dec 08 02:04:09 Finished candle/standard/ml_kernel                             1m44s   4GB
Dec 08 02:04:10 Starting candle/overloading/syntax
Dec 08 02:07:19 Finished candle/overloading/syntax                             3m07s   2GB
Dec 08 02:07:20 Starting candle/overloading/semantics
Dec 08 02:18:17 Finished candle/overloading/semantics                         10m55s   8GB
Dec 08 02:18:18 Starting candle/overloading/monadic
Dec 08 02:20:35 Finished candle/overloading/monadic                            2m16s   2GB
Dec 08 02:20:36 Starting candle/overloading/ml_kernel
Dec 08 02:27:48 Finished candle/overloading/ml_kernel                          7m10s   5GB
Dec 08 02:27:49 Starting candle/overloading/ml_checker
Dec 08 02:30:20 Finished candle/overloading/ml_checker                         2m30s   6GB
Dec 08 02:30:21 Starting candle/prover
Dec 08 02:39:58 Finished candle/prover                                         9m35s   5GB
Dec 08 02:39:59 Starting pancake
Dec 08 02:40:21 Finished pancake                                                 20s 840MB
Dec 08 02:40:21 Starting pancake/ffi
Dec 08 02:40:22 Finished pancake/ffi                                              0s  11MB
Dec 08 02:40:23 Starting pancake/semantics
Dec 08 02:42:32 Finished pancake/semantics                                     2m07s   2GB
Dec 08 02:42:33 Starting pancake/parser
Dec 08 02:42:57 Finished pancake/parser                                          23s 413MB
Dec 08 02:42:57 Starting pancake/proofs
Dec 08 02:58:59 Finished pancake/proofs                                       16m01s   7GB
Dec 08 02:59:00 Starting compiler/dafny
Dec 08 03:01:38 Finished compiler/dafny                                        2m36s  12GB
Dec 08 03:01:39 Starting compiler/dafny/translation
Dec 08 03:18:42 Finished compiler/dafny/translation                           17m01s  16GB
Dec 08 03:18:43 Starting compiler/dafny/compilation
Dec 08 03:21:15 Finished compiler/dafny/compilation                            2m31s  10GB
Dec 08 03:21:16 Starting compiler/dafny/semantics
Dec 08 03:21:52 Finished compiler/dafny/semantics                                34s   1GB
Dec 08 03:21:53 Starting characteristic/examples
Dec 08 03:23:18 Finished characteristic/examples                               1m23s   4GB
Dec 08 03:23:19 Starting tutorial/solutions
Dec 08 03:25:39 Finished tutorial/solutions                                    2m19s   3GB
Dec 08 03:25:40 Starting translator/monadic/examples
Dec 08 03:28:31 Finished translator/monadic/examples                           2m50s   3GB
Dec 08 03:28:32 Starting examples
Dec 08 03:34:27 Finished examples                                              5m54s   4GB
Dec 08 03:34:28 Starting examples/compilation/x64
Dec 08 03:41:12 Finished examples/compilation/x64                              6m43s   4GB
Dec 08 03:41:13 Starting examples/compilation/x64/proofs
Dec 08 03:43:32 Finished examples/compilation/x64/proofs                       2m17s   3GB
Dec 08 03:43:33 Starting examples/compilation/ag32
Dec 08 03:45:19 Finished examples/compilation/ag32                             1m45s   3GB
Dec 08 03:45:20 Starting examples/compilation/ag32/proofs
Dec 08 03:46:22 Finished examples/compilation/ag32/proofs                      1m01s   4GB
Dec 08 03:46:23 Starting examples/lpr_checker
Dec 08 03:46:53 Finished examples/lpr_checker                                    29s   1GB
Dec 08 03:46:54 Starting examples/lpr_checker/array
Dec 08 04:13:41 Finished examples/lpr_checker/array                           26m45s  22GB
Dec 08 04:13:42 Starting examples/lpr_checker/array/compilation
Dec 08 04:15:27 Finished examples/lpr_checker/array/compilation                1m44s   7GB
Dec 08 04:15:28 Starting examples/lpr_checker/array/compilation/proofs
Dec 08 04:16:35 Finished examples/lpr_checker/array/compilation/proofs         1m05s   6GB
Dec 08 04:16:36 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 08 04:17:37 Finished examples/lpr_checker/array/compilation/proofsARM8       59s   6GB
Dec 08 04:17:38 Starting .
Dec 08 04:17:41 Finished .                                                        2s 284MB
Dec 08 04:17:42 Starting examples/xlrup_checker
Dec 08 04:18:17 Finished examples/xlrup_checker                                  33s   1GB
Dec 08 04:18:18 Starting examples/xlrup_checker/array
Dec 08 04:31:32 Finished examples/xlrup_checker/array                         13m13s   8GB
Dec 08 04:31:33 Starting examples/xlrup_checker/array/compilation
Dec 08 04:32:32 Finished examples/xlrup_checker/array/compilation                57s   4GB
Dec 08 04:32:33 Starting examples/xlrup_checker/array/compilation/proofs
Dec 08 04:33:33 Finished examples/xlrup_checker/array/compilation/proofs         59s   4GB
Dec 08 04:33:34 Starting examples/pseudo_bool
Dec 08 04:35:05 Finished examples/pseudo_bool                                  1m29s   2GB
Dec 08 04:35:05 Starting examples/pseudo_bool/cnf_encoding
Dec 08 04:35:36 Finished examples/pseudo_bool/cnf_encoding                       29s   1GB
Dec 08 04:35:36 Starting examples/pseudo_bool/graph_encoding
Dec 08 04:36:22 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Dec 08 04:36:23 Starting examples/pseudo_bool/array
Dec 08 05:45:42 Finished examples/pseudo_bool/array                         1h09m18s  33GB
Dec 08 05:45:43 Starting examples/pseudo_bool/array/compilation
Dec 08 05:54:20 Finished examples/pseudo_bool/array/compilation                8m35s  16GB
Dec 08 05:54:21 Starting examples/pseudo_bool/array/compilation/proofs
Dec 08 05:56:54 Finished examples/pseudo_bool/array/compilation/proofs         2m32s   6GB
Dec 08 05:56:55 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 08 05:58:09 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m13s   6GB
Dec 08 05:58:10 Starting examples/opentheory
Dec 08 06:06:38 Finished examples/opentheory                                   8m26s   4GB
Dec 08 06:06:39 Starting examples/opentheory
Dec 08 06:06:41 Finished examples/opentheory                                      1s 121MB
Dec 08 06:06:42 Starting examples/opentheory/compilation
Dec 08 06:08:07 Finished examples/opentheory/compilation                       1m23s   5GB
Dec 08 06:08:08 Starting examples/opentheory/compilation/proofs
Dec 08 06:09:06 Finished examples/opentheory/compilation/proofs                  57s   4GB
Dec 08 06:09:07 Starting examples/opentheory/compilation/ag32
Dec 08 06:10:33 Finished examples/opentheory/compilation/ag32                  1m25s   6GB
Dec 08 06:10:34 Starting examples/opentheory/compilation/ag32/proofs
Dec 08 06:12:08 Finished examples/opentheory/compilation/ag32/proofs           1m32s   8GB
Dec 08 06:12:09 Starting examples/sat_encodings
Dec 08 06:13:08 Finished examples/sat_encodings                                  58s 878MB
Dec 08 06:13:09 Starting examples/sat_encodings/case_studies
Dec 08 06:14:55 Finished examples/sat_encodings/case_studies                   1m44s   1GB
Dec 08 06:14:55 Starting examples/sat_encodings/translation
Dec 08 06:18:30 Finished examples/sat_encodings/translation                    3m33s   4GB
Dec 08 06:18:30 Starting examples/sat_encodings/translation/compilation
Dec 08 06:20:17 Finished examples/sat_encodings/translation/compilation        1m45s   4GB
Dec 08 06:20:18 Starting examples/deflate
Dec 08 06:20:46 Finished examples/deflate                                        27s 763MB
Dec 08 06:20:47 Starting examples/deflate/translation
Dec 08 06:21:43 Finished examples/deflate/translation                            54s   2GB
Dec 08 06:21:44 Starting examples/deflate/translation/compilation
Dec 08 06:22:34 Finished examples/deflate/translation/compilation                49s   3GB
Dec 08 06:22:34 Starting examples/vipr
Dec 08 06:26:04 Finished examples/vipr                                         3m28s   4GB
Dec 08 06:26:05 Starting examples/vipr/compilation
Dec 08 06:26:58 Finished examples/vipr/compilation                               52s   4GB
Dec 08 06:26:59 Starting translator/okasaki-examples
Dec 08 06:31:00 Finished translator/okasaki-examples                           3m59s   3GB
Dec 08 06:31:01 Starting translator/other-examples
Dec 08 06:31:54 Finished translator/other-examples                               52s   3GB
Dec 08 06:31:55 Starting compiler/parsing/tests
Dec 08 06:32:27 Finished compiler/parsing/tests                                  30s   1GB
Dec 08 06:32:28 Starting compiler/inference/tests
Dec 08 06:33:02 Finished compiler/inference/tests                                32s   2GB
Dec 08 06:33:03 Starting compiler/printing/test
Dec 08 06:34:12 Finished compiler/printing/test                                1m08s   5GB
Dec 08 06:34:13 Starting icing/flover
Dec 08 07:08:24 Finished icing/flover                                         34m09s   2GB
Dec 08 07:08:25 Starting icing/
Dec 08 07:36:31 Finished icing/                                               28m05s   4GB
Dec 08 07:36:32 Starting icing/examples
Dec 08 07:38:02 Finished icing/examples                                        1m28s   8GB
Dec 08 07:38:03 Starting compiler/repl
Dec 08 07:46:05 Finished compiler/repl                                         8m01s   7GB
Dec 08 07:46:06 Starting unverified/sexpr-bootstrap/x64/64
Dec 08 07:50:10 Finished unverified/sexpr-bootstrap/x64/64                     4m02s  16GB
Dec 08 07:50:10 Starting unverified/sexpr-bootstrap/x64/32
Dec 08 07:53:22 Finished unverified/sexpr-bootstrap/x64/32                     3m11s  14GB
Dec 08 07:53:23 Starting compiler/benchmarks
Dec 08 07:54:09 Finished compiler/benchmarks                                     44s 712MB
Dec 08 07:54:10 Starting compiler/bootstrap/compilation/x64/64
Dec 08 08:19:05 Finished compiler/bootstrap/compilation/x64/64                24m54s  83GB
Dec 08 08:19:06 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 08 08:43:11 Finished compiler/bootstrap/compilation/x64/64/proofs         24m04s  55GB
Dec 08 08:43:12 Starting compiler/bootstrap/compilation/x64/32
Dec 08 09:09:10 Finished compiler/bootstrap/compilation/x64/32                25m56s  69GB
Dec 08 09:09:11 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 08 09:13:27 Finished compiler/bootstrap/compilation/x64/32/proofs          4m14s  25GB
Dec 08 09:13:28 Starting compiler/bootstrap/compilation/arm8/64
Dec 08 09:48:33 Finished compiler/bootstrap/compilation/arm8/64               35m03s  85GB
Dec 08 09:48:33 Starting compiler/bootstrap/compilation/arm8/64/proofs
Dec 08 09:53:59 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m25s  30GB
Dec 08 09:54:00 Starting compiler/bootstrap/compilation/ag32/32
Dec 08 10:19:40 Finished compiler/bootstrap/compilation/ag32/32               25m38s  76GB
Dec 08 10:19:40 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 08 10:24:25 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m43s  31GB
Dec 08 10:24:26 SUCCESS