Job 1436

CakeML:3c6495906dc020e093e2f5cf101cea1cba2fc468
  Fix breakage caused by change to sorted_map in HOL [Jan 05 15:57:59]
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 13 07:15:28 Claimed job
Jan 13 07:15:36 Building HOL
Jan 13 07:29:30 Starting developers
Jan 13 07:29:30 Finished developers                                               0s  34MB
Jan 13 07:29:31 Starting developers/bin
Jan 13 07:29:37 Finished developers/bin                                           5s   1GB
Jan 13 07:29:37 Starting semantics/ffi
Jan 13 07:29:47 Finished semantics/ffi                                           10s 306MB
Jan 13 07:29:47 Starting semantics
Jan 13 07:31:21 Finished semantics                                             1m33s   1GB
Jan 13 07:31:21 Starting semantics/proofs
Jan 13 07:34:41 Finished semantics/proofs                                      3m19s   1GB
Jan 13 07:34:41 Starting semantics/alt_semantics
Jan 13 07:34:49 Finished semantics/alt_semantics                                  8s 381MB
Jan 13 07:34:49 Starting semantics/alt_semantics/proofs
Jan 13 07:36:58 Finished semantics/alt_semantics/proofs                        2m08s   1GB
Jan 13 07:36:58 Starting basis/pure
Jan 13 07:39:42 Finished basis/pure                                            2m43s   1GB
Jan 13 07:39:42 Starting translator
Jan 13 07:42:20 Finished translator                                            2m37s   2GB
Jan 13 07:42:20 Starting compiler/parsing
Jan 13 07:43:26 Finished compiler/parsing                                      1m06s   4GB
Jan 13 07:43:26 Starting characteristic
Jan 13 07:49:27 Finished characteristic                                        6m00s   3GB
Jan 13 07:49:27 Starting translator/monadic
Jan 13 07:51:08 Finished translator/monadic                                    1m40s   3GB
Jan 13 07:51:08 Starting basis
Jan 13 08:24:19 Finished basis                                                33m11s  38GB
Jan 13 08:24:20 Starting compiler/inference
Jan 13 08:25:27 Finished compiler/inference                                    1m06s   1GB
Jan 13 08:25:27 Starting compiler/backend/reg_alloc
Jan 13 08:26:30 Finished compiler/backend/reg_alloc                            1m03s   1GB
Jan 13 08:26:31 Starting compiler/backend/gc
Jan 13 08:30:05 Finished compiler/backend/gc                                   3m34s   3GB
Jan 13 08:30:05 Starting compiler/backend
Jan 13 08:35:00 Finished compiler/backend                                      4m54s   5GB
Jan 13 08:35:00 Starting compiler/encoders/asm
Jan 13 08:35:21 Finished compiler/encoders/asm                                   21s 974MB
Jan 13 08:35:22 Starting compiler/encoders/x64
Jan 13 08:36:24 Finished compiler/encoders/x64                                 1m02s   1GB
Jan 13 08:36:24 Starting compiler/encoders/arm7
Jan 13 08:38:27 Finished compiler/encoders/arm7                                2m02s   1GB
Jan 13 08:38:27 Starting compiler/encoders/arm8
Jan 13 08:39:05 Finished compiler/encoders/arm8                                  38s   1GB
Jan 13 08:39:05 Starting compiler/encoders/mips
Jan 13 08:40:31 Finished compiler/encoders/mips                                1m25s   1GB
Jan 13 08:40:32 Starting compiler/encoders/riscv
Jan 13 08:42:08 Finished compiler/encoders/riscv                               1m36s   1GB
Jan 13 08:42:08 Starting compiler/encoders/ag32
Jan 13 08:42:27 Finished compiler/encoders/ag32                                  18s 946MB
Jan 13 08:42:27 Starting compiler/backend/x64
Jan 13 08:42:45 Finished compiler/backend/x64                                    18s   1GB
Jan 13 08:42:45 Starting compiler/backend/arm7
Jan 13 08:43:07 Finished compiler/backend/arm7                                   21s   1GB
Jan 13 08:43:07 Starting compiler/backend/arm8
Jan 13 08:43:27 Finished compiler/backend/arm8                                   20s   1GB
Jan 13 08:43:28 Starting compiler/backend/mips
Jan 13 08:43:48 Finished compiler/backend/mips                                   20s   1GB
Jan 13 08:43:48 Starting compiler/backend/riscv
Jan 13 08:44:08 Finished compiler/backend/riscv                                  20s   1GB
Jan 13 08:44:09 Starting compiler/backend/ag32
Jan 13 08:45:18 Finished compiler/backend/ag32                                 1m09s   2GB
Jan 13 08:45:18 Starting compiler/parsing/proofs
Jan 13 08:50:40 Finished compiler/parsing/proofs                               5m22s   2GB
Jan 13 08:50:41 Starting compiler/inference/proofs
Jan 13 08:53:12 Finished compiler/inference/proofs                             2m30s   2GB
Jan 13 08:53:12 Starting compiler/backend/semantics
Jan 13 09:20:24 Finished compiler/backend/semantics                           27m12s   4GB
Jan 13 09:20:24 Starting compiler/backend/reg_alloc/proofs
Jan 13 09:23:42 Finished compiler/backend/reg_alloc/proofs                     3m17s   1GB
Jan 13 09:23:42 Starting compiler/backend/proofs
Jan 13 10:17:41 Finished compiler/backend/proofs                              53m58s  16GB
Jan 13 10:17:41 Starting compiler/encoders/x64/proofs
Jan 13 10:27:01 Finished compiler/encoders/x64/proofs                          9m20s   5GB
Jan 13 10:27:01 Starting compiler/encoders/arm7/proofs
Jan 13 10:39:21 Finished compiler/encoders/arm7/proofs                        12m19s   8GB
Jan 13 10:39:21 Starting compiler/encoders/arm8/proofs
Jan 13 10:45:33 Finished compiler/encoders/arm8/proofs                         6m12s   3GB
Jan 13 10:45:33 Starting compiler/encoders/mips/proofs
Jan 13 10:55:18 Finished compiler/encoders/mips/proofs                         9m44s   7GB
Jan 13 10:55:18 Starting compiler/encoders/riscv/proofs
Jan 13 11:03:28 Finished compiler/encoders/riscv/proofs                        8m10s   4GB
Jan 13 11:03:29 Starting compiler/encoders/ag32/proofs
Jan 13 11:05:48 Finished compiler/encoders/ag32/proofs                         2m19s   1GB
Jan 13 11:05:48 Starting compiler/backend/x64/proofs
Jan 13 11:06:10 Finished compiler/backend/x64/proofs                             21s   2GB
Jan 13 11:06:10 Starting compiler/backend/arm7/proofs
Jan 13 11:06:34 Finished compiler/backend/arm7/proofs                            23s   1GB
Jan 13 11:06:34 Starting compiler/backend/arm8/proofs
Jan 13 11:06:54 Finished compiler/backend/arm8/proofs                            20s   1GB
Jan 13 11:06:54 Starting compiler/backend/mips/proofs
Jan 13 11:07:16 Finished compiler/backend/mips/proofs                            21s   1GB
Jan 13 11:07:16 Starting compiler/backend/riscv/proofs
Jan 13 11:07:39 Finished compiler/backend/riscv/proofs                           23s   2GB
Jan 13 11:07:40 Starting compiler/backend/ag32/proofs
Jan 13 11:19:42 Finished compiler/backend/ag32/proofs                         12m01s   4GB
Jan 13 11:19:42 Starting compiler/proofs
Jan 13 11:21:37 Finished compiler/proofs                                       1m55s   6GB
Jan 13 11:21:37 Starting candle/set-theory
Jan 13 11:22:07 Finished candle/set-theory                                       29s   1GB
Jan 13 11:22:07 Starting candle/syntax-lib
Jan 13 11:22:18 Finished candle/syntax-lib                                       11s 768MB
Jan 13 11:22:18 Starting candle/standard/syntax
Jan 13 11:24:08 Finished candle/standard/syntax                                1m49s   1GB
Jan 13 11:24:09 Starting candle/standard/semantics
Jan 13 11:25:56 Finished candle/standard/semantics                             1m46s   2GB
Jan 13 11:25:56 Starting candle/standard/monadic
Jan 13 11:27:37 Finished candle/standard/monadic                               1m40s   1GB
Jan 13 11:27:37 Starting candle/standard/ml_kernel
Jan 13 11:32:47 Finished candle/standard/ml_kernel                             5m10s   6GB
Jan 13 11:32:47 Starting candle/overloading/syntax
Jan 13 11:35:57 Finished candle/overloading/syntax                             3m09s   1GB
Jan 13 11:35:57 Starting candle/overloading/semantics
Jan 13 11:47:57 Finished candle/overloading/semantics                         11m59s   8GB
Jan 13 11:47:57 Starting characteristic/examples
Jan 13 11:49:12 Finished characteristic/examples                               1m15s   4GB
Jan 13 11:49:12 Starting tutorial/solutions
Jan 13 12:04:15 Finished tutorial/solutions                                   15m02s  14GB
Jan 13 12:04:15 Starting translator/monadic/examples
Jan 13 12:07:34 Finished translator/monadic/examples                           3m18s   3GB
Jan 13 12:07:34 Starting examples
Jan 13 12:16:11 Finished examples                                              8m36s   6GB
Jan 13 12:16:11 Starting examples/compilation/x64
Jan 13 14:34:49 Finished examples/compilation/x64                           2h18m37s  26GB
Jan 13 14:34:50 Starting examples/compilation/x64/proofs
Jan 13 14:36:47 Finished examples/compilation/x64/proofs                       1m56s   3GB
Jan 13 14:36:47 Starting examples/compilation/ag32
Jan 13 15:09:06 Finished examples/compilation/ag32                            32m18s  10GB
Jan 13 15:09:06 Starting examples/compilation/ag32/proofs
Jan 13 15:09:58 Finished examples/compilation/ag32/proofs                        51s   4GB
Jan 13 15:09:58 Starting examples/cost
Jan 13 16:03:06 Finished examples/cost                                        53m07s  18GB
Jan 13 16:03:06 Starting examples/lpr_checker
Jan 13 16:06:51 Finished examples/lpr_checker                                  3m44s   3GB
Jan 13 16:06:51 Starting examples/lpr_checker/compilation
Jan 13 16:25:08 Finished examples/lpr_checker/compilation                     18m16s  12GB
Jan 13 16:25:08 Starting examples/lpr_checker/compilation/proofs
Jan 13 16:25:52 Finished examples/lpr_checker/compilation/proofs                 44s   3GB
Jan 13 16:25:52 Starting examples/lpr_checker/array
Jan 13 16:39:17 Finished examples/lpr_checker/array                           13m24s   5GB
Jan 13 16:39:17 Starting examples/lpr_checker/array/compilation
Jan 13 16:58:36 Finished examples/lpr_checker/array/compilation               19m18s  21GB
Jan 13 16:58:37 Starting examples/lpr_checker/array/compilation/proofs
Jan 13 16:59:26 Finished examples/lpr_checker/array/compilation/proofs           49s   4GB
Jan 13 16:59:26 Starting examples/opentheory
Jan 13 17:08:33 Finished examples/opentheory                                   9m07s   6GB
Jan 13 17:08:33 Starting examples/opentheory
Jan 13 17:08:34 Finished examples/opentheory                                      0s  96MB
Jan 13 17:08:34 Starting examples/opentheory/compilation
Jan 13 17:38:45 Finished examples/opentheory/compilation                      30m10s  26GB
Jan 13 17:38:45 Starting examples/opentheory/compilation/proofs
Jan 13 17:39:29 Finished examples/opentheory/compilation/proofs                  43s   4GB
Jan 13 17:39:29 Starting examples/opentheory/compilation/ag32
Jan 13 18:11:17 Finished examples/opentheory/compilation/ag32                 31m47s  23GB
Jan 13 18:11:18 Starting examples/opentheory/compilation/ag32/proofs
Jan 13 18:12:55 Finished examples/opentheory/compilation/ag32/proofs           1m36s   8GB
Jan 13 18:12:55 Starting translator/okasaki-examples
Jan 13 18:17:08 Finished translator/okasaki-examples                           4m12s   2GB
Jan 13 18:17:08 Starting translator/other-examples
Jan 13 18:19:10 Finished translator/other-examples                             2m01s   2GB
Jan 13 18:19:10 Starting compiler/parsing/tests
Jan 13 18:19:34 Finished compiler/parsing/tests                                  23s 722MB
Jan 13 18:19:34 Starting compiler/inference/tests
Jan 13 18:26:38 Finished compiler/inference/tests                              7m03s   5GB
Jan 13 18:26:38 Starting compiler/bootstrap/translation
Jan 13 21:10:12 Finished compiler/bootstrap/translation                     2h43m33s  44GB
Jan 13 21:10:12 Starting unverified/sexpr-bootstrap/x64/64
Jan 13 21:22:24 Finished unverified/sexpr-bootstrap/x64/64                    12m10s   8GB
Jan 13 21:22:24 Starting unverified/sexpr-bootstrap/x64/32
Jan 13 21:33:04 Finished unverified/sexpr-bootstrap/x64/32                    10m39s   8GB
Jan 13 21:33:04 Starting compiler/benchmarks
Jan 13 22:10:50 Finished compiler/benchmarks                                  37m44s   2GB
Jan 13 22:10:50 Starting compiler/bootstrap/compilation/x64/64
Jan 14 15:33:22 Finished compiler/bootstrap/compilation/x64/64             17h22m31s  64GB
Jan 14 15:33:22 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 14 15:35:40 Finished compiler/bootstrap/compilation/x64/64/proofs          2m17s  20GB
Jan 14 15:35:40 Starting compiler/bootstrap/compilation/x64/32
Jan 15 06:02:49 Finished compiler/bootstrap/compilation/x64/32             14h27m08s  64GB
Jan 15 06:02:49 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 15 06:04:49 Finished compiler/bootstrap/compilation/x64/32/proofs          1m59s  14GB
Jan 15 06:04:49 Starting compiler/bootstrap/compilation/ag32/32
Jan 15 21:10:51 Finished compiler/bootstrap/compilation/ag32/32            15h06m01s  64GB
Jan 15 21:10:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 15 21:20:18 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m26s  56GB
Jan 15 21:20:18 SUCCESS