Job 1175

CakeML:8b42180a7ba8a82822ad811b418d4a6b78c2fd18
  Avoid fixity 470 [Feb 06 12:13:17]
HOL:2ab28aee333f79a324fa8db4805e5882e4b841e2
  Use polyscripter more in Core Theories section of DESCRIPTION [Feb 01 05:37:03]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Feb 06 12:47:18 Claimed job
Feb 06 12:48:44 Building HOL
Feb 06 13:00:15 Starting developers
Feb 06 13:00:20 Finished developers                                               4s  91MB
Feb 06 13:00:20 Starting developers/bin
Feb 06 13:01:57 Finished developers/bin                                        1m36s   1GB
Feb 06 13:01:57 Starting semantics/ffi
Feb 06 13:02:08 Finished semantics/ffi                                           10s 223MB
Feb 06 13:02:08 Starting semantics
Feb 06 13:07:07 Finished semantics                                             4m59s   1GB
Feb 06 13:07:08 Starting semantics/proofs
Feb 06 13:23:32 Finished semantics/proofs                                     16m24s 903MB
Feb 06 13:23:32 Starting semantics/alt_semantics
Feb 06 13:23:40 Finished semantics/alt_semantics                                  8s 313MB
Feb 06 13:23:41 Starting semantics/alt_semantics/proofs
Feb 06 13:31:21 Finished semantics/alt_semantics/proofs                        7m40s 829MB
Feb 06 13:31:21 Starting basis/pure
Feb 06 13:34:28 Finished basis/pure                                            3m06s 713MB
Feb 06 13:34:28 Starting translator
Feb 06 13:47:39 Finished translator                                           13m10s   1GB
Feb 06 13:47:39 Starting compiler/parsing
Feb 06 13:50:25 Finished compiler/parsing                                      2m45s   2GB
Feb 06 13:50:25 Starting characteristic
Feb 06 14:09:42 Finished characteristic                                       19m17s   2GB
Feb 06 14:09:43 Starting translator/monadic
Feb 06 14:11:52 Finished translator/monadic                                    2m09s   1GB
Feb 06 14:11:52 Starting basis
Feb 06 14:48:08 Finished basis                                                36m15s  10GB
Feb 06 14:48:08 Starting compiler/inference
Feb 06 14:52:03 Finished compiler/inference                                    3m54s   2GB
Feb 06 14:52:03 Starting compiler/backend/reg_alloc
Feb 06 14:53:06 Finished compiler/backend/reg_alloc                            1m02s   1GB
Feb 06 14:53:06 Starting compiler/backend/gc
Feb 06 14:57:31 Finished compiler/backend/gc                                   4m25s   2GB
Feb 06 14:57:32 Starting compiler/backend
Feb 06 15:04:41 Finished compiler/backend                                      7m07s   4GB
Feb 06 15:04:41 Starting compiler/encoders/asm
Feb 06 15:05:03 Finished compiler/encoders/asm                                   21s 848MB
Feb 06 15:05:03 Starting compiler/encoders/x64
Feb 06 15:06:20 Finished compiler/encoders/x64                                 1m16s 960MB
Feb 06 15:06:21 Starting compiler/encoders/arm7
Feb 06 15:08:16 Finished compiler/encoders/arm7                                1m55s   1GB
Feb 06 15:08:16 Starting compiler/encoders/arm8
Feb 06 15:08:51 Finished compiler/encoders/arm8                                  34s 854MB
Feb 06 15:08:51 Starting compiler/encoders/mips
Feb 06 15:10:29 Finished compiler/encoders/mips                                1m37s   1GB
Feb 06 15:10:29 Starting compiler/encoders/riscv
Feb 06 15:12:01 Finished compiler/encoders/riscv                               1m31s   1GB
Feb 06 15:12:01 Starting compiler/encoders/ag32
Feb 06 15:12:19 Finished compiler/encoders/ag32                                  17s 738MB
Feb 06 15:12:19 Starting compiler/backend/x64
Feb 06 15:12:37 Finished compiler/backend/x64                                    18s   1GB
Feb 06 15:12:38 Starting compiler/backend/arm7
Feb 06 15:12:58 Finished compiler/backend/arm7                                   20s   1GB
Feb 06 15:12:58 Starting compiler/backend/arm8
Feb 06 15:13:17 Finished compiler/backend/arm8                                   18s   1GB
Feb 06 15:13:17 Starting compiler/backend/mips
Feb 06 15:13:35 Finished compiler/backend/mips                                   18s   1GB
Feb 06 15:13:36 Starting compiler/backend/riscv
Feb 06 15:13:55 Finished compiler/backend/riscv                                  19s   1GB
Feb 06 15:13:55 Starting compiler/backend/ag32
Feb 06 15:15:17 Finished compiler/backend/ag32                                 1m21s   1GB
Feb 06 15:15:17 Starting compiler/parsing/proofs
Feb 06 15:21:22 Finished compiler/parsing/proofs                               6m04s   1GB
Feb 06 15:21:22 Starting compiler/inference/proofs
Feb 06 15:25:26 Finished compiler/inference/proofs                             4m04s   1GB
Feb 06 15:25:26 Starting compiler/backend/semantics
Feb 06 17:12:08 Finished compiler/backend/semantics                         1h46m41s   2GB
Feb 06 17:12:08 Starting compiler/backend/reg_alloc/proofs
Feb 06 17:16:18 Finished compiler/backend/reg_alloc/proofs                     4m09s 745MB
Feb 06 17:16:19 Starting compiler/backend/proofs
Feb 07 04:04:03 Finished compiler/backend/proofs                           10h47m44s  15GB
Feb 07 04:04:03 Starting compiler/encoders/x64/proofs
Feb 07 04:16:38 Finished compiler/encoders/x64/proofs                         12m34s   2GB
Feb 07 04:16:38 Starting compiler/encoders/arm7/proofs
Feb 07 04:31:49 Finished compiler/encoders/arm7/proofs                        15m10s   3GB
Feb 07 04:31:50 Starting compiler/encoders/arm8/proofs
Feb 07 04:39:26 Finished compiler/encoders/arm8/proofs                         7m36s   1GB
Feb 07 04:39:26 Starting compiler/encoders/mips/proofs
Feb 07 04:50:42 Finished compiler/encoders/mips/proofs                        11m15s   2GB
Feb 07 04:50:42 Starting compiler/encoders/riscv/proofs
Feb 07 05:00:55 Finished compiler/encoders/riscv/proofs                       10m13s   1GB
Feb 07 05:00:56 Starting compiler/encoders/ag32/proofs
Feb 07 05:03:50 Finished compiler/encoders/ag32/proofs                         2m53s 649MB
Feb 07 05:03:50 Starting compiler/backend/x64/proofs
Feb 07 05:04:11 Finished compiler/backend/x64/proofs                             21s   1GB
Feb 07 05:04:11 Starting compiler/backend/arm7/proofs
Feb 07 05:04:35 Finished compiler/backend/arm7/proofs                            23s 889MB
Feb 07 05:04:35 Starting compiler/backend/arm8/proofs
Feb 07 05:04:55 Finished compiler/backend/arm8/proofs                            19s   1GB
Feb 07 05:04:55 Starting compiler/backend/mips/proofs
Feb 07 05:05:17 Finished compiler/backend/mips/proofs                            21s   1GB
Feb 07 05:05:17 Starting compiler/backend/riscv/proofs
Feb 07 05:05:37 Finished compiler/backend/riscv/proofs                           20s   1GB
Feb 07 05:05:38 Starting compiler/backend/ag32/proofs
Feb 07 05:22:03 Finished compiler/backend/ag32/proofs                         16m25s   2GB
Feb 07 05:22:03 Starting compiler/proofs
Feb 07 05:23:54 Finished compiler/proofs                                       1m50s   2GB
Feb 07 05:23:55 Starting candle/set-theory
Feb 07 05:24:23 Finished candle/set-theory                                       28s 683MB
Feb 07 05:24:24 Starting candle/syntax-lib
Feb 07 05:24:34 Finished candle/syntax-lib                                       10s 619MB
Feb 07 05:24:34 Starting candle/standard/syntax
Feb 07 05:26:26 Finished candle/standard/syntax                                1m51s 932MB
Feb 07 05:26:26 Starting candle/standard/semantics
Feb 07 05:28:10 Finished candle/standard/semantics                             1m42s   1GB
Feb 07 05:28:10 Starting candle/standard/monadic
Feb 07 05:30:55 Finished candle/standard/monadic                               2m44s   1GB
Feb 07 05:30:55 Starting candle/standard/ml_kernel
Feb 07 05:47:16 Finished candle/standard/ml_kernel                            16m20s   3GB
Feb 07 05:47:16 Starting candle/standard/opentheory
Feb 07 05:59:36 Finished candle/standard/opentheory                           12m19s   4GB
Feb 07 05:59:37 Starting candle/standard/opentheory/compilation
Feb 07 06:34:43 Finished candle/standard/opentheory/compilation               35m04s  16GB
Feb 07 06:34:43 Starting candle/standard/opentheory/compilation/proofs
Feb 07 06:35:25 Finished candle/standard/opentheory/compilation/proofs           41s   3GB
Feb 07 06:35:25 Starting characteristic/examples
Feb 07 06:36:59 Finished characteristic/examples                               1m33s   2GB
Feb 07 06:36:59 Starting tutorial/solutions
Feb 07 06:53:03 Finished tutorial/solutions                                   16m03s   7GB
Feb 07 06:53:03 Starting translator/monadic/examples
Feb 07 06:56:38 Finished translator/monadic/examples                           3m34s   2GB
Feb 07 06:56:39 Starting examples
Feb 07 07:06:43 Finished examples                                             10m04s   4GB
Feb 07 07:06:43 Starting examples/compilation/x64
Feb 07 09:38:21 Finished examples/compilation/x64                           2h31m38s  16GB
Feb 07 09:38:22 Starting examples/compilation/x64/proofs
Feb 07 09:40:07 Finished examples/compilation/x64/proofs                       1m44s   3GB
Feb 07 09:40:07 Starting examples/compilation/ag32
Feb 07 10:14:22 Finished examples/compilation/ag32                            34m14s   6GB
Feb 07 10:14:22 Starting examples/compilation/ag32/proofs
Feb 07 10:15:37 Finished examples/compilation/ag32/proofs                      1m14s   3GB
Feb 07 10:15:37 Starting examples/cost
Feb 07 11:01:46 Finished examples/cost                                        46m07s   8GB
Feb 07 11:01:46 Starting examples/lpr_checker
Feb 07 11:05:51 Finished examples/lpr_checker                                  4m04s   3GB
Feb 07 11:05:51 Starting examples/lpr_checker/compilation
Feb 07 11:24:53 Finished examples/lpr_checker/compilation                     19m01s   9GB
Feb 07 11:24:53 Starting examples/lpr_checker/compilation/proofs
Feb 07 11:25:32 Finished examples/lpr_checker/compilation/proofs                 38s   3GB
Feb 07 11:25:32 Starting examples/lpr_checker/array
Feb 07 11:36:29 Finished examples/lpr_checker/array                           10m56s   3GB
Feb 07 11:36:29 Starting examples/lpr_checker/array/compilation
Feb 07 11:53:32 Finished examples/lpr_checker/array/compilation               17m01s   7GB
Feb 07 11:53:32 Starting examples/lpr_checker/array/compilation/proofs
Feb 07 11:56:16 Finished examples/lpr_checker/array/compilation/proofs         2m44s   6GB
Feb 07 11:56:17 Starting translator/okasaki-examples
Feb 07 12:03:06 Finished translator/okasaki-examples                           6m49s   1GB
Feb 07 12:03:07 Starting translator/other-examples
Feb 07 12:05:06 Finished translator/other-examples                             1m58s   1GB
Feb 07 12:05:06 Starting compiler/parsing/tests
Feb 07 12:05:33 Finished compiler/parsing/tests                                  26s 539MB
Feb 07 12:05:33 Starting compiler/inference/tests
Feb 07 12:10:07 Finished compiler/inference/tests                              4m34s   3GB
Feb 07 12:10:08 Starting compiler/bootstrap/translation
Feb 08 00:11:32 Finished compiler/bootstrap/translation                    12h01m24s  36GB
Feb 08 00:11:33 Starting unverified/sexpr-bootstrap/x64/64
Feb 08 00:26:01 Finished unverified/sexpr-bootstrap/x64/64                    14m27s   6GB
Feb 08 00:26:01 Starting unverified/sexpr-bootstrap/x64/32
Feb 08 00:36:20 Finished unverified/sexpr-bootstrap/x64/32                    10m17s   9GB
Feb 08 00:36:20 Starting compiler/benchmarks
Feb 08 00:36:22 Finished compiler/benchmarks                                      2s  23MB
Feb 08 00:36:22 Starting compiler/bootstrap/compilation/x64/64
Feb 08 18:13:08 Finished compiler/bootstrap/compilation/x64/64             17h36m44s  64GB
Feb 08 18:13:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 08 18:16:58 Finished compiler/bootstrap/compilation/x64/64/proofs          3m49s  15GB
Feb 08 18:16:58 Starting compiler/bootstrap/compilation/x64/32
Feb 09 08:28:35 Finished compiler/bootstrap/compilation/x64/32             14h11m35s  64GB
Feb 09 08:28:35 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 09 08:32:11 Finished compiler/bootstrap/compilation/x64/32/proofs          3m35s  14GB
Feb 09 08:32:11 Starting compiler/bootstrap/compilation/ag32/32
Feb 10 00:48:06 Finished compiler/bootstrap/compilation/ag32/32            16h15m54s  64GB
Feb 10 00:48:06 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 10 02:09:03 Finished compiler/bootstrap/compilation/ag32/32/proofs      1h20m56s  26GB
Feb 10 02:09:03 SUCCESS