Job 133

CakeML:a840c7888a8949eb5d7a37deed6f29fc663e091d
  Add timing calls to parser and inferencer [Jan 02 01:23:14]
#408 (issue407)
Merging into:d8878553de0ec15561266908b27abe11f30b3c63
  Add monadic translator examples to build sequence [Jan 03 04:04:39]
HOL:b93b624d765f8d26e8f1c2c56d4e913ec401461e
  Implement RAT_ADD_CONV (with tests) [Jan 02 03:55:23]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 04 02:34:01 Claimed job
Jan 04 02:34:10 Building HOL
Jan 04 02:47:51 Starting semantics/ffi
Jan 04 02:49:00 Finished semantics/ffi                                         1m07s 336MB
Jan 04 02:49:02 Starting semantics
Jan 04 02:51:41 Finished semantics                                             2m37s   1GB
Jan 04 02:51:43 Starting semantics/proofs
Jan 04 02:55:10 Finished semantics/proofs                                      3m25s   1GB
Jan 04 02:55:12 Starting basis/pure
Jan 04 03:01:08 Finished basis/pure                                            5m54s 627MB
Jan 04 03:01:10 Starting translator
Jan 04 03:08:16 Finished translator                                            7m04s   1GB
Jan 04 03:08:18 Starting compiler/parsing
Jan 04 03:11:25 Finished compiler/parsing                                      3m04s   1GB
Jan 04 03:11:27 Starting characteristic
Jan 04 03:16:10 Finished characteristic                                        4m41s   1GB
Jan 04 03:16:12 Starting basis
Jan 04 03:42:29 Finished basis                                                26m13s   2GB
Jan 04 03:42:31 Starting translator/monadic
Jan 04 03:45:56 Finished translator/monadic                                    3m23s 993MB
Jan 04 03:45:58 Starting compiler/inference
Jan 04 03:48:49 Finished compiler/inference                                    2m49s   1GB
Jan 04 03:48:51 Starting compiler/backend/reg_alloc
Jan 04 03:49:40 Finished compiler/backend/reg_alloc                              46s 868MB
Jan 04 03:49:42 Starting compiler/backend/gc
Jan 04 04:05:46 Finished compiler/backend/gc                                  16m02s   2GB
Jan 04 04:05:48 Starting compiler/backend
Jan 04 04:05:52 Finished compiler/backend                                         1s  21MB
Jan 04 04:05:54 Starting compiler/encoders/asm
Jan 04 04:05:56 Finished compiler/encoders/asm                                    0s  11MB
Jan 04 04:05:58 Starting compiler/encoders/x64
Jan 04 04:07:38 Finished compiler/encoders/x64                                 1m37s 527MB
Jan 04 04:07:40 Starting compiler/encoders/arm6
Jan 04 04:10:41 Finished compiler/encoders/arm6                                2m59s   1GB
Jan 04 04:10:43 Starting compiler/encoders/arm8
Jan 04 04:11:31 Finished compiler/encoders/arm8                                  46s 413MB
Jan 04 04:11:33 Starting compiler/encoders/mips
Jan 04 04:12:59 Finished compiler/encoders/mips                                1m24s 737MB
Jan 04 04:13:01 Starting compiler/encoders/riscv
Jan 04 04:14:33 Finished compiler/encoders/riscv                               1m29s 487MB
Jan 04 04:14:35 Starting compiler/backend/x64
Jan 04 04:15:19 Finished compiler/backend/x64                                    42s   1GB
Jan 04 04:15:21 Starting compiler/backend/arm6
Jan 04 04:16:07 Finished compiler/backend/arm6                                   43s   1GB
Jan 04 04:16:09 Starting compiler/backend/arm8
Jan 04 04:16:55 Finished compiler/backend/arm8                                   44s   1GB
Jan 04 04:16:57 Starting compiler/backend/mips
Jan 04 04:17:43 Finished compiler/backend/mips                                   43s   1GB
Jan 04 04:17:45 Starting compiler/backend/riscv
Jan 04 04:18:27 Finished compiler/backend/riscv                                  40s   1GB
Jan 04 04:18:29 Starting compiler/parsing/proofs
Jan 04 04:22:59 Finished compiler/parsing/proofs                               4m28s 946MB
Jan 04 04:23:01 Starting compiler/inference/proofs
Jan 04 04:27:20 Finished compiler/inference/proofs                             4m16s 898MB
Jan 04 04:27:22 Starting compiler/backend/semantics
Jan 04 04:46:16 Finished compiler/backend/semantics                           18m52s   2GB
Jan 04 04:46:17 Starting compiler/backend/reg_alloc/proofs
Jan 04 04:47:33 Finished compiler/backend/reg_alloc/proofs                     1m13s 381MB
Jan 04 04:47:35 Starting compiler/backend/proofs
Jan 04 05:57:45 Finished compiler/backend/proofs                            1h10m08s   4GB
Jan 04 05:57:47 Starting compiler/encoders/x64/proofs
Jan 04 06:11:25 Finished compiler/encoders/x64/proofs                         13m35s   1GB
Jan 04 06:11:27 Starting compiler/encoders/arm6/proofs
Jan 04 06:24:43 Finished compiler/encoders/arm6/proofs                        13m14s   3GB
Jan 04 06:24:45 Starting compiler/encoders/arm8/proofs
Jan 04 06:34:03 Finished compiler/encoders/arm8/proofs                         9m15s   1GB
Jan 04 06:34:05 Starting compiler/encoders/mips/proofs
Jan 04 06:46:56 Finished compiler/encoders/mips/proofs                        12m49s   2GB
Jan 04 06:46:58 Starting compiler/encoders/riscv/proofs
Jan 04 07:00:46 Finished compiler/encoders/riscv/proofs                       13m45s   1GB
Jan 04 07:00:48 Starting compiler/backend/x64/proofs
Jan 04 07:01:42 Finished compiler/backend/x64/proofs                             51s   1GB
Jan 04 07:01:44 Starting compiler/backend/arm6/proofs
Jan 04 07:02:43 Finished compiler/backend/arm6/proofs                            57s   1GB
Jan 04 07:02:45 Starting compiler/backend/arm8/proofs
Jan 04 07:03:38 Finished compiler/backend/arm8/proofs                            51s   1GB
Jan 04 07:03:40 Starting compiler/backend/mips/proofs
Jan 04 07:04:35 Finished compiler/backend/mips/proofs                            52s   1GB
Jan 04 07:04:37 Starting compiler/backend/riscv/proofs
Jan 04 07:05:32 Finished compiler/backend/riscv/proofs                           52s   1GB
Jan 04 07:05:33 Starting compiler/proofs
Jan 04 07:08:07 Finished compiler/proofs                                       2m31s   1GB
Jan 04 07:08:09 Starting candle/set-theory
Jan 04 07:09:53 Finished candle/set-theory                                     1m42s 557MB
Jan 04 07:09:55 Starting candle/syntax-lib
Jan 04 07:10:16 Finished candle/syntax-lib                                       18s 464MB
Jan 04 07:10:18 Starting candle/standard/syntax
Jan 04 07:13:15 Finished candle/standard/syntax                                2m55s 594MB
Jan 04 07:13:17 Starting candle/standard/semantics
Jan 04 07:15:45 Finished candle/standard/semantics                             2m26s 753MB
Jan 04 07:15:47 Starting candle/standard/monadic
Jan 04 07:18:30 Finished candle/standard/monadic                               2m40s   1GB
Jan 04 07:18:32 Starting candle/standard/ml_kernel
Jan 04 07:29:40 Finished candle/standard/ml_kernel                            11m05s   2GB
Jan 04 07:29:42 Starting candle/standard/opentheory
Jan 04 07:30:15 Finished candle/standard/opentheory                              31s 618MB
Jan 04 07:30:17 Starting characteristic/examples
Jan 04 07:32:36 Finished characteristic/examples                               2m17s   1GB
Jan 04 07:32:38 Starting tutorial/solutions
Jan 04 08:06:51 Finished tutorial/solutions                                   34m10s   9GB
Jan 04 08:06:53 Starting translator/monadic/examples
Jan 04 08:09:18 Finished translator/monadic/examples                           2m22s   1GB
Jan 04 08:09:20 Starting examples
Jan 04 08:17:03 Finished examples                                              7m40s   2GB
Jan 04 08:17:05 Starting examples/compilation
Jan 04 13:23:56 Finished examples/compilation                               5h06m48s  15GB
Jan 04 13:23:57 Starting examples/compilation/proofs
Jan 04 13:29:34 Finished examples/compilation/proofs                           5m33s   4GB
Jan 04 13:29:36 Starting compiler/benchmarks
Jan 04 13:29:38 Finished compiler/benchmarks                                      0s   4MB
Jan 04 13:29:40 Starting translator/okasaki-examples
Jan 04 13:37:06 Finished translator/okasaki-examples                           7m23s   1GB
Jan 04 13:37:08 Starting translator/other-examples
Jan 04 13:44:00 Finished translator/other-examples                             6m49s 806MB
Jan 04 13:44:02 Starting compiler/parsing/tests
Jan 04 13:44:42 Finished compiler/parsing/tests                                  37s 381MB
Jan 04 13:44:44 Starting compiler/bootstrap/translation
Jan 04 22:44:48 Finished compiler/bootstrap/translation                     9h00m02s  50GB
Jan 04 22:44:50 Starting compiler/bootstrap/compilation/x64/64
Jan 06 10:51:40 Finished compiler/bootstrap/compilation/x64/64             36h06m48s  90GB
Jan 06 10:51:42 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 06 10:55:28 Finished compiler/bootstrap/compilation/x64/64/proofs          3m44s  24GB
Jan 06 10:55:30 Starting compiler/bootstrap/compilation/x64/32
Jan 07 12:48:07 Finished compiler/bootstrap/compilation/x64/32             25h52m34s  94GB
Jan 07 12:48:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 07 12:52:28 Finished compiler/bootstrap/compilation/x64/32/proofs          4m17s  18GB
Jan 07 12:52:30 SUCCESS