Job 121

CakeML:bb966c77de6f6d2e179f0fecdd9a1ea2bb29cd56
  Fix mistake: picked the wrong .c [Dec 30 09:02:12]
#419 (let-auto-cleanup)
Merging into:a692589cfdbf9f75c96c4e6b7f6dd3f91d81b4b3
  Remove @plt annotation from export_x64 [Dec 30 00:38:47]
HOL:77938cb56744555a6873fae967b2bf6da161bafd
  Fix p/printing bug where restriction variables were shown as bound [Dec 29 08:06:15]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Dec 30 09:06:56 Claimed job
Dec 30 09:07:06 Building HOL
Dec 30 09:20:00 Starting semantics/ffi
Dec 30 09:21:13 Finished semantics/ffi                                         1m10s 423MB
Dec 30 09:21:15 Starting semantics
Dec 30 09:23:58 Finished semantics                                             2m41s 912MB
Dec 30 09:24:00 Starting semantics/proofs
Dec 30 09:27:44 Finished semantics/proofs                                      3m41s   1GB
Dec 30 09:27:46 Starting basis/pure
Dec 30 09:33:56 Finished basis/pure                                            6m08s 640MB
Dec 30 09:33:58 Starting translator
Dec 30 09:41:22 Finished translator                                            7m22s 954MB
Dec 30 09:41:24 Starting compiler/parsing
Dec 30 09:43:55 Finished compiler/parsing                                      2m29s   1GB
Dec 30 09:43:57 Starting characteristic
Dec 30 09:48:54 Finished characteristic                                        4m54s   1GB
Dec 30 09:48:56 Starting basis
Dec 30 10:17:25 Finished basis                                                28m27s   2GB
Dec 30 10:17:27 Starting translator/monadic
Dec 30 10:21:01 Finished translator/monadic                                    3m31s   1GB
Dec 30 10:21:03 Starting compiler/inference
Dec 30 10:24:01 Finished compiler/inference                                    2m56s   1GB
Dec 30 10:24:03 Starting compiler/backend/reg_alloc
Dec 30 10:24:55 Finished compiler/backend/reg_alloc                              50s 783MB
Dec 30 10:24:57 Starting compiler/backend/gc
Dec 30 10:41:43 Finished compiler/backend/gc                                  16m43s   2GB
Dec 30 10:41:45 Starting compiler/backend
Dec 30 10:41:49 Finished compiler/backend                                         1s  14MB
Dec 30 10:41:50 Starting compiler/encoders/asm
Dec 30 10:41:53 Finished compiler/encoders/asm                                    0s  28MB
Dec 30 10:41:55 Starting compiler/encoders/x64
Dec 30 10:43:34 Finished compiler/encoders/x64                                 1m37s 465MB
Dec 30 10:43:36 Starting compiler/encoders/arm6
Dec 30 10:46:45 Finished compiler/encoders/arm6                                3m07s   1GB
Dec 30 10:46:47 Starting compiler/encoders/arm8
Dec 30 10:47:38 Finished compiler/encoders/arm8                                  48s 407MB
Dec 30 10:47:40 Starting compiler/encoders/mips
Dec 30 10:49:09 Finished compiler/encoders/mips                                1m27s 686MB
Dec 30 10:49:11 Starting compiler/encoders/riscv
Dec 30 10:50:46 Finished compiler/encoders/riscv                               1m33s 468MB
Dec 30 10:50:48 Starting compiler/backend/x64
Dec 30 10:51:32 Finished compiler/backend/x64                                    41s   1GB
Dec 30 10:51:34 Starting compiler/backend/arm6
Dec 30 10:52:21 Finished compiler/backend/arm6                                   45s   1GB
Dec 30 10:52:23 Starting compiler/backend/arm8
Dec 30 10:53:10 Finished compiler/backend/arm8                                   44s   1GB
Dec 30 10:53:12 Starting compiler/backend/mips
Dec 30 10:53:57 Finished compiler/backend/mips                                   43s   1GB
Dec 30 10:53:59 Starting compiler/backend/riscv
Dec 30 10:54:44 Finished compiler/backend/riscv                                  43s 867MB
Dec 30 10:54:46 Starting compiler/parsing/proofs
Dec 30 10:59:29 Finished compiler/parsing/proofs                               4m41s 823MB
Dec 30 10:59:31 Starting compiler/inference/proofs
Dec 30 11:03:59 Finished compiler/inference/proofs                             4m25s   1GB
Dec 30 11:04:01 Starting compiler/backend/semantics
Dec 30 11:23:46 Finished compiler/backend/semantics                           19m43s   2GB
Dec 30 11:23:48 Starting compiler/backend/reg_alloc/proofs
Dec 30 11:25:06 Finished compiler/backend/reg_alloc/proofs                     1m15s 343MB
Dec 30 11:25:08 Starting compiler/backend/proofs
Dec 30 12:37:36 Finished compiler/backend/proofs                            1h12m26s   5GB
Dec 30 12:37:38 Starting compiler/encoders/x64/proofs
Dec 30 12:50:29 Finished compiler/encoders/x64/proofs                         12m49s   1GB
Dec 30 12:50:31 Starting compiler/encoders/arm6/proofs
Dec 30 13:04:35 Finished compiler/encoders/arm6/proofs                        14m02s   2GB
Dec 30 13:04:37 Starting compiler/encoders/arm8/proofs
Dec 30 13:14:14 Finished compiler/encoders/arm8/proofs                         9m35s   1GB
Dec 30 13:14:16 Starting compiler/encoders/mips/proofs
Dec 30 13:28:02 Finished compiler/encoders/mips/proofs                        13m44s   1GB
Dec 30 13:28:04 Starting compiler/encoders/riscv/proofs
Dec 30 13:42:21 Finished compiler/encoders/riscv/proofs                       14m14s 977MB
Dec 30 13:42:23 Starting compiler/backend/x64/proofs
Dec 30 13:43:18 Finished compiler/backend/x64/proofs                             53s   1GB
Dec 30 13:43:20 Starting compiler/backend/arm6/proofs
Dec 30 13:44:22 Finished compiler/backend/arm6/proofs                            59s   1GB
Dec 30 13:44:24 Starting compiler/backend/arm8/proofs
Dec 30 13:45:18 Finished compiler/backend/arm8/proofs                            52s   1GB
Dec 30 13:45:20 Starting compiler/backend/mips/proofs
Dec 30 13:46:17 Finished compiler/backend/mips/proofs                            54s   1GB
Dec 30 13:46:19 Starting compiler/backend/riscv/proofs
Dec 30 13:47:14 Finished compiler/backend/riscv/proofs                           53s   1GB
Dec 30 13:47:16 Starting compiler/proofs
Dec 30 13:49:54 Finished compiler/proofs                                       2m36s   1GB
Dec 30 13:49:56 Starting candle/set-theory
Dec 30 13:51:44 Finished candle/set-theory                                     1m44s 574MB
Dec 30 13:51:46 Starting candle/syntax-lib
Dec 30 13:52:07 Finished candle/syntax-lib                                       19s 489MB
Dec 30 13:52:09 Starting candle/standard/syntax
Dec 30 13:55:11 Finished candle/standard/syntax                                2m59s 629MB
Dec 30 13:55:13 Starting candle/standard/semantics
Dec 30 13:57:43 Finished candle/standard/semantics                             2m27s 823MB
Dec 30 13:57:45 Starting candle/standard/monadic
Dec 30 14:00:33 Finished candle/standard/monadic                               2m46s   1GB
Dec 30 14:00:35 Starting candle/standard/ml_kernel
Dec 30 14:12:22 Finished candle/standard/ml_kernel                            11m44s   2GB
Dec 30 14:12:24 Starting candle/standard/opentheory
Dec 30 14:12:56 Finished candle/standard/opentheory                              30s 618MB
Dec 30 14:12:58 Starting characteristic/examples
Dec 30 14:15:24 Finished characteristic/examples                               2m23s   1GB
Dec 30 14:15:26 Starting tutorial/solutions
Dec 30 14:48:46 Finished tutorial/solutions                                   33m19s  10GB
Dec 30 14:48:48 Starting examples
Dec 30 14:56:36 Finished examples                                              7m45s   2GB
Dec 30 14:56:38 Starting examples/compilation
Dec 30 19:43:06 Finished examples/compilation                               4h46m25s  12GB
Dec 30 19:43:08 Starting examples/compilation/proofs
Dec 30 19:48:54 Finished examples/compilation/proofs                           5m44s   3GB
Dec 30 19:48:56 Starting compiler/benchmarks
Dec 30 19:48:58 Finished compiler/benchmarks                                      0s   4MB
Dec 30 19:49:00 Starting translator/okasaki-examples
Dec 30 19:56:35 Finished translator/okasaki-examples                           7m33s   1GB
Dec 30 19:56:37 Starting translator/other-examples
Dec 30 20:03:39 Finished translator/other-examples                             6m59s   1GB
Dec 30 20:03:41 Starting compiler/parsing/tests
Dec 30 20:04:23 Finished compiler/parsing/tests                                  39s 341MB
Dec 30 20:04:25 Starting compiler/bootstrap/translation
Dec 31 04:40:00 Finished compiler/bootstrap/translation                     8h35m32s  41GB
Dec 31 04:40:02 Starting compiler/bootstrap/compilation/x64/64
Jan 01 05:00:48 Finished compiler/bootstrap/compilation/x64/64             24h20m43s  89GB
Jan 01 05:00:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 01 05:04:08 Finished compiler/bootstrap/compilation/x64/64/proofs          3m16s  21GB
Jan 01 05:04:10 Starting compiler/bootstrap/compilation/x64/32
Jan 02 06:42:07 Finished compiler/bootstrap/compilation/x64/32             25h37m54s  90GB
Jan 02 06:42:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 02 06:45:26 Finished compiler/bootstrap/compilation/x64/32/proofs          3m15s  24GB
Jan 02 06:45:28 SUCCESS