Job 105

CakeML:76759895503454dd3e04d70432daaf3affb9f767
  Attempt to tidy bootstrap theorem [Dec 22 19:03:06]
#412 (cleanup-basis)
Merging into:5a615647a8e5d50d633b288acd22eb2e8b580f37
  Include stdlib explicitly in basis_ffi [Dec 14 00:19:23]
HOL:cdc248766a858dd0feedabaf5fc7a0a8d8ddc83a
  Merge pull request #502 from marioxcc/master [Dec 21 04:20:24]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Dec 22 19:10:55 Claimed job
Dec 22 19:11:04 Building HOL
Dec 22 19:23:16 Starting semantics/ffi
Dec 22 19:24:22 Finished semantics/ffi                                         1m03s 356MB
Dec 22 19:24:24 Starting semantics
Dec 22 19:27:03 Finished semantics                                             2m37s   1GB
Dec 22 19:27:05 Starting semantics/proofs
Dec 22 19:30:37 Finished semantics/proofs                                      3m29s   1GB
Dec 22 19:30:38 Starting basis/pure
Dec 22 19:36:36 Finished basis/pure                                            5m55s 812MB
Dec 22 19:36:38 Starting translator
Dec 22 19:43:41 Finished translator                                            7m01s   1GB
Dec 22 19:43:43 Starting compiler/parsing
Dec 22 19:46:07 Finished compiler/parsing                                      2m21s   1GB
Dec 22 19:46:09 Starting characteristic
Dec 22 19:50:49 Finished characteristic                                        4m38s   1GB
Dec 22 19:50:51 Starting basis
Dec 22 20:18:14 Finished basis                                                27m20s   2GB
Dec 22 20:18:16 Starting translator/monadic
Dec 22 20:21:42 Finished translator/monadic                                    3m24s   1GB
Dec 22 20:21:44 Starting compiler/inference
Dec 22 20:24:35 Finished compiler/inference                                    2m49s 935MB
Dec 22 20:24:37 Starting compiler/backend/reg_alloc
Dec 22 20:25:26 Finished compiler/backend/reg_alloc                              47s 707MB
Dec 22 20:25:28 Starting compiler/backend/gc
Dec 22 20:41:22 Finished compiler/backend/gc                                  15m52s   2GB
Dec 22 20:41:24 Starting compiler/backend
Dec 22 20:41:28 Finished compiler/backend                                         1s  16MB
Dec 22 20:41:30 Starting compiler/encoders/asm
Dec 22 20:41:32 Finished compiler/encoders/asm                                    0s  30MB
Dec 22 20:41:34 Starting compiler/encoders/x64
Dec 22 20:42:51 Finished compiler/encoders/x64                                 1m14s 380MB
Dec 22 20:42:53 Starting compiler/encoders/arm6
Dec 22 20:46:00 Finished compiler/encoders/arm6                                3m03s   1GB
Dec 22 20:46:02 Starting compiler/encoders/arm8
Dec 22 20:46:52 Finished compiler/encoders/arm8                                  47s 419MB
Dec 22 20:46:53 Starting compiler/encoders/mips
Dec 22 20:48:15 Finished compiler/encoders/mips                                1m19s 640MB
Dec 22 20:48:17 Starting compiler/encoders/riscv
Dec 22 20:49:51 Finished compiler/encoders/riscv                               1m31s 493MB
Dec 22 20:49:53 Starting compiler/backend/x64
Dec 22 20:50:35 Finished compiler/backend/x64                                    40s   1GB
Dec 22 20:50:37 Starting compiler/backend/arm6
Dec 22 20:51:24 Finished compiler/backend/arm6                                   44s   1GB
Dec 22 20:51:25 Starting compiler/backend/arm8
Dec 22 20:52:09 Finished compiler/backend/arm8                                   42s   1GB
Dec 22 20:52:11 Starting compiler/backend/mips
Dec 22 20:52:57 Finished compiler/backend/mips                                   43s   1GB
Dec 22 20:52:59 Starting compiler/backend/riscv
Dec 22 20:53:43 Finished compiler/backend/riscv                                  42s   1GB
Dec 22 20:53:45 Starting compiler/parsing/proofs
Dec 22 20:58:25 Finished compiler/parsing/proofs                               4m37s 680MB
Dec 22 20:58:27 Starting compiler/inference/proofs
Dec 22 21:02:40 Finished compiler/inference/proofs                             4m11s   1GB
Dec 22 21:02:42 Starting compiler/backend/semantics
Dec 22 21:21:40 Finished compiler/backend/semantics                           18m56s   3GB
Dec 22 21:21:42 Starting compiler/backend/reg_alloc/proofs
Dec 22 21:22:55 Finished compiler/backend/reg_alloc/proofs                     1m11s 378MB
Dec 22 21:22:57 Starting compiler/backend/proofs
Dec 22 22:32:16 Finished compiler/backend/proofs                            1h09m16s   8GB
Dec 22 22:32:18 Starting compiler/encoders/x64/proofs
Dec 22 22:43:33 Finished compiler/encoders/x64/proofs                         11m13s   1GB
Dec 22 22:43:35 Starting compiler/encoders/arm6/proofs
Dec 22 22:57:16 Finished compiler/encoders/arm6/proofs                        13m39s   3GB
Dec 22 22:57:18 Starting compiler/encoders/arm8/proofs
Dec 22 23:06:31 Finished compiler/encoders/arm8/proofs                         9m10s   1GB
Dec 22 23:06:33 Starting compiler/encoders/mips/proofs
Dec 22 23:19:53 Finished compiler/encoders/mips/proofs                        13m18s   2GB
Dec 22 23:19:55 Starting compiler/encoders/riscv/proofs
Dec 22 23:33:34 Finished compiler/encoders/riscv/proofs                       13m36s   1GB
Dec 22 23:33:35 Starting compiler/backend/x64/proofs
Dec 22 23:34:26 Finished compiler/backend/x64/proofs                             48s   1GB
Dec 22 23:34:28 Starting compiler/backend/arm6/proofs
Dec 22 23:35:29 Finished compiler/backend/arm6/proofs                            58s   1GB
Dec 22 23:35:31 Starting compiler/backend/arm8/proofs
Dec 22 23:36:23 Finished compiler/backend/arm8/proofs                            49s   1GB
Dec 22 23:36:24 Starting compiler/backend/mips/proofs
Dec 22 23:37:18 Finished compiler/backend/mips/proofs                            51s   1GB
Dec 22 23:37:20 Starting compiler/backend/riscv/proofs
Dec 22 23:38:12 Finished compiler/backend/riscv/proofs                           50s   1GB
Dec 22 23:38:14 Starting compiler/proofs
Dec 22 23:40:40 Finished compiler/proofs                                       2m24s   1GB
Dec 22 23:40:42 Starting candle/set-theory
Dec 22 23:42:24 Finished candle/set-theory                                     1m40s 578MB
Dec 22 23:42:26 Starting candle/syntax-lib
Dec 22 23:42:48 Finished candle/syntax-lib                                       19s 370MB
Dec 22 23:42:50 Starting candle/standard/syntax
Dec 22 23:45:45 Finished candle/standard/syntax                                2m53s 954MB
Dec 22 23:45:47 Starting candle/standard/semantics
Dec 22 23:48:07 Finished candle/standard/semantics                             2m18s 843MB
Dec 22 23:48:09 Starting candle/standard/monadic
Dec 22 23:50:48 Finished candle/standard/monadic                               2m36s 966MB
Dec 22 23:50:50 Starting candle/standard/ml_kernel
Dec 23 00:02:03 Finished candle/standard/ml_kernel                            11m11s   2GB
Dec 23 00:02:05 Starting candle/standard/opentheory
Dec 23 00:02:38 Finished candle/standard/opentheory                              31s 589MB
Dec 23 00:02:40 Starting characteristic/examples
Dec 23 00:04:55 Finished characteristic/examples                               2m12s   1GB
Dec 23 00:04:57 Starting tutorial/solutions
Dec 23 00:36:32 Finished tutorial/solutions                                   31m33s   9GB
Dec 23 00:36:34 Starting examples
Dec 23 00:44:07 Finished examples                                              7m30s   3GB
Dec 23 00:44:09 Starting examples/compilation
Dec 23 05:22:51 Finished examples/compilation                               4h38m39s  14GB
Dec 23 05:22:52 Starting examples/compilation/proofs
Dec 23 05:28:18 Finished examples/compilation/proofs                           5m23s   3GB
Dec 23 05:28:20 Starting compiler/benchmarks
Dec 23 07:14:58 Finished compiler/benchmarks                                1h46m35s  19GB
Dec 23 07:15:00 Starting translator/okasaki-examples
Dec 23 07:22:29 Finished translator/okasaki-examples                           7m26s   1GB
Dec 23 07:22:31 Starting translator/other-examples
Dec 23 07:29:39 Finished translator/other-examples                             7m05s 882MB
Dec 23 07:29:41 Starting compiler/parsing/tests
Dec 23 07:30:20 Finished compiler/parsing/tests                                  37s 422MB
Dec 23 07:30:22 Starting compiler/bootstrap/translation
Dec 23 15:40:12 Finished compiler/bootstrap/translation                     8h09m47s  36GB
Dec 23 15:40:14 Starting compiler/bootstrap/compilation/x64/64
Dec 24 13:06:29 Finished compiler/bootstrap/compilation/x64/64             21h26m12s  82GB
Dec 24 13:06:30 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 24 13:10:00 Finished compiler/bootstrap/compilation/x64/64/proofs          3m27s  25GB
Dec 24 13:10:02 Starting compiler/bootstrap/compilation/x64/32
Dec 25 09:53:16 Finished compiler/bootstrap/compilation/x64/32             20h43m11s  83GB
Dec 25 09:53:18 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 25 09:56:20 Finished compiler/bootstrap/compilation/x64/32/proofs          2m59s  22GB
Dec 25 09:56:22 SUCCESS