Job 674

CakeML:b19ca63f5f4b645ed5c3cc20d17301531d25408d
  Merge pull request #597 from CakeML/lem-194778e [Jan 09 12:16:32]
HOL:26e80a62cb4b3b7d64dea8531041adb2494342a2
  Merge remote-tracking branch 'origin/develop' into thibault-wip [Jan 10 02:14:10]
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 02:45:23 Claimed job
Jan 13 02:45:32 Building HOL
Jan 13 02:53:12 Starting developers
Jan 13 02:53:13 Finished developers                                               0s  39MB
Jan 13 02:53:14 Starting developers/bin
Jan 13 02:53:48 Finished developers/bin                                          33s 140MB
Jan 13 02:53:49 Starting semantics/ffi
Jan 13 02:54:23 Finished semantics/ffi                                           33s 485MB
Jan 13 02:54:24 Starting semantics
Jan 13 02:55:58 Finished semantics                                             1m33s   1GB
Jan 13 02:55:58 Starting semantics/proofs
Jan 13 02:59:15 Finished semantics/proofs                                      3m15s   1GB
Jan 13 02:59:16 Starting basis/pure
Jan 13 03:02:50 Finished basis/pure                                            3m33s 688MB
Jan 13 03:02:51 Starting translator
Jan 13 03:04:30 Finished translator                                            1m38s   1GB
Jan 13 03:04:31 Starting compiler/parsing
Jan 13 03:05:36 Finished compiler/parsing                                      1m04s   1GB
Jan 13 03:05:37 Starting characteristic
Jan 13 03:08:50 Finished characteristic                                        3m12s   1GB
Jan 13 03:08:50 Starting translator/monadic
Jan 13 03:10:16 Finished translator/monadic                                    1m24s   1GB
Jan 13 03:10:16 Starting basis
Jan 13 03:26:03 Finished basis                                                15m46s   2GB
Jan 13 03:26:04 Starting compiler/inference
Jan 13 03:27:59 Finished compiler/inference                                    1m54s   1GB
Jan 13 03:28:00 Starting compiler/backend/reg_alloc
Jan 13 03:28:51 Finished compiler/backend/reg_alloc                              50s   1GB
Jan 13 03:28:51 Starting compiler/backend/gc
Jan 13 03:37:44 Finished compiler/backend/gc                                   8m51s   1GB
Jan 13 03:37:45 Starting compiler/backend
Jan 13 03:37:48 Finished compiler/backend                                         1s  18MB
Jan 13 03:37:48 Starting compiler/encoders/asm
Jan 13 03:37:50 Finished compiler/encoders/asm                                    0s  17MB
Jan 13 03:37:51 Starting compiler/encoders/x64
Jan 13 03:38:48 Finished compiler/encoders/x64                                   56s 962MB
Jan 13 03:38:49 Starting compiler/encoders/arm6
Jan 13 03:40:37 Finished compiler/encoders/arm6                                1m47s   1GB
Jan 13 03:40:38 Starting compiler/encoders/arm8
Jan 13 03:41:08 Finished compiler/encoders/arm8                                  28s 859MB
Jan 13 03:41:09 Starting compiler/encoders/mips
Jan 13 03:42:13 Finished compiler/encoders/mips                                1m03s   1GB
Jan 13 03:42:14 Starting compiler/encoders/riscv
Jan 13 03:43:20 Finished compiler/encoders/riscv                               1m05s 940MB
Jan 13 03:43:21 Starting compiler/encoders/ag32
Jan 13 03:43:37 Finished compiler/encoders/ag32                                  15s 669MB
Jan 13 03:43:38 Starting compiler/backend/x64
Jan 13 03:43:55 Finished compiler/backend/x64                                    15s   1GB
Jan 13 03:43:56 Starting compiler/backend/arm6
Jan 13 03:44:14 Finished compiler/backend/arm6                                   17s 984MB
Jan 13 03:44:15 Starting compiler/backend/arm8
Jan 13 03:44:33 Finished compiler/backend/arm8                                   16s 866MB
Jan 13 03:44:33 Starting compiler/backend/mips
Jan 13 03:44:51 Finished compiler/backend/mips                                   17s   1GB
Jan 13 03:44:52 Starting compiler/backend/riscv
Jan 13 03:45:11 Finished compiler/backend/riscv                                  17s   1GB
Jan 13 03:45:11 Starting compiler/backend/ag32
Jan 13 03:46:23 Finished compiler/backend/ag32                                 1m10s   1GB
Jan 13 03:46:24 Starting compiler/parsing/proofs
Jan 13 03:52:35 Finished compiler/parsing/proofs                               6m09s   1GB
Jan 13 03:52:36 Starting compiler/inference/proofs
Jan 13 03:55:28 Finished compiler/inference/proofs                             2m51s   1GB
Jan 13 03:55:29 Starting compiler/backend/semantics
Jan 13 04:03:03 Finished compiler/backend/semantics                            7m33s   1GB
Jan 13 04:03:04 Starting compiler/backend/reg_alloc/proofs
Jan 13 04:05:51 Finished compiler/backend/reg_alloc/proofs                     2m46s 747MB
Jan 13 04:05:52 Starting compiler/backend/proofs
Jan 13 04:44:48 Finished compiler/backend/proofs                              38m55s   3GB
Jan 13 04:44:49 Starting compiler/encoders/x64/proofs
Jan 13 04:55:39 Finished compiler/encoders/x64/proofs                         10m48s   4GB
Jan 13 04:55:39 Starting compiler/encoders/arm6/proofs
Jan 13 05:11:10 Finished compiler/encoders/arm6/proofs                        15m29s   3GB
Jan 13 05:11:11 Starting compiler/encoders/arm8/proofs
Jan 13 05:17:21 Finished compiler/encoders/arm8/proofs                         6m09s   1GB
Jan 13 05:17:22 Starting compiler/encoders/mips/proofs
Jan 13 05:28:32 Finished compiler/encoders/mips/proofs                        11m09s   1GB
Jan 13 05:28:33 Starting compiler/encoders/riscv/proofs
Jan 13 05:36:40 Finished compiler/encoders/riscv/proofs                        8m05s   1GB
Jan 13 05:36:40 Starting compiler/encoders/ag32/proofs
Jan 13 05:39:25 Finished compiler/encoders/ag32/proofs                         2m44s 673MB
Jan 13 05:39:26 Starting compiler/backend/x64/proofs
Jan 13 05:39:45 Finished compiler/backend/x64/proofs                             18s 920MB
Jan 13 05:39:46 Starting compiler/backend/arm6/proofs
Jan 13 05:40:08 Finished compiler/backend/arm6/proofs                            21s   1GB
Jan 13 05:40:08 Starting compiler/backend/arm8/proofs
Jan 13 05:40:26 Finished compiler/backend/arm8/proofs                            17s 772MB
Jan 13 05:40:27 Starting compiler/backend/mips/proofs
Jan 13 05:40:47 Finished compiler/backend/mips/proofs                            19s   1GB
Jan 13 05:40:48 Starting compiler/backend/riscv/proofs
Jan 13 05:41:08 Finished compiler/backend/riscv/proofs                           18s   1GB
Jan 13 05:41:08 Starting compiler/backend/ag32/proofs
Jan 13 05:50:35 Finished compiler/backend/ag32/proofs                          9m26s   2GB
Jan 13 05:50:36 Starting compiler/proofs
Jan 13 05:51:57 Finished compiler/proofs                                       1m19s   3GB
Jan 13 05:51:58 Starting candle/set-theory
Jan 13 05:52:23 Finished candle/set-theory                                       24s 893MB
Jan 13 05:52:24 Starting candle/syntax-lib
Jan 13 05:52:34 Finished candle/syntax-lib                                        9s 662MB
Jan 13 05:52:35 Starting candle/standard/syntax
Jan 13 05:54:25 Finished candle/standard/syntax                                1m49s 938MB
Jan 13 05:54:26 Starting candle/standard/semantics
Jan 13 05:56:05 Finished candle/standard/semantics                             1m38s   1GB
Jan 13 05:56:06 Starting candle/standard/monadic
Jan 13 05:57:49 Finished candle/standard/monadic                               1m42s   1GB
Jan 13 05:57:50 Starting candle/standard/ml_kernel
Jan 13 06:01:42 Finished candle/standard/ml_kernel                             3m51s   3GB
Jan 13 06:01:43 Starting candle/standard/opentheory
Jan 13 06:10:22 Finished candle/standard/opentheory                            8m38s   3GB
Jan 13 06:10:23 Starting candle/standard/opentheory/compilation
Jan 13 06:40:04 Finished candle/standard/opentheory/compilation               29m40s  12GB
Jan 13 06:40:05 Starting candle/standard/opentheory/compilation/proofs
Jan 13 06:40:50 Finished candle/standard/opentheory/compilation/proofs           44s   5GB
Jan 13 06:40:51 Starting characteristic/examples
Jan 13 06:42:14 Finished characteristic/examples                               1m22s   2GB
Jan 13 06:42:15 Starting tutorial/solutions
Jan 13 06:55:12 Finished tutorial/solutions                                   12m55s   6GB
Jan 13 06:55:12 Starting translator/monadic/examples
Jan 13 06:57:21 Finished translator/monadic/examples                           2m08s   2GB
Jan 13 06:57:22 Starting examples
Jan 13 07:04:54 Finished examples                                              7m31s   3GB
Jan 13 07:04:55 Starting examples/compilation/x64
Jan 13 09:05:59 Finished examples/compilation/x64                           2h01m02s  11GB
Jan 13 09:05:59 Starting examples/compilation/x64/proofs
Jan 13 09:07:45 Finished examples/compilation/x64/proofs                       1m45s   4GB
Jan 13 09:07:46 Starting examples/compilation/ag32
Jan 13 09:35:37 Finished examples/compilation/ag32                            27m49s   5GB
Jan 13 09:35:38 Starting examples/compilation/ag32/proofs
Jan 13 09:36:24 Finished examples/compilation/ag32/proofs                        46s   4GB
Jan 13 09:36:25 Starting translator/okasaki-examples
Jan 13 09:40:35 Finished translator/okasaki-examples                           4m08s   1GB
Jan 13 09:40:35 Starting translator/other-examples
Jan 13 09:43:55 Finished translator/other-examples                             3m19s   1GB
Jan 13 09:43:56 Starting compiler/parsing/tests
Jan 13 09:44:23 Finished compiler/parsing/tests                                  26s 558MB
Jan 13 09:44:23 Starting compiler/inference/tests
Jan 13 09:48:28 Finished compiler/inference/tests                              4m04s   3GB
Jan 13 09:48:29 Starting compiler/bootstrap/translation
Jan 13 12:19:07 Finished compiler/bootstrap/translation                     2h30m37s  38GB
Jan 13 12:19:08 Starting unverified/sexpr-bootstrap/x64/64
Jan 13 12:27:29 Finished unverified/sexpr-bootstrap/x64/64                     8m19s  16GB
Jan 13 12:27:29 Starting unverified/sexpr-bootstrap/x64/32
Jan 13 12:32:23 Finished unverified/sexpr-bootstrap/x64/32                     4m51s  19GB
Jan 13 12:32:24 Starting compiler/bootstrap/compilation/x64/64
Jan 13 22:29:57 Finished compiler/bootstrap/compilation/x64/64              9h57m31s  63GB
Jan 13 22:29:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 13 22:36:29 Finished compiler/bootstrap/compilation/x64/64/proofs          6m30s  35GB
Jan 13 22:36:30 Starting compiler/bootstrap/compilation/x64/32
Jan 14 07:28:09 Finished compiler/bootstrap/compilation/x64/32              8h51m36s  64GB
Jan 14 07:28:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 14 07:33:40 Finished compiler/bootstrap/compilation/x64/32/proofs          5m29s  26GB
Jan 14 07:33:41 SUCCESS