Job 349

CakeML:b289303609aa9526ba291ecba92f558f8f506000
  Replace polyc call with $(POLYC) [Jun 19 11:03:42]
HOL:44e64fac493a41e36108d47573784e57092f704e
  graph decompiler: handle errors more carefully [Jul 02 09:22:50]
Machine:cakeml1794 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 02 14:38:52 Claimed job
Jul 02 14:39:03 Building HOL
Jul 02 14:51:35 Starting developers/bin
Jul 02 14:51:45 Finished developers/bin                                           8s 224MB
Jul 02 14:51:47 Starting semantics/ffi
Jul 02 14:52:49 Finished semantics/ffi                                         1m00s 605MB
Jul 02 14:52:51 Starting semantics
Jul 02 14:55:17 Finished semantics                                             2m23s   1GB
Jul 02 14:55:19 Starting semantics/proofs
Jul 02 14:58:34 Finished semantics/proofs                                      3m13s   1GB
Jul 02 14:58:36 Starting basis/pure
Jul 02 15:04:18 Finished basis/pure                                            5m40s 770MB
Jul 02 15:04:20 Starting translator
Jul 02 15:11:04 Finished translator                                            6m41s   1GB
Jul 02 15:11:06 Starting compiler/parsing
Jul 02 15:13:17 Finished compiler/parsing                                      2m09s   3GB
Jul 02 15:13:19 Starting characteristic
Jul 02 15:17:44 Finished characteristic                                        4m22s   1GB
Jul 02 15:17:46 Starting basis
Jul 02 15:46:49 Finished basis                                                29m00s   2GB
Jul 02 15:46:51 Starting translator/monadic
Jul 02 15:46:55 Finished translator/monadic                                       2s  14MB
Jul 02 15:46:57 Starting compiler/inference
Jul 02 15:49:36 Finished compiler/inference                                    2m37s   1GB
Jul 02 15:49:38 Starting compiler/backend/reg_alloc
Jul 02 15:50:36 Finished compiler/backend/reg_alloc                              55s   1GB
Jul 02 15:50:38 Starting compiler/backend/gc
Jul 02 16:05:39 Finished compiler/backend/gc                                  14m59s   3GB
Jul 02 16:05:41 Starting compiler/backend
Jul 02 16:05:47 Finished compiler/backend                                         3s  13MB
Jul 02 16:05:49 Starting compiler/encoders/asm
Jul 02 16:05:52 Finished compiler/encoders/asm                                    0s  11MB
Jul 02 16:06:00 Starting compiler/encoders/x64
Jul 02 16:07:29 Finished compiler/encoders/x64                                 1m26s 535MB
Jul 02 16:07:31 Starting compiler/encoders/arm6
Jul 02 16:10:31 Finished compiler/encoders/arm6                                2m57s   1GB
Jul 02 16:10:33 Starting compiler/encoders/arm8
Jul 02 16:11:17 Finished compiler/encoders/arm8                                  42s 380MB
Jul 02 16:11:19 Starting compiler/encoders/mips
Jul 02 16:12:55 Finished compiler/encoders/mips                                1m34s 684MB
Jul 02 16:12:57 Starting compiler/encoders/riscv
Jul 02 16:14:30 Finished compiler/encoders/riscv                               1m30s 633MB
Jul 02 16:14:32 Starting compiler/backend/x64
Jul 02 16:15:04 Finished compiler/backend/x64                                    29s 916MB
Jul 02 16:15:05 Starting compiler/backend/arm6
Jul 02 16:15:40 Finished compiler/backend/arm6                                   32s   1GB
Jul 02 16:15:42 Starting compiler/backend/arm8
Jul 02 16:16:16 Finished compiler/backend/arm8                                   32s   1GB
Jul 02 16:16:18 Starting compiler/backend/mips
Jul 02 16:16:56 Finished compiler/backend/mips                                   35s   1GB
Jul 02 16:16:58 Starting compiler/backend/riscv
Jul 02 16:17:32 Finished compiler/backend/riscv                                  31s   1GB
Jul 02 16:17:34 Starting compiler/parsing/proofs
Jul 02 16:21:40 Finished compiler/parsing/proofs                               4m04s 775MB
Jul 02 16:21:42 Starting compiler/inference/proofs
Jul 02 16:25:42 Finished compiler/inference/proofs                             3m57s   1GB
Jul 02 16:25:44 Starting compiler/backend/semantics
Jul 02 16:44:22 Finished compiler/backend/semantics                           18m36s   2GB
Jul 02 16:44:24 Starting compiler/backend/reg_alloc/proofs
Jul 02 16:45:48 Finished compiler/backend/reg_alloc/proofs                     1m21s 551MB
Jul 02 16:45:50 Starting compiler/backend/proofs
Jul 02 17:41:11 Finished compiler/backend/proofs                              55m18s   3GB
Jul 02 17:41:13 Starting compiler/encoders/x64/proofs
Jul 02 17:52:52 Finished compiler/encoders/x64/proofs                         11m36s   1GB
Jul 02 17:52:53 Starting compiler/encoders/arm6/proofs
Jul 02 18:05:06 Finished compiler/encoders/arm6/proofs                        12m10s   3GB
Jul 02 18:05:08 Starting compiler/encoders/arm8/proofs
Jul 02 18:13:30 Finished compiler/encoders/arm8/proofs                         8m20s   1GB
Jul 02 18:13:32 Starting compiler/encoders/mips/proofs
Jul 02 18:24:56 Finished compiler/encoders/mips/proofs                        11m22s   2GB
Jul 02 18:24:58 Starting compiler/encoders/riscv/proofs
Jul 02 18:37:35 Finished compiler/encoders/riscv/proofs                       12m34s 971MB
Jul 02 18:37:37 Starting compiler/backend/x64/proofs
Jul 02 18:38:14 Finished compiler/backend/x64/proofs                             34s   1GB
Jul 02 18:38:16 Starting compiler/backend/arm6/proofs
Jul 02 18:38:56 Finished compiler/backend/arm6/proofs                            38s   1GB
Jul 02 18:38:58 Starting compiler/backend/arm8/proofs
Jul 02 18:39:33 Finished compiler/backend/arm8/proofs                            33s   1GB
Jul 02 18:39:35 Starting compiler/backend/mips/proofs
Jul 02 18:40:12 Finished compiler/backend/mips/proofs                            34s   1GB
Jul 02 18:40:14 Starting compiler/backend/riscv/proofs
Jul 02 18:40:50 Finished compiler/backend/riscv/proofs                           34s   1GB
Jul 02 18:40:52 Starting compiler/proofs
Jul 02 18:43:15 Finished compiler/proofs                                       2m20s   2GB
Jul 02 18:43:17 Starting candle/set-theory
Jul 02 18:44:12 Finished candle/set-theory                                       53s 596MB
Jul 02 18:44:14 Starting candle/syntax-lib
Jul 02 18:44:33 Finished candle/syntax-lib                                       17s 554MB
Jul 02 18:44:35 Starting candle/standard/syntax
Jul 02 18:47:19 Finished candle/standard/syntax                                2m41s 621MB
Jul 02 18:47:21 Starting candle/standard/semantics
Jul 02 18:49:39 Finished candle/standard/semantics                             2m15s 991MB
Jul 02 18:49:41 Starting candle/standard/monadic
Jul 02 18:52:04 Finished candle/standard/monadic                               2m21s   1GB
Jul 02 18:52:06 Starting candle/standard/ml_kernel
Jul 02 19:02:32 Finished candle/standard/ml_kernel                            10m24s   2GB
Jul 02 19:02:34 Starting candle/standard/opentheory
Jul 02 19:03:01 Finished candle/standard/opentheory                              25s 613MB
Jul 02 19:03:03 Starting characteristic/examples
Jul 02 19:05:28 Finished characteristic/examples                               2m22s   1GB
Jul 02 19:05:30 Starting tutorial/solutions
Jul 02 19:40:09 Finished tutorial/solutions                                   34m36s  10GB
Jul 02 19:40:11 Starting translator/monadic/examples
Jul 02 19:43:08 Finished translator/monadic/examples                           2m54s   2GB
Jul 02 19:43:10 Starting examples
Jul 02 19:51:22 Finished examples                                              8m09s   2GB
Jul 02 19:51:24 Starting examples/compilation
Jul 03 01:34:00 Finished examples/compilation                               5h42m33s  29GB
Jul 03 01:34:02 Starting examples/compilation/proofs
Jul 03 01:39:29 Finished examples/compilation/proofs                           5m24s   5GB
Jul 03 01:39:31 Starting compiler/benchmarks
Jul 03 01:39:33 Finished compiler/benchmarks                                      0s   4MB
Jul 03 01:39:35 Starting translator/okasaki-examples
Jul 03 01:46:12 Finished translator/okasaki-examples                           6m34s   1GB
Jul 03 01:46:14 Starting translator/other-examples
Jul 03 01:52:54 Finished translator/other-examples                             6m37s   1GB
Jul 03 01:52:56 Starting compiler/parsing/tests
Jul 03 01:53:38 Finished compiler/parsing/tests                                  40s 367MB
Jul 03 01:53:40 Starting compiler/bootstrap/translation
Jul 03 10:03:30 Finished compiler/bootstrap/translation                     8h09m48s  34GB
Jul 03 10:03:32 Starting unverified/sexpr-bootstrap/x64/64
Jul 03 10:14:49 Finished unverified/sexpr-bootstrap/x64/64                    11m08s  15GB
Jul 03 10:14:51 Starting unverified/sexpr-bootstrap/x64/32
Jul 03 10:23:51 Finished unverified/sexpr-bootstrap/x64/32                     8m53s  15GB
Jul 03 10:23:53 Starting compiler/bootstrap/compilation/x64/64
Jul 04 14:59:33 Finished compiler/bootstrap/compilation/x64/64             28h35m33s  95GB
Jul 04 14:59:35 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 04 15:06:04 Finished compiler/bootstrap/compilation/x64/64/proofs          6m26s  26GB
Jul 04 15:06:06 Starting compiler/bootstrap/compilation/x64/32
Jul 05 16:00:07 Finished compiler/bootstrap/compilation/x64/32             24h53m54s  88GB
Jul 05 16:00:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 05 16:03:58 Finished compiler/bootstrap/compilation/x64/32/proofs          3m46s  31GB
Jul 05 16:04:00 SUCCESS