Job 106

CakeML: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:cakeml1853 4.4.0-22-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Dec 22 19:28:08 Claimed job
Dec 22 19:28:15 Reusing HOL
Dec 22 19:28:26 Starting semantics/ffi
Dec 22 19:28:46 Finished semantics/ffi                                           17s 249MB
Dec 22 19:28:48 Starting semantics
Dec 22 19:31:00 Finished semantics                                             2m09s   1GB
Dec 22 19:31:02 Starting semantics/proofs
Dec 22 19:34:35 Finished semantics/proofs                                      3m31s 975MB
Dec 22 19:34:37 Starting basis/pure
Dec 22 19:35:46 Finished basis/pure                                            1m07s 674MB
Dec 22 19:35:48 Starting translator
Dec 22 19:43:13 Finished translator                                            7m22s 935MB
Dec 22 19:43:15 Starting compiler/parsing
Dec 22 19:45:44 Finished compiler/parsing                                      2m26s   1GB
Dec 22 19:45:46 Starting characteristic
Dec 22 19:50:39 Finished characteristic                                        4m50s   1GB
Dec 22 19:50:40 Starting basis
Dec 22 20:18:39 Finished basis                                                27m56s   2GB
Dec 22 20:18:41 Starting translator/monadic
Dec 22 20:22:13 Finished translator/monadic                                    3m29s   1GB
Dec 22 20:22:15 Starting compiler/inference
Dec 22 20:25:08 Finished compiler/inference                                    2m51s   1GB
Dec 22 20:25:10 Starting compiler/backend/reg_alloc
Dec 22 20:26:01 Finished compiler/backend/reg_alloc                              49s 803MB
Dec 22 20:26:03 Starting compiler/backend/gc
Dec 22 20:42:27 Finished compiler/backend/gc                                  16m22s   3GB
Dec 22 20:42:29 Starting compiler/backend
Dec 22 20:42:33 Finished compiler/backend                                         1s  19MB
Dec 22 20:42:35 Starting compiler/encoders/asm
Dec 22 20:42:37 Finished compiler/encoders/asm                                    0s  11MB
Dec 22 20:42:39 Starting compiler/encoders/x64
Dec 22 20:43:54 Finished compiler/encoders/x64                                 1m12s 469MB
Dec 22 20:43:56 Starting compiler/encoders/arm6
Dec 22 20:47:00 Finished compiler/encoders/arm6                                3m02s   1GB
Dec 22 20:47:01 Starting compiler/encoders/arm8
Dec 22 20:47:51 Finished compiler/encoders/arm8                                  47s 447MB
Dec 22 20:47:52 Starting compiler/encoders/mips
Dec 22 20:49:21 Finished compiler/encoders/mips                                1m26s 736MB
Dec 22 20:49:23 Starting compiler/encoders/riscv
Dec 22 20:50:56 Finished compiler/encoders/riscv                               1m31s 466MB
Dec 22 20:50:58 Starting compiler/backend/x64
Dec 22 20:51:44 Finished compiler/backend/x64                                    44s   1GB
Dec 22 20:51:46 Starting compiler/backend/arm6
Dec 22 20:52:34 Finished compiler/backend/arm6                                   45s   1GB
Dec 22 20:52:36 Starting compiler/backend/arm8
Dec 22 20:53:24 Finished compiler/backend/arm8                                   46s   1GB
Dec 22 20:53:26 Starting compiler/backend/mips
Dec 22 20:54:11 Finished compiler/backend/mips                                   43s   1GB
Dec 22 20:54:13 Starting compiler/backend/riscv
Dec 22 20:55:00 Finished compiler/backend/riscv                                  45s   1GB
Dec 22 20:55:02 Starting compiler/parsing/proofs
Dec 22 20:59:56 Finished compiler/parsing/proofs                               4m52s 577MB
Dec 22 20:59:58 Starting compiler/inference/proofs
Dec 22 21:04:20 Finished compiler/inference/proofs                             4m19s 931MB
Dec 22 21:04:22 Starting compiler/backend/semantics
Dec 22 21:23:32 Finished compiler/backend/semantics                           19m08s   3GB
Dec 22 21:23:34 Starting compiler/backend/reg_alloc/proofs
Dec 22 21:24:50 Finished compiler/backend/reg_alloc/proofs                     1m14s 357MB
Dec 22 21:24:52 Starting compiler/backend/proofs
Dec 22 22:36:22 Finished compiler/backend/proofs                            1h11m27s   5GB
Dec 22 22:36:24 Starting compiler/encoders/x64/proofs
Dec 22 22:48:01 Finished compiler/encoders/x64/proofs                         11m35s 974MB
Dec 22 22:48:03 Starting compiler/encoders/arm6/proofs
Dec 22 23:02:14 Finished compiler/encoders/arm6/proofs                        14m09s   3GB
Dec 22 23:02:16 Starting compiler/encoders/arm8/proofs
Dec 22 23:11:44 Finished compiler/encoders/arm8/proofs                         9m26s   1GB
Dec 22 23:11:46 Starting compiler/encoders/mips/proofs
Dec 22 23:25:20 Finished compiler/encoders/mips/proofs                        13m32s   1GB
Dec 22 23:25:22 Starting compiler/encoders/riscv/proofs
Dec 22 23:39:43 Finished compiler/encoders/riscv/proofs                       14m18s 697MB
Dec 22 23:39:45 Starting compiler/backend/x64/proofs
Dec 22 23:40:40 Finished compiler/backend/x64/proofs                             53s   1GB
Dec 22 23:40:42 Starting compiler/backend/arm6/proofs
Dec 22 23:41:43 Finished compiler/backend/arm6/proofs                            59s   1GB
Dec 22 23:41:45 Starting compiler/backend/arm8/proofs
Dec 22 23:42:39 Finished compiler/backend/arm8/proofs                            52s   1GB
Dec 22 23:42:41 Starting compiler/backend/mips/proofs
Dec 22 23:43:37 Finished compiler/backend/mips/proofs                            54s   1GB
Dec 22 23:43:39 Starting compiler/backend/riscv/proofs
Dec 22 23:44:33 Finished compiler/backend/riscv/proofs                           51s   1GB
Dec 22 23:44:35 Starting compiler/proofs
Dec 22 23:47:13 Finished compiler/proofs                                       2m36s   1GB
Dec 22 23:47:15 Starting candle/set-theory
Dec 22 23:49:00 Finished candle/set-theory                                     1m42s 554MB
Dec 22 23:49:02 Starting candle/syntax-lib
Dec 22 23:49:24 Finished candle/syntax-lib                                       20s 556MB
Dec 22 23:49:26 Starting candle/standard/syntax
Dec 22 23:52:31 Finished candle/standard/syntax                                3m02s 541MB
Dec 22 23:52:33 Starting candle/standard/semantics
Dec 22 23:55:05 Finished candle/standard/semantics                             2m30s 771MB
Dec 22 23:55:07 Starting candle/standard/monadic
Dec 22 23:57:54 Finished candle/standard/monadic                               2m45s 834MB
Dec 22 23:57:56 Starting candle/standard/ml_kernel
Dec 23 00:09:31 Finished candle/standard/ml_kernel                            11m33s   1GB
Dec 23 00:09:33 Starting candle/standard/opentheory
Dec 23 00:10:06 Finished candle/standard/opentheory                              30s 675MB
Dec 23 00:10:08 Starting characteristic/examples
Dec 23 00:12:28 Finished characteristic/examples                               2m17s   1GB
Dec 23 00:12:30 Starting tutorial/solutions
Dec 23 00:46:28 Finished tutorial/solutions                                   33m56s  11GB
Dec 23 00:46:30 Starting examples
Dec 23 00:54:21 Finished examples                                              7m49s   2GB
Dec 23 00:54:23 Starting examples/compilation
Dec 23 05:47:18 Finished examples/compilation                               4h52m52s  21GB
Dec 23 05:47:20 Starting examples/compilation/proofs
Dec 23 05:52:59 Finished examples/compilation/proofs                           5m36s   3GB
Dec 23 05:53:01 Starting compiler/benchmarks
Dec 23 07:41:30 Finished compiler/benchmarks                                1h48m27s  14GB
Dec 23 07:41:32 Starting translator/okasaki-examples
Dec 23 07:49:10 Finished translator/okasaki-examples                           7m36s   1GB
Dec 23 07:49:12 Starting translator/other-examples
Dec 23 07:56:21 Finished translator/other-examples                             7m06s 982MB
Dec 23 07:56:23 Starting compiler/parsing/tests
Dec 23 07:57:04 Finished compiler/parsing/tests                                  38s 361MB
Dec 23 07:57:06 Starting compiler/bootstrap/translation
Dec 23 16:54:27 Finished compiler/bootstrap/translation                     8h57m19s  40GB
Dec 23 16:54:29 Starting compiler/bootstrap/compilation/x64/64
Dec 24 22:39:43 Finished compiler/bootstrap/compilation/x64/64             29h45m12s  88GB
Dec 24 22:39:45 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 24 22:43:34 Finished compiler/bootstrap/compilation/x64/64/proofs          3m46s  26GB
Dec 24 22:43:36 Starting compiler/bootstrap/compilation/x64/32
Dec 25 23:05:46 Finished compiler/bootstrap/compilation/x64/32             24h22m08s  94GB
Dec 25 23:05:48 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 25 23:10:06 Finished compiler/bootstrap/compilation/x64/32/proofs          4m15s  16GB
Dec 25 23:10:08 SUCCESS