Job 1443

CakeML:349652839ae57ce6cbdb6743c8f7ce21d1c170e6
  Merge pull request #810 from hrutvik/master [Jan 19 06:40:02]
HOL:07dca05c1eb441bb9b18556ae55f275d2518bade
  Fix bugs in Makefiles/lib files preventing Lassie from compiling [Jan 06 06:03:07]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 19 06:41:44 Claimed job
Jan 19 06:41:51 Reusing HOL
Jan 19 06:42:00 Starting developers
Jan 19 06:42:03 Finished developers                                               2s 126MB
Jan 19 06:42:03 Starting developers/bin
Jan 19 06:42:09 Finished developers/bin                                           6s   1GB
Jan 19 06:42:10 Starting semantics/ffi
Jan 19 06:42:20 Finished semantics/ffi                                            9s 306MB
Jan 19 06:42:20 Starting semantics
Jan 19 06:43:43 Finished semantics                                             1m22s   1GB
Jan 19 06:43:43 Starting semantics/proofs
Jan 19 06:47:00 Finished semantics/proofs                                      3m16s   1GB
Jan 19 06:47:00 Starting semantics/alt_semantics
Jan 19 06:47:08 Finished semantics/alt_semantics                                  7s 407MB
Jan 19 06:47:08 Starting semantics/alt_semantics/proofs
Jan 19 06:49:16 Finished semantics/alt_semantics/proofs                        2m08s   1GB
Jan 19 06:49:16 Starting basis/pure
Jan 19 06:50:08 Finished basis/pure                                              51s   1GB
Jan 19 06:50:08 Starting translator
Jan 19 06:52:45 Finished translator                                            2m36s   2GB
Jan 19 06:52:45 Starting compiler/parsing
Jan 19 06:53:51 Finished compiler/parsing                                      1m06s   3GB
Jan 19 06:53:51 Starting characteristic
Jan 19 06:59:49 Finished characteristic                                        5m57s   3GB
Jan 19 06:59:49 Starting translator/monadic
Jan 19 07:01:37 Finished translator/monadic                                    1m47s   3GB
Jan 19 07:01:37 Starting basis
Jan 19 07:34:51 Finished basis                                                33m14s  44GB
Jan 19 07:34:51 Starting compiler/inference
Jan 19 07:35:53 Finished compiler/inference                                    1m01s   1GB
Jan 19 07:35:53 Starting compiler/backend/reg_alloc
Jan 19 07:36:59 Finished compiler/backend/reg_alloc                            1m05s   1GB
Jan 19 07:36:59 Starting compiler/backend/gc
Jan 19 07:40:20 Finished compiler/backend/gc                                   3m20s   3GB
Jan 19 07:40:20 Starting compiler/backend
Jan 19 07:45:14 Finished compiler/backend                                      4m54s   4GB
Jan 19 07:45:14 Starting compiler/encoders/asm
Jan 19 07:45:36 Finished compiler/encoders/asm                                   21s 970MB
Jan 19 07:45:36 Starting compiler/encoders/x64
Jan 19 07:46:02 Finished compiler/encoders/x64                                   26s   1GB
Jan 19 07:46:03 Starting compiler/encoders/arm7
Jan 19 07:46:53 Finished compiler/encoders/arm7                                  50s   1GB
Jan 19 07:46:53 Starting compiler/encoders/arm8
Jan 19 07:47:06 Finished compiler/encoders/arm8                                  13s   1GB
Jan 19 07:47:07 Starting compiler/encoders/mips
Jan 19 07:47:25 Finished compiler/encoders/mips                                  17s   1GB
Jan 19 07:47:25 Starting compiler/encoders/riscv
Jan 19 07:47:41 Finished compiler/encoders/riscv                                 15s   1GB
Jan 19 07:47:41 Starting compiler/encoders/ag32
Jan 19 07:47:59 Finished compiler/encoders/ag32                                  18s 943MB
Jan 19 07:48:00 Starting compiler/backend/x64
Jan 19 07:48:18 Finished compiler/backend/x64                                    17s   1GB
Jan 19 07:48:18 Starting compiler/backend/arm7
Jan 19 07:48:40 Finished compiler/backend/arm7                                   22s   1GB
Jan 19 07:48:40 Starting compiler/backend/arm8
Jan 19 07:49:00 Finished compiler/backend/arm8                                   19s   1GB
Jan 19 07:49:00 Starting compiler/backend/mips
Jan 19 07:49:21 Finished compiler/backend/mips                                   20s   1GB
Jan 19 07:49:22 Starting compiler/backend/riscv
Jan 19 07:49:42 Finished compiler/backend/riscv                                  20s   1GB
Jan 19 07:49:43 Starting compiler/backend/ag32
Jan 19 07:50:52 Finished compiler/backend/ag32                                 1m09s   2GB
Jan 19 07:50:52 Starting compiler/parsing/proofs
Jan 19 07:56:17 Finished compiler/parsing/proofs                               5m24s   2GB
Jan 19 07:56:17 Starting compiler/inference/proofs
Jan 19 07:58:47 Finished compiler/inference/proofs                             2m29s   2GB
Jan 19 07:58:47 Starting compiler/backend/semantics
Jan 19 08:25:33 Finished compiler/backend/semantics                           26m45s   3GB
Jan 19 08:25:33 Starting compiler/backend/reg_alloc/proofs
Jan 19 08:28:51 Finished compiler/backend/reg_alloc/proofs                     3m18s   1GB
Jan 19 08:28:51 Starting compiler/backend/proofs
Jan 19 09:22:44 Finished compiler/backend/proofs                              53m51s  22GB
Jan 19 09:22:44 Starting compiler/encoders/x64/proofs
Jan 19 09:31:57 Finished compiler/encoders/x64/proofs                          9m13s   8GB
Jan 19 09:31:57 Starting compiler/encoders/arm7/proofs
Jan 19 09:44:29 Finished compiler/encoders/arm7/proofs                        12m31s   4GB
Jan 19 09:44:29 Starting compiler/encoders/arm8/proofs
Jan 19 09:50:41 Finished compiler/encoders/arm8/proofs                         6m12s   4GB
Jan 19 09:50:42 Starting compiler/encoders/mips/proofs
Jan 19 10:00:29 Finished compiler/encoders/mips/proofs                         9m47s   2GB
Jan 19 10:00:30 Starting compiler/encoders/riscv/proofs
Jan 19 10:08:52 Finished compiler/encoders/riscv/proofs                        8m22s   3GB
Jan 19 10:08:52 Starting compiler/encoders/ag32/proofs
Jan 19 10:11:11 Finished compiler/encoders/ag32/proofs                         2m19s   1GB
Jan 19 10:11:11 Starting compiler/backend/x64/proofs
Jan 19 10:11:33 Finished compiler/backend/x64/proofs                             21s   1GB
Jan 19 10:11:33 Starting compiler/backend/arm7/proofs
Jan 19 10:11:54 Finished compiler/backend/arm7/proofs                            21s   1GB
Jan 19 10:11:55 Starting compiler/backend/arm8/proofs
Jan 19 10:12:15 Finished compiler/backend/arm8/proofs                            20s   1GB
Jan 19 10:12:15 Starting compiler/backend/mips/proofs
Jan 19 10:12:36 Finished compiler/backend/mips/proofs                            20s   1GB
Jan 19 10:12:36 Starting compiler/backend/riscv/proofs
Jan 19 10:12:59 Finished compiler/backend/riscv/proofs                           22s   2GB
Jan 19 10:12:59 Starting compiler/backend/ag32/proofs
Jan 19 10:24:55 Finished compiler/backend/ag32/proofs                         11m55s   5GB
Jan 19 10:24:55 Starting compiler/proofs
Jan 19 10:26:34 Finished compiler/proofs                                       1m38s   6GB
Jan 19 10:26:34 Starting candle/set-theory
Jan 19 10:27:03 Finished candle/set-theory                                       28s 958MB
Jan 19 10:27:03 Starting candle/syntax-lib
Jan 19 10:27:15 Finished candle/syntax-lib                                       11s 817MB
Jan 19 10:27:15 Starting candle/standard/syntax
Jan 19 10:29:05 Finished candle/standard/syntax                                1m50s   2GB
Jan 19 10:29:05 Starting candle/standard/semantics
Jan 19 10:30:55 Finished candle/standard/semantics                             1m49s   2GB
Jan 19 10:30:55 Starting candle/standard/monadic
Jan 19 10:32:37 Finished candle/standard/monadic                               1m41s   1GB
Jan 19 10:32:37 Starting candle/standard/ml_kernel
Jan 19 10:37:46 Finished candle/standard/ml_kernel                             5m08s   6GB
Jan 19 10:37:46 Starting candle/overloading/syntax
Jan 19 10:40:57 Finished candle/overloading/syntax                             3m10s   2GB
Jan 19 10:40:57 Starting candle/overloading/semantics
Jan 19 10:52:55 Finished candle/overloading/semantics                         11m57s   8GB
Jan 19 10:52:55 Starting characteristic/examples
Jan 19 10:54:13 Finished characteristic/examples                               1m18s   4GB
Jan 19 10:54:13 Starting tutorial/solutions
Jan 19 11:09:10 Finished tutorial/solutions                                   14m56s  14GB
Jan 19 11:09:10 Starting translator/monadic/examples
Jan 19 11:12:29 Finished translator/monadic/examples                           3m18s   3GB
Jan 19 11:12:29 Starting examples
Jan 19 11:21:11 Finished examples                                              8m41s   8GB
Jan 19 11:21:11 Starting examples/compilation/x64
Jan 19 13:39:02 Finished examples/compilation/x64                           2h17m51s  27GB
Jan 19 13:39:02 Starting examples/compilation/x64/proofs
Jan 19 13:40:57 Finished examples/compilation/x64/proofs                       1m54s   3GB
Jan 19 13:40:58 Starting examples/compilation/ag32
Jan 19 14:13:21 Finished examples/compilation/ag32                            32m23s  11GB
Jan 19 14:13:21 Starting examples/compilation/ag32/proofs
Jan 19 14:14:13 Finished examples/compilation/ag32/proofs                        52s   4GB
Jan 19 14:14:13 Starting examples/cost
Jan 19 15:08:26 Finished examples/cost                                        54m12s  18GB
Jan 19 15:08:26 Starting examples/lpr_checker
Jan 19 15:12:17 Finished examples/lpr_checker                                  3m50s   5GB
Jan 19 15:12:17 Starting examples/lpr_checker/compilation
Jan 19 15:30:33 Finished examples/lpr_checker/compilation                     18m15s  19GB
Jan 19 15:30:33 Starting examples/lpr_checker/compilation/proofs
Jan 19 15:31:17 Finished examples/lpr_checker/compilation/proofs                 44s   3GB
Jan 19 15:31:18 Starting examples/lpr_checker/array
Jan 19 15:44:45 Finished examples/lpr_checker/array                           13m27s   8GB
Jan 19 15:44:46 Starting examples/lpr_checker/array/compilation
Jan 19 16:03:54 Finished examples/lpr_checker/array/compilation               19m07s  18GB
Jan 19 16:03:54 Starting examples/lpr_checker/array/compilation/proofs
Jan 19 16:04:41 Finished examples/lpr_checker/array/compilation/proofs           46s   4GB
Jan 19 16:04:41 Starting examples/opentheory
Jan 19 16:13:48 Finished examples/opentheory                                   9m06s   7GB
Jan 19 16:13:48 Starting examples/opentheory
Jan 19 16:13:49 Finished examples/opentheory                                      0s 100MB
Jan 19 16:13:49 Starting examples/opentheory/compilation
Jan 19 16:43:48 Finished examples/opentheory/compilation                      29m58s  24GB
Jan 19 16:43:48 Starting examples/opentheory/compilation/proofs
Jan 19 16:44:31 Finished examples/opentheory/compilation/proofs                  42s   3GB
Jan 19 16:44:31 Starting examples/opentheory/compilation/ag32
Jan 19 17:16:35 Finished examples/opentheory/compilation/ag32                 32m03s  25GB
Jan 19 17:16:35 Starting examples/opentheory/compilation/ag32/proofs
Jan 19 17:18:11 Finished examples/opentheory/compilation/ag32/proofs           1m35s   9GB
Jan 19 17:18:11 Starting translator/okasaki-examples
Jan 19 17:22:23 Finished translator/okasaki-examples                           4m11s   3GB
Jan 19 17:22:23 Starting translator/other-examples
Jan 19 17:23:09 Finished translator/other-examples                               45s   2GB
Jan 19 17:23:09 Starting compiler/parsing/tests
Jan 19 17:23:33 Finished compiler/parsing/tests                                  23s 638MB
Jan 19 17:23:33 Starting compiler/inference/tests
Jan 19 17:30:35 Finished compiler/inference/tests                              7m01s   5GB
Jan 19 17:30:35 Starting compiler/bootstrap/translation
Jan 19 20:15:39 Finished compiler/bootstrap/translation                     2h45m03s  49GB
Jan 19 20:15:39 Starting unverified/sexpr-bootstrap/x64/64
Jan 19 20:27:54 Finished unverified/sexpr-bootstrap/x64/64                    12m13s   8GB
Jan 19 20:27:54 Starting unverified/sexpr-bootstrap/x64/32
Jan 19 20:38:19 Finished unverified/sexpr-bootstrap/x64/32                    10m24s   8GB
Jan 19 20:38:19 Starting compiler/benchmarks
Jan 19 21:16:12 Finished compiler/benchmarks                                  37m53s   2GB
Jan 19 21:16:13 Starting compiler/bootstrap/compilation/x64/64
Jan 20 13:53:22 Finished compiler/bootstrap/compilation/x64/64             16h37m08s  64GB
Jan 20 13:53:22 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 20 13:55:39 Finished compiler/bootstrap/compilation/x64/64/proofs          2m16s  16GB
Jan 20 13:55:39 Starting compiler/bootstrap/compilation/x64/32
Jan 21 03:46:16 Finished compiler/bootstrap/compilation/x64/32             13h50m35s  64GB
Jan 21 03:46:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 21 03:48:35 Finished compiler/bootstrap/compilation/x64/32/proofs          2m19s  19GB
Jan 21 03:48:35 Starting compiler/bootstrap/compilation/ag32/32
Jan 21 18:46:27 Finished compiler/bootstrap/compilation/ag32/32            14h57m51s  64GB
Jan 21 18:46:27 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 21 18:55:50 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m22s  56GB
Jan 21 18:55:50 SUCCESS