Job 375

CakeML:b33717e6844a56fad2e249cb1f2787e006735c3d
  fix duplicate rule name [Jul 21 23:15:57]
HOL:741148f614f5435da2a53e84dedd0c7a5e33d6d4
  Merge pull request #565 from AndreasLoow/holkernel-sort_vars-doc [Jul 21 09:28:01]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jul 22 01:37:29 Claimed job
Jul 22 01:37:39 Building HOL
Jul 22 01:49:52 Starting developers/bin
Jul 22 01:50:03 Finished developers/bin                                           8s 224MB
Jul 22 01:50:05 Starting semantics/ffi
Jul 22 01:51:05 Finished semantics/ffi                                           58s 355MB
Jul 22 01:51:07 Starting semantics
Jul 22 01:53:27 Finished semantics                                             2m18s   1GB
Jul 22 01:53:30 Starting semantics/proofs
Jul 22 01:56:45 Finished semantics/proofs                                      3m13s   1GB
Jul 22 01:56:47 Starting basis/pure
Jul 22 02:02:31 Finished basis/pure                                            5m41s 766MB
Jul 22 02:02:33 Starting translator
Jul 22 02:09:11 Finished translator                                            6m35s 989MB
Jul 22 02:09:13 Starting compiler/parsing
Jul 22 02:11:25 Finished compiler/parsing                                      2m09s   2GB
Jul 22 02:11:27 Starting characteristic
Jul 22 02:15:52 Finished characteristic                                        4m23s   1GB
Jul 22 02:15:54 Starting basis
Jul 22 02:44:41 Finished basis                                                28m45s   2GB
Jul 22 02:44:43 Starting translator/monadic
Jul 22 02:44:47 Finished translator/monadic                                       2s  13MB
Jul 22 02:44:49 Starting compiler/inference
Jul 22 02:47:27 Finished compiler/inference                                    2m36s   1GB
Jul 22 02:47:29 Starting compiler/backend/reg_alloc
Jul 22 02:48:26 Finished compiler/backend/reg_alloc                              54s   1GB
Jul 22 02:48:28 Starting compiler/backend/gc
Jul 22 03:03:15 Finished compiler/backend/gc                                  14m45s   3GB
Jul 22 03:03:17 Starting compiler/backend
Jul 22 03:03:23 Finished compiler/backend                                         3s  16MB
Jul 22 03:03:25 Starting compiler/encoders/asm
Jul 22 03:03:27 Finished compiler/encoders/asm                                    0s  11MB
Jul 22 03:03:29 Starting compiler/encoders/x64
Jul 22 03:04:56 Finished compiler/encoders/x64                                 1m24s 506MB
Jul 22 03:04:58 Starting compiler/encoders/arm6
Jul 22 03:08:00 Finished compiler/encoders/arm6                                3m00s   1GB
Jul 22 03:08:02 Starting compiler/encoders/arm8
Jul 22 03:08:47 Finished compiler/encoders/arm8                                  42s 374MB
Jul 22 03:08:49 Starting compiler/encoders/mips
Jul 22 03:10:23 Finished compiler/encoders/mips                                1m32s 742MB
Jul 22 03:10:25 Starting compiler/encoders/riscv
Jul 22 03:12:00 Finished compiler/encoders/riscv                               1m32s 646MB
Jul 22 03:12:02 Starting compiler/backend/x64
Jul 22 03:12:35 Finished compiler/backend/x64                                    31s   1GB
Jul 22 03:12:37 Starting compiler/backend/arm6
Jul 22 03:13:14 Finished compiler/backend/arm6                                   35s   1GB
Jul 22 03:13:16 Starting compiler/backend/arm8
Jul 22 03:13:51 Finished compiler/backend/arm8                                   32s 954MB
Jul 22 03:13:53 Starting compiler/backend/mips
Jul 22 03:14:27 Finished compiler/backend/mips                                   31s   1GB
Jul 22 03:14:29 Starting compiler/backend/riscv
Jul 22 03:15:04 Finished compiler/backend/riscv                                  32s   1GB
Jul 22 03:15:06 Starting compiler/parsing/proofs
Jul 22 03:19:09 Finished compiler/parsing/proofs                               4m01s 760MB
Jul 22 03:19:11 Starting compiler/inference/proofs
Jul 22 03:23:08 Finished compiler/inference/proofs                             3m54s   1GB
Jul 22 03:23:10 Starting compiler/backend/semantics
Jul 22 03:37:12 Finished compiler/backend/semantics                           14m00s   2GB
Jul 22 03:37:14 Starting compiler/backend/reg_alloc/proofs
Jul 22 03:38:38 Finished compiler/backend/reg_alloc/proofs                     1m21s 653MB
Jul 22 03:38:40 Starting compiler/backend/proofs
Jul 22 04:34:58 Finished compiler/backend/proofs                              56m15s   3GB
Jul 22 04:35:00 Starting compiler/encoders/x64/proofs
Jul 22 04:46:35 Finished compiler/encoders/x64/proofs                         11m33s   1GB
Jul 22 04:46:37 Starting compiler/encoders/arm6/proofs
Jul 22 04:58:27 Finished compiler/encoders/arm6/proofs                        11m47s   2GB
Jul 22 04:58:29 Starting compiler/encoders/arm8/proofs
Jul 22 05:06:53 Finished compiler/encoders/arm8/proofs                         8m22s   1GB
Jul 22 05:06:55 Starting compiler/encoders/mips/proofs
Jul 22 05:18:48 Finished compiler/encoders/mips/proofs                        11m51s   1GB
Jul 22 05:18:50 Starting compiler/encoders/riscv/proofs
Jul 22 05:31:15 Finished compiler/encoders/riscv/proofs                       12m22s   1GB
Jul 22 05:31:17 Starting compiler/backend/x64/proofs
Jul 22 05:31:54 Finished compiler/backend/x64/proofs                             35s   1GB
Jul 22 05:31:56 Starting compiler/backend/arm6/proofs
Jul 22 05:32:35 Finished compiler/backend/arm6/proofs                            36s   1GB
Jul 22 05:32:37 Starting compiler/backend/arm8/proofs
Jul 22 05:33:13 Finished compiler/backend/arm8/proofs                            34s   1GB
Jul 22 05:33:15 Starting compiler/backend/mips/proofs
Jul 22 05:33:52 Finished compiler/backend/mips/proofs                            34s   1GB
Jul 22 05:33:54 Starting compiler/backend/riscv/proofs
Jul 22 05:34:31 Finished compiler/backend/riscv/proofs                           35s   1GB
Jul 22 05:34:33 Starting compiler/proofs
Jul 22 05:36:56 Finished compiler/proofs                                       2m20s   2GB
Jul 22 05:36:58 Starting candle/set-theory
Jul 22 05:37:53 Finished candle/set-theory                                       53s 574MB
Jul 22 05:37:55 Starting candle/syntax-lib
Jul 22 05:38:14 Finished candle/syntax-lib                                       16s 593MB
Jul 22 05:38:16 Starting candle/standard/syntax
Jul 22 05:41:01 Finished candle/standard/syntax                                2m43s 607MB
Jul 22 05:41:03 Starting candle/standard/semantics
Jul 22 05:43:21 Finished candle/standard/semantics                             2m15s 909MB
Jul 22 05:43:23 Starting candle/standard/monadic
Jul 22 05:45:51 Finished candle/standard/monadic                               2m26s 881MB
Jul 22 05:45:53 Starting candle/standard/ml_kernel
Jul 22 05:56:21 Finished candle/standard/ml_kernel                            10m25s   2GB
Jul 22 05:56:23 Starting candle/standard/opentheory
Jul 22 05:56:50 Finished candle/standard/opentheory                              25s 574MB
Jul 22 05:56:52 Starting characteristic/examples
Jul 22 05:59:17 Finished characteristic/examples                               2m23s   1GB
Jul 22 05:59:19 Starting tutorial/solutions
Jul 22 06:34:29 Finished tutorial/solutions                                   35m07s  11GB
Jul 22 06:34:31 Starting translator/monadic/examples
Jul 22 06:37:28 Finished translator/monadic/examples                           2m54s   2GB
Jul 22 06:37:30 Starting examples
Jul 22 06:45:39 Finished examples                                              8m06s   2GB
Jul 22 06:45:41 Starting examples/compilation
Jul 22 12:35:01 Finished examples/compilation                               5h49m17s  18GB
Jul 22 12:35:03 Starting examples/compilation/proofs
Jul 22 12:40:31 Finished examples/compilation/proofs                           5m25s   5GB
Jul 22 12:40:33 Starting compiler/benchmarks
Jul 22 12:40:35 Finished compiler/benchmarks                                      0s   4MB
Jul 22 12:40:37 Starting translator/okasaki-examples
Jul 22 12:47:17 Finished translator/okasaki-examples                           6m38s   1GB
Jul 22 12:47:19 Starting translator/other-examples
Jul 22 12:53:51 Finished translator/other-examples                             6m29s   1GB
Jul 22 12:53:53 Starting compiler/parsing/tests
Jul 22 12:54:34 Finished compiler/parsing/tests                                  39s 333MB
Jul 22 12:54:36 Starting compiler/bootstrap/translation
Jul 22 21:03:24 Finished compiler/bootstrap/translation                     8h08m45s  54GB
Jul 22 21:03:26 Starting unverified/sexpr-bootstrap/x64/64
Jul 22 21:14:51 Finished unverified/sexpr-bootstrap/x64/64                    11m17s  15GB
Jul 22 21:14:52 Starting unverified/sexpr-bootstrap/x64/32
Jul 22 21:24:11 Finished unverified/sexpr-bootstrap/x64/32                     9m11s  13GB
Jul 22 21:24:13 Starting compiler/bootstrap/compilation/x64/64
Jul 24 01:07:56 Finished compiler/bootstrap/compilation/x64/64             27h43m35s  94GB
Jul 24 01:07:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 24 01:14:12 Finished compiler/bootstrap/compilation/x64/64/proofs          6m11s  26GB
Jul 24 01:14:14 Starting compiler/bootstrap/compilation/x64/32
Jul 25 00:27:52 Finished compiler/bootstrap/compilation/x64/32             23h13m29s  89GB
Jul 25 00:27:54 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 25 00:31:37 Finished compiler/bootstrap/compilation/x64/32/proofs          3m41s  36GB
Jul 25 00:31:39 SUCCESS