Job 1487

CakeML:44575ea9dac6517179c792b65034838fc3eb14a0
  Empty the constructor/module id tables on reset [Mar 08 14:10:55]
#817 (reset_translation-fix)
Merging into:d799d23caefc9c1971792072350c9dd7c1779c53
  Update COPYING [Mar 02 09:44:55]
HOL:1c50f5b972ceeb26290c4ad13cfd5af3b67b0e02
  Explicitly mention minisat as tool we don't claim COPYRIGHT on [Mar 03 03:51:05]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 08 17:25:20 Claimed job
Mar 08 17:25:24 Reusing HOL
Mar 08 17:26:11 Starting developers
Mar 08 17:26:15 Finished developers                                               4s 118MB
Mar 08 17:26:16 Starting developers/bin
Mar 08 17:26:23 Finished developers/bin                                           6s   1GB
Mar 08 17:26:23 Starting semantics/ffi
Mar 08 17:26:34 Finished semantics/ffi                                           11s 218MB
Mar 08 17:26:34 Starting semantics
Mar 08 17:27:59 Finished semantics                                             1m24s   1GB
Mar 08 17:27:59 Starting semantics/proofs
Mar 08 17:31:33 Finished semantics/proofs                                      3m33s   1GB
Mar 08 17:31:33 Starting semantics/alt_semantics
Mar 08 17:31:43 Finished semantics/alt_semantics                                  9s 293MB
Mar 08 17:31:43 Starting semantics/alt_semantics/proofs
Mar 08 17:34:01 Finished semantics/alt_semantics/proofs                        2m17s 778MB
Mar 08 17:34:01 Starting basis/pure
Mar 08 17:34:53 Finished basis/pure                                              51s 730MB
Mar 08 17:34:53 Starting translator
Mar 08 17:37:38 Finished translator                                            2m45s   2GB
Mar 08 17:37:39 Starting compiler/parsing
Mar 08 17:38:52 Finished compiler/parsing                                      1m12s   2GB
Mar 08 17:38:52 Starting characteristic
Mar 08 17:45:04 Finished characteristic                                        6m12s   2GB
Mar 08 17:45:05 Starting translator/monadic
Mar 08 17:46:45 Finished translator/monadic                                    1m39s   1GB
Mar 08 17:46:45 Starting basis
Mar 08 18:33:20 Finished basis                                                46m34s  15GB
Mar 08 18:33:20 Starting compiler/inference
Mar 08 18:34:25 Finished compiler/inference                                    1m05s   1GB
Mar 08 18:34:25 Starting compiler/backend/reg_alloc
Mar 08 18:35:35 Finished compiler/backend/reg_alloc                            1m08s   1GB
Mar 08 18:35:35 Starting compiler/backend/gc
Mar 08 18:39:09 Finished compiler/backend/gc                                   3m34s   2GB
Mar 08 18:39:10 Starting compiler/backend
Mar 08 18:44:15 Finished compiler/backend                                      5m05s   3GB
Mar 08 18:44:15 Starting compiler/encoders/asm
Mar 08 18:44:38 Finished compiler/encoders/asm                                   22s 666MB
Mar 08 18:44:39 Starting compiler/encoders/x64
Mar 08 18:45:05 Finished compiler/encoders/x64                                   26s   1GB
Mar 08 18:45:05 Starting compiler/encoders/arm7
Mar 08 18:45:59 Finished compiler/encoders/arm7                                  53s 719MB
Mar 08 18:45:59 Starting compiler/encoders/arm8
Mar 08 18:46:12 Finished compiler/encoders/arm8                                  13s 957MB
Mar 08 18:46:12 Starting compiler/encoders/mips
Mar 08 18:46:31 Finished compiler/encoders/mips                                  18s   1GB
Mar 08 18:46:31 Starting compiler/encoders/riscv
Mar 08 18:46:46 Finished compiler/encoders/riscv                                 14s 820MB
Mar 08 18:46:47 Starting compiler/encoders/ag32
Mar 08 18:47:05 Finished compiler/encoders/ag32                                  18s 896MB
Mar 08 18:47:05 Starting compiler/backend/x64
Mar 08 18:47:24 Finished compiler/backend/x64                                    18s 979MB
Mar 08 18:47:24 Starting compiler/backend/arm7
Mar 08 18:47:45 Finished compiler/backend/arm7                                   21s   1GB
Mar 08 18:47:45 Starting compiler/backend/arm8
Mar 08 18:48:06 Finished compiler/backend/arm8                                   20s   1GB
Mar 08 18:48:06 Starting compiler/backend/mips
Mar 08 18:48:26 Finished compiler/backend/mips                                   19s   1GB
Mar 08 18:48:26 Starting compiler/backend/riscv
Mar 08 18:48:47 Finished compiler/backend/riscv                                  20s   1GB
Mar 08 18:48:47 Starting compiler/backend/ag32
Mar 08 18:50:00 Finished compiler/backend/ag32                                 1m13s   1GB
Mar 08 18:50:01 Starting compiler/parsing/proofs
Mar 08 18:55:52 Finished compiler/parsing/proofs                               5m51s 891MB
Mar 08 18:55:53 Starting compiler/inference/proofs
Mar 08 18:58:29 Finished compiler/inference/proofs                             2m35s   1GB
Mar 08 18:58:29 Starting compiler/backend/semantics
Mar 08 19:31:25 Finished compiler/backend/semantics                           32m55s   2GB
Mar 08 19:31:25 Starting compiler/backend/reg_alloc/proofs
Mar 08 19:35:13 Finished compiler/backend/reg_alloc/proofs                     3m46s   1GB
Mar 08 19:35:13 Starting compiler/backend/proofs
Mar 08 20:33:46 Finished compiler/backend/proofs                              58m32s  16GB
Mar 08 20:33:46 Starting compiler/encoders/x64/proofs
Mar 08 20:44:19 Finished compiler/encoders/x64/proofs                         10m32s   4GB
Mar 08 20:44:19 Starting compiler/encoders/arm7/proofs
Mar 08 20:58:41 Finished compiler/encoders/arm7/proofs                        14m21s   3GB
Mar 08 20:58:41 Starting compiler/encoders/arm8/proofs
Mar 08 21:05:51 Finished compiler/encoders/arm8/proofs                         7m09s   1GB
Mar 08 21:05:51 Starting compiler/encoders/mips/proofs
Mar 08 21:16:45 Finished compiler/encoders/mips/proofs                        10m53s   2GB
Mar 08 21:16:45 Starting compiler/encoders/riscv/proofs
Mar 08 21:26:25 Finished compiler/encoders/riscv/proofs                        9m39s   1GB
Mar 08 21:26:25 Starting compiler/encoders/ag32/proofs
Mar 08 21:29:13 Finished compiler/encoders/ag32/proofs                         2m47s 667MB
Mar 08 21:29:13 Starting compiler/backend/x64/proofs
Mar 08 21:29:34 Finished compiler/backend/x64/proofs                             21s   1GB
Mar 08 21:29:35 Starting compiler/backend/arm7/proofs
Mar 08 21:29:58 Finished compiler/backend/arm7/proofs                            23s   1GB
Mar 08 21:29:58 Starting compiler/backend/arm8/proofs
Mar 08 21:30:20 Finished compiler/backend/arm8/proofs                            21s   1GB
Mar 08 21:30:20 Starting compiler/backend/mips/proofs
Mar 08 21:30:41 Finished compiler/backend/mips/proofs                            21s   1GB
Mar 08 21:30:42 Starting compiler/backend/riscv/proofs
Mar 08 21:31:03 Finished compiler/backend/riscv/proofs                           21s   1GB
Mar 08 21:31:03 Starting compiler/backend/ag32/proofs
Mar 08 21:45:11 Finished compiler/backend/ag32/proofs                         14m07s   2GB
Mar 08 21:45:11 Starting compiler/proofs
Mar 08 21:47:04 Finished compiler/proofs                                       1m52s   3GB
Mar 08 21:47:04 Starting candle/set-theory
Mar 08 21:47:35 Finished candle/set-theory                                       30s 854MB
Mar 08 21:47:35 Starting candle/syntax-lib
Mar 08 21:47:46 Finished candle/syntax-lib                                       11s 717MB
Mar 08 21:47:46 Starting candle/standard/syntax
Mar 08 21:49:41 Finished candle/standard/syntax                                1m54s 865MB
Mar 08 21:49:42 Starting candle/standard/semantics
Mar 08 21:51:31 Finished candle/standard/semantics                             1m49s 960MB
Mar 08 21:51:31 Starting candle/standard/monadic
Mar 08 21:53:20 Finished candle/standard/monadic                               1m48s   1GB
Mar 08 21:53:20 Starting candle/standard/ml_kernel
Mar 08 21:59:22 Finished candle/standard/ml_kernel                             6m01s   3GB
Mar 08 21:59:22 Starting candle/overloading/syntax
Mar 08 22:02:43 Finished candle/overloading/syntax                             3m20s   1GB
Mar 08 22:02:43 Starting candle/overloading/semantics
Mar 08 22:15:40 Finished candle/overloading/semantics                         12m57s   3GB
Mar 08 22:15:41 Starting characteristic/examples
Mar 08 22:17:00 Finished characteristic/examples                               1m19s   2GB
Mar 08 22:17:01 Starting tutorial/solutions
Mar 08 22:33:02 Finished tutorial/solutions                                   16m01s   8GB
Mar 08 22:33:02 Starting translator/monadic/examples
Mar 08 22:36:29 Finished translator/monadic/examples                           3m26s   2GB
Mar 08 22:36:29 Starting examples
Mar 08 22:45:25 Finished examples                                              8m55s   3GB
Mar 08 22:45:25 Starting examples/compilation/x64
Mar 09 01:11:31 Finished examples/compilation/x64                           2h26m05s  15GB
Mar 09 01:11:31 Starting examples/compilation/x64/proofs
Mar 09 01:13:15 Finished examples/compilation/x64/proofs                       1m43s   2GB
Mar 09 01:13:15 Starting examples/compilation/ag32
Mar 09 01:47:52 Finished examples/compilation/ag32                            34m36s   7GB
Mar 09 01:47:52 Starting examples/compilation/ag32/proofs
Mar 09 01:48:38 Finished examples/compilation/ag32/proofs                        45s   3GB
Mar 09 01:48:38 Starting examples/cost
Mar 09 02:47:08 Finished examples/cost                                        58m29s   9GB
Mar 09 02:47:09 Starting examples/lpr_checker
Mar 09 02:51:26 Finished examples/lpr_checker                                  4m17s   4GB
Mar 09 02:51:27 Starting examples/lpr_checker/compilation
Mar 09 03:09:58 Finished examples/lpr_checker/compilation                     18m31s  17GB
Mar 09 03:09:59 Starting examples/lpr_checker/compilation/proofs
Mar 09 03:11:00 Finished examples/lpr_checker/compilation/proofs               1m01s   2GB
Mar 09 03:11:00 Starting examples/lpr_checker/array
Mar 09 03:26:43 Finished examples/lpr_checker/array                           15m43s   3GB
Mar 09 03:26:44 Starting examples/lpr_checker/array/compilation
Mar 09 03:46:56 Finished examples/lpr_checker/array/compilation               20m11s  12GB
Mar 09 03:46:56 Starting examples/lpr_checker/array/compilation/proofs
Mar 09 03:47:46 Finished examples/lpr_checker/array/compilation/proofs           49s   3GB
Mar 09 03:47:46 Starting examples/opentheory
Mar 09 03:58:14 Finished examples/opentheory                                  10m27s   5GB
Mar 09 03:58:14 Starting examples/opentheory
Mar 09 03:58:15 Finished examples/opentheory                                      1s  22MB
Mar 09 03:58:16 Starting examples/opentheory/compilation
Mar 09 04:31:50 Finished examples/opentheory/compilation                      33m34s  19GB
Mar 09 04:31:51 Starting examples/opentheory/compilation/proofs
Mar 09 04:32:32 Finished examples/opentheory/compilation/proofs                  41s   3GB
Mar 09 04:32:32 Starting examples/opentheory/compilation/ag32
Mar 09 05:09:11 Finished examples/opentheory/compilation/ag32                 36m37s  19GB
Mar 09 05:09:11 Starting examples/opentheory/compilation/ag32/proofs
Mar 09 05:10:49 Finished examples/opentheory/compilation/ag32/proofs           1m38s   5GB
Mar 09 05:10:50 Starting translator/okasaki-examples
Mar 09 05:15:17 Finished translator/okasaki-examples                           4m27s   1GB
Mar 09 05:15:18 Starting translator/other-examples
Mar 09 05:17:24 Finished translator/other-examples                             2m06s   1GB
Mar 09 05:17:24 Starting compiler/parsing/tests
Mar 09 05:17:51 Finished compiler/parsing/tests                                  26s 564MB
Mar 09 05:17:51 Starting compiler/inference/tests
Mar 09 05:25:48 Finished compiler/inference/tests                              7m56s   3GB
Mar 09 05:25:48 Starting compiler/bootstrap/translation
Mar 09 08:20:21 Finished compiler/bootstrap/translation                     2h54m32s  43GB
Mar 09 08:20:21 Starting unverified/sexpr-bootstrap/x64/64
Mar 09 08:32:45 Finished unverified/sexpr-bootstrap/x64/64                    12m23s   8GB
Mar 09 08:32:45 Starting unverified/sexpr-bootstrap/x64/32
Mar 09 08:42:43 Finished unverified/sexpr-bootstrap/x64/32                     9m57s   8GB
Mar 09 08:42:44 Starting compiler/benchmarks
Mar 09 08:42:46 Finished compiler/benchmarks                                      1s  32MB
Mar 09 08:42:46 Starting compiler/bootstrap/compilation/x64/64
Mar 09 21:19:12 Finished compiler/bootstrap/compilation/x64/64             12h36m24s  64GB
Mar 09 21:19:13 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 09 21:22:28 Finished compiler/bootstrap/compilation/x64/64/proofs          3m15s  13GB
Mar 09 21:22:29 Starting compiler/bootstrap/compilation/x64/32
Mar 10 08:43:50 Finished compiler/bootstrap/compilation/x64/32             11h21m20s  63GB
Mar 10 08:43:50 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 10 08:46:40 Finished compiler/bootstrap/compilation/x64/32/proofs          2m49s  12GB
Mar 10 08:46:40 Starting compiler/bootstrap/compilation/ag32/32
Mar 10 20:20:53 Finished compiler/bootstrap/compilation/ag32/32            11h34m12s  64GB
Mar 10 20:20:54 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 10 20:39:23 Finished compiler/bootstrap/compilation/ag32/32/proofs        18m28s  18GB
Mar 10 20:39:23 SUCCESS