Job 256

CakeML:2254d1aee65921c6c4189491e9d3a3de3e470b67
  Fix issue with num_exp in translation [Mar 08 22:26:43]
#472 (num_exp)
Merging into:f19533f2908cf3d072bef312bcfe79deecc815a6
  Merge pull request #471 from CakeML/append-op [Mar 08 08:45:21]
HOL:80143923bc1d997106d0a379f9d165a516bdbab3
  holyhammer: better initialization message [Mar 07 17:59:23]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux

Mar 09 04:45:44 Claimed job
Mar 09 04:45:56 Building HOL
Mar 09 04:58:42 Starting semantics/ffi
Mar 09 04:59:54 Finished semantics/ffi                                         1m10s 441MB
Mar 09 04:59:56 Starting semantics
Mar 09 05:02:38 Finished semantics                                             2m39s   1GB
Mar 09 05:02:40 Starting semantics/proofs
Mar 09 05:06:21 Finished semantics/proofs                                      3m39s   1GB
Mar 09 05:06:23 Starting basis/pure
Mar 09 05:12:45 Finished basis/pure                                            6m19s 656MB
Mar 09 05:12:47 Starting translator
Mar 09 05:19:56 Finished translator                                            7m07s   1GB
Mar 09 05:19:58 Starting compiler/parsing
Mar 09 05:22:29 Finished compiler/parsing                                      2m28s   1GB
Mar 09 05:22:31 Starting characteristic
Mar 09 05:27:20 Finished characteristic                                        4m46s   1GB
Mar 09 05:27:22 Starting basis
Mar 09 06:03:17 Finished basis                                                35m52s   2GB
Mar 09 06:03:19 Starting translator/monadic
Mar 09 06:03:22 Finished translator/monadic                                       1s  15MB
Mar 09 06:03:24 Starting compiler/inference
Mar 09 06:06:28 Finished compiler/inference                                    3m02s   1GB
Mar 09 06:06:30 Starting compiler/backend/reg_alloc
Mar 09 06:07:24 Finished compiler/backend/reg_alloc                              51s 885MB
Mar 09 06:07:26 Starting compiler/backend/gc
Mar 09 06:30:57 Finished compiler/backend/gc                                  23m28s   2GB
Mar 09 06:30:59 Starting compiler/backend
Mar 09 06:31:03 Finished compiler/backend                                         2s  17MB
Mar 09 06:31:05 Starting compiler/encoders/asm
Mar 09 06:31:07 Finished compiler/encoders/asm                                    0s  11MB
Mar 09 06:31:09 Starting compiler/encoders/x64
Mar 09 06:32:56 Finished compiler/encoders/x64                                 1m44s 430MB
Mar 09 06:32:58 Starting compiler/encoders/arm6
Mar 09 06:36:14 Finished compiler/encoders/arm6                                3m14s   1GB
Mar 09 06:36:16 Starting compiler/encoders/arm8
Mar 09 06:37:06 Finished compiler/encoders/arm8                                  47s 417MB
Mar 09 06:37:08 Starting compiler/encoders/mips
Mar 09 06:38:39 Finished compiler/encoders/mips                                1m30s 761MB
Mar 09 06:38:41 Starting compiler/encoders/riscv
Mar 09 06:40:18 Finished compiler/encoders/riscv                               1m34s 503MB
Mar 09 06:40:20 Starting compiler/backend/x64
Mar 09 06:41:07 Finished compiler/backend/x64                                    45s   1GB
Mar 09 06:41:09 Starting compiler/backend/arm6
Mar 09 06:42:00 Finished compiler/backend/arm6                                   48s   1GB
Mar 09 06:42:02 Starting compiler/backend/arm8
Mar 09 06:42:50 Finished compiler/backend/arm8                                   45s   1GB
Mar 09 06:42:52 Starting compiler/backend/mips
Mar 09 06:43:41 Finished compiler/backend/mips                                   47s   1GB
Mar 09 06:43:43 Starting compiler/backend/riscv
Mar 09 06:44:28 Finished compiler/backend/riscv                                  43s 968MB
Mar 09 06:44:30 Starting compiler/parsing/proofs
Mar 09 06:49:19 Finished compiler/parsing/proofs                               4m47s 887MB
Mar 09 06:49:21 Starting compiler/inference/proofs
Mar 09 06:54:00 Finished compiler/inference/proofs                             4m36s   1GB
Mar 09 06:54:02 Starting compiler/backend/semantics
Mar 09 07:13:55 Finished compiler/backend/semantics                           19m50s   3GB
Mar 09 07:13:57 Starting compiler/backend/reg_alloc/proofs
Mar 09 07:15:19 Finished compiler/backend/reg_alloc/proofs                     1m20s 667MB
Mar 09 07:15:21 Starting compiler/backend/proofs
Mar 09 08:10:59 Finished compiler/backend/proofs                              55m35s   7GB
Mar 09 08:11:01 Starting compiler/encoders/x64/proofs
Mar 09 08:24:58 Finished compiler/encoders/x64/proofs                         13m55s   1GB
Mar 09 08:25:00 Starting compiler/encoders/arm6/proofs
Mar 09 08:39:20 Finished compiler/encoders/arm6/proofs                        14m18s   3GB
Mar 09 08:39:22 Starting compiler/encoders/arm8/proofs
Mar 09 08:48:55 Finished compiler/encoders/arm8/proofs                         9m30s   1GB
Mar 09 08:48:57 Starting compiler/encoders/mips/proofs
Mar 09 09:02:22 Finished compiler/encoders/mips/proofs                        13m23s   1GB
Mar 09 09:02:24 Starting compiler/encoders/riscv/proofs
Mar 09 09:16:47 Finished compiler/encoders/riscv/proofs                       14m20s   1GB
Mar 09 09:16:49 Starting compiler/backend/x64/proofs
Mar 09 09:17:46 Finished compiler/backend/x64/proofs                             55s   1GB
Mar 09 09:17:48 Starting compiler/backend/arm6/proofs
Mar 09 09:18:51 Finished compiler/backend/arm6/proofs                          1m00s   1GB
Mar 09 09:18:52 Starting compiler/backend/arm8/proofs
Mar 09 09:19:48 Finished compiler/backend/arm8/proofs                            53s   1GB
Mar 09 09:19:50 Starting compiler/backend/mips/proofs
Mar 09 09:20:47 Finished compiler/backend/mips/proofs                            55s   1GB
Mar 09 09:20:49 Starting compiler/backend/riscv/proofs
Mar 09 09:21:46 Finished compiler/backend/riscv/proofs                           54s   1GB
Mar 09 09:21:48 Starting compiler/proofs
Mar 09 09:24:52 Finished compiler/proofs                                       3m01s   1GB
Mar 09 09:24:54 Starting candle/set-theory
Mar 09 09:26:38 Finished candle/set-theory                                     1m42s 545MB
Mar 09 09:26:40 Starting candle/syntax-lib
Mar 09 09:27:02 Finished candle/syntax-lib                                       19s 435MB
Mar 09 09:27:04 Starting candle/standard/syntax
Mar 09 09:30:10 Finished candle/standard/syntax                                3m04s 539MB
Mar 09 09:30:12 Starting candle/standard/semantics
Mar 09 09:32:43 Finished candle/standard/semantics                             2m29s 659MB
Mar 09 09:32:45 Starting candle/standard/monadic
Mar 09 09:35:39 Finished candle/standard/monadic                               2m52s 873MB
Mar 09 09:35:41 Starting candle/standard/ml_kernel
Mar 09 09:47:06 Finished candle/standard/ml_kernel                            11m23s   2GB
Mar 09 09:47:08 Starting candle/standard/opentheory
Mar 09 09:47:42 Finished candle/standard/opentheory                              31s 867MB
Mar 09 09:47:44 Starting characteristic/examples
Mar 09 09:50:28 Finished characteristic/examples                               2m42s   1GB
Mar 09 09:50:30 Starting tutorial/solutions
Mar 09 10:35:37 Finished tutorial/solutions                                   45m03s  17GB
Mar 09 10:35:39 Starting translator/monadic/examples
Mar 09 10:39:12 Finished translator/monadic/examples                           3m31s   2GB
Mar 09 10:39:14 Starting examples
Mar 09 10:48:27 Finished examples                                              9m11s   2GB
Mar 09 10:48:29 Starting examples/compilation
Mar 09 17:35:31 Finished examples/compilation                               6h46m59s  19GB
Mar 09 17:35:33 Starting examples/compilation/proofs
Mar 09 17:42:38 Finished examples/compilation/proofs                           7m03s   4GB
Mar 09 17:42:40 Starting compiler/benchmarks
Mar 09 17:42:42 Finished compiler/benchmarks                                      0s   6MB
Mar 09 17:42:44 Starting translator/okasaki-examples
Mar 09 17:50:25 Finished translator/okasaki-examples                           7m38s   1GB
Mar 09 17:50:27 Starting translator/other-examples
Mar 09 17:57:47 Finished translator/other-examples                             7m17s   1GB
Mar 09 17:57:49 Starting compiler/parsing/tests
Mar 09 17:58:32 Finished compiler/parsing/tests                                  41s 338MB
Mar 09 17:58:34 Starting compiler/bootstrap/translation
Mar 10 03:32:44 Finished compiler/bootstrap/translation                     9h34m08s  33GB
Mar 10 03:32:46 Starting compiler/bootstrap/compilation/x64/64
Mar 11 16:47:12 Finished compiler/bootstrap/compilation/x64/64             37h14m24s  96GB
Mar 11 16:47:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 11 16:53:30 Finished compiler/bootstrap/compilation/x64/64/proofs          6m13s  26GB
Mar 11 16:53:32 Starting compiler/bootstrap/compilation/x64/32
Mar 12 18:58:55 Finished compiler/bootstrap/compilation/x64/32             26h05m20s  90GB
Mar 12 18:58:57 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 12 19:02:55 Finished compiler/bootstrap/compilation/x64/32/proofs          3m55s  29GB
Mar 12 19:02:56 SUCCESS