Job 135

CakeML:83cfc77c3a995082331e978895193d2be37ac07a
  Attempt to fix bootstrap proofs [Jan 08 19:41:21]
#420 (whole-prog-spec)
Merging into:00605b2ed98e568aeec57b47a504daab27e5ce8b
  Add missing comma [Jan 06 12:42:45]
HOL:95995a06a5b32c848273aeab7a2cb7c184c66b44
  Merge branch 'pr/506' into master [Jan 08 04:24:55]
Machine:cakeml1852 4.4.0-22-generic x86_64 GNU/Linux

Jan 08 19:44:54 Claimed job
Jan 08 19:45:01 Reusing HOL
Jan 08 19:45:13 Starting semantics/ffi
Jan 08 19:46:23 Finished semantics/ffi                                         1m08s 570MB
Jan 08 19:46:25 Starting semantics
Jan 08 19:49:04 Finished semantics                                             2m37s   1GB
Jan 08 19:49:06 Starting semantics/proofs
Jan 08 19:52:44 Finished semantics/proofs                                      3m36s   1GB
Jan 08 19:52:46 Starting basis/pure
Jan 08 19:58:50 Finished basis/pure                                            6m01s 632MB
Jan 08 19:58:52 Starting translator
Jan 08 20:06:08 Finished translator                                            7m13s 912MB
Jan 08 20:06:10 Starting compiler/parsing
Jan 08 20:08:39 Finished compiler/parsing                                      2m26s   1GB
Jan 08 20:08:41 Starting characteristic
Jan 08 20:13:27 Finished characteristic                                        4m43s   1GB
Jan 08 20:13:29 Starting basis
Jan 08 20:40:22 Finished basis                                                26m51s   2GB
Jan 08 20:40:24 Starting translator/monadic
Jan 08 20:43:58 Finished translator/monadic                                    3m31s 958MB
Jan 08 20:44:00 Starting compiler/inference
Jan 08 20:46:51 Finished compiler/inference                                    2m49s   1GB
Jan 08 20:46:53 Starting compiler/backend/reg_alloc
Jan 08 20:47:43 Finished compiler/backend/reg_alloc                              47s 746MB
Jan 08 20:47:45 Starting compiler/backend/gc
Jan 08 21:04:08 Finished compiler/backend/gc                                  16m21s   2GB
Jan 08 21:04:10 Starting compiler/backend
Jan 08 21:04:14 Finished compiler/backend                                         1s  14MB
Jan 08 21:04:16 Starting compiler/encoders/asm
Jan 08 21:04:18 Finished compiler/encoders/asm                                    0s  18MB
Jan 08 21:04:20 Starting compiler/encoders/x64
Jan 08 21:06:00 Finished compiler/encoders/x64                                 1m37s 439MB
Jan 08 21:06:02 Starting compiler/encoders/arm6
Jan 08 21:09:11 Finished compiler/encoders/arm6                                3m07s   1GB
Jan 08 21:09:13 Starting compiler/encoders/arm8
Jan 08 21:10:01 Finished compiler/encoders/arm8                                  45s 391MB
Jan 08 21:10:03 Starting compiler/encoders/mips
Jan 08 21:11:28 Finished compiler/encoders/mips                                1m22s 593MB
Jan 08 21:11:30 Starting compiler/encoders/riscv
Jan 08 21:13:05 Finished compiler/encoders/riscv                               1m33s 496MB
Jan 08 21:13:07 Starting compiler/backend/x64
Jan 08 21:13:52 Finished compiler/backend/x64                                    43s   1GB
Jan 08 21:13:54 Starting compiler/backend/arm6
Jan 08 21:14:43 Finished compiler/backend/arm6                                   46s   1GB
Jan 08 21:14:45 Starting compiler/backend/arm8
Jan 08 21:15:33 Finished compiler/backend/arm8                                   45s   1GB
Jan 08 21:15:35 Starting compiler/backend/mips
Jan 08 21:16:20 Finished compiler/backend/mips                                   43s   1GB
Jan 08 21:16:22 Starting compiler/backend/riscv
Jan 08 21:17:09 Finished compiler/backend/riscv                                  45s   1GB
Jan 08 21:17:11 Starting compiler/parsing/proofs
Jan 08 21:21:59 Finished compiler/parsing/proofs                               4m45s 800MB
Jan 08 21:22:01 Starting compiler/inference/proofs
Jan 08 21:26:29 Finished compiler/inference/proofs                             4m26s   1GB
Jan 08 21:26:31 Starting compiler/backend/semantics
Jan 08 21:46:11 Finished compiler/backend/semantics                           19m37s   4GB
Jan 08 21:46:13 Starting compiler/backend/reg_alloc/proofs
Jan 08 21:47:29 Finished compiler/backend/reg_alloc/proofs                     1m14s 302MB
Jan 08 21:47:31 Starting compiler/backend/proofs
Jan 08 23:00:34 Finished compiler/backend/proofs                            1h13m01s   6GB
Jan 08 23:00:36 Starting compiler/encoders/x64/proofs
Jan 08 23:14:20 Finished compiler/encoders/x64/proofs                         13m41s   1GB
Jan 08 23:14:22 Starting compiler/encoders/arm6/proofs
Jan 08 23:28:27 Finished compiler/encoders/arm6/proofs                        14m02s   2GB
Jan 08 23:28:29 Starting compiler/encoders/arm8/proofs
Jan 08 23:38:03 Finished compiler/encoders/arm8/proofs                         9m30s   1GB
Jan 08 23:38:05 Starting compiler/encoders/mips/proofs
Jan 08 23:51:10 Finished compiler/encoders/mips/proofs                        13m03s   1GB
Jan 08 23:51:12 Starting compiler/encoders/riscv/proofs
Jan 09 00:05:23 Finished compiler/encoders/riscv/proofs                       14m09s   1GB
Jan 09 00:05:25 Starting compiler/backend/x64/proofs
Jan 09 00:06:21 Finished compiler/backend/x64/proofs                             54s   1GB
Jan 09 00:06:23 Starting compiler/backend/arm6/proofs
Jan 09 00:07:24 Finished compiler/backend/arm6/proofs                            58s   1GB
Jan 09 00:07:25 Starting compiler/backend/arm8/proofs
Jan 09 00:08:20 Finished compiler/backend/arm8/proofs                            52s   1GB
Jan 09 00:08:22 Starting compiler/backend/mips/proofs
Jan 09 00:09:20 Finished compiler/backend/mips/proofs                            56s   1GB
Jan 09 00:09:22 Starting compiler/backend/riscv/proofs
Jan 09 00:10:18 Finished compiler/backend/riscv/proofs                           54s   1GB
Jan 09 00:10:20 Starting compiler/proofs
Jan 09 00:13:05 Finished compiler/proofs                                       2m42s   1GB
Jan 09 00:13:06 Starting candle/set-theory
Jan 09 00:14:53 Finished candle/set-theory                                     1m45s 596MB
Jan 09 00:14:55 Starting candle/syntax-lib
Jan 09 00:15:18 Finished candle/syntax-lib                                       20s 496MB
Jan 09 00:15:20 Starting candle/standard/syntax
Jan 09 00:18:27 Finished candle/standard/syntax                                3m05s 517MB
Jan 09 00:18:29 Starting candle/standard/semantics
Jan 09 00:20:57 Finished candle/standard/semantics                             2m26s 730MB
Jan 09 00:20:59 Starting candle/standard/monadic
Jan 09 00:23:49 Finished candle/standard/monadic                               2m48s 814MB
Jan 09 00:23:51 Starting candle/standard/ml_kernel
Jan 09 00:35:27 Finished candle/standard/ml_kernel                            11m33s   2GB
Jan 09 00:35:29 Starting candle/standard/opentheory
Jan 09 00:36:00 Finished candle/standard/opentheory                              29s 616MB
Jan 09 00:36:02 Starting characteristic/examples
Jan 09 00:38:24 Finished characteristic/examples                               2m19s   1GB
Jan 09 00:38:26 Starting tutorial/solutions
Jan 09 01:15:04 Finished tutorial/solutions                                   36m35s   6GB
Jan 09 01:15:06 Starting translator/monadic/examples
Jan 09 01:17:31 Finished translator/monadic/examples                           2m23s   1GB
Jan 09 01:17:33 Starting examples
Jan 09 01:25:26 Finished examples                                              7m51s   1GB
Jan 09 01:25:28 Starting examples/compilation
Jan 09 06:45:16 Finished examples/compilation                               5h19m46s  15GB
Jan 09 06:45:18 Starting examples/compilation/proofs
Jan 09 06:51:04 Finished examples/compilation/proofs                           5m43s   3GB
Jan 09 06:51:08 Starting compiler/benchmarks
Jan 09 06:51:10 Finished compiler/benchmarks                                      0s   4MB
Jan 09 06:51:11 Starting translator/okasaki-examples
Jan 09 06:58:52 Finished translator/okasaki-examples                           7m38s   1GB
Jan 09 06:58:54 Starting translator/other-examples
Jan 09 07:05:50 Finished translator/other-examples                             6m54s   1GB
Jan 09 07:05:52 Starting compiler/parsing/tests
Jan 09 07:06:34 Finished compiler/parsing/tests                                  40s 350MB
Jan 09 07:06:36 Starting compiler/bootstrap/translation
Jan 09 16:27:37 Finished compiler/bootstrap/translation                     9h20m58s  40GB
Jan 09 16:27:39 Starting compiler/bootstrap/compilation/x64/64
Jan 11 12:24:55 Resuming compiler/bootstrap/compilation/x64/64
Jan 11 15:56:21 Finished compiler/bootstrap/compilation/x64/64              3h31m23s  47GB
Jan 11 15:56:23 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 11 16:02:34 Finished compiler/bootstrap/compilation/x64/64/proofs          6m09s  21GB
Jan 11 16:02:36 Starting compiler/bootstrap/compilation/x64/32
Jan 12 15:49:19 Finished compiler/bootstrap/compilation/x64/32             23h46m41s  90GB
Jan 12 15:49:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 12 15:53:09 Finished compiler/bootstrap/compilation/x64/32/proofs          3m45s  26GB
Jan 12 15:53:11 SUCCESS