Job 1489

CakeML:92800175372782848a933d973527fc7f4dda27c6
  Merge pull request #817 from CakeML/reset_translation-fix [Mar 10 21:00:30]
HOL:8da82f1ad9d51c12ac743b9cb7225cc54c72ac16
  Diagnose possible minisat build problems as build begins [Mar 09 22:59:07]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Mar 12 08:40:03 Claimed job
Mar 12 08:40:10 Building HOL
Mar 12 08:54:47 Starting developers
Mar 12 08:54:47 Finished developers                                               0s  34MB
Mar 12 08:54:48 Starting developers/bin
Mar 12 08:54:54 Finished developers/bin                                           5s   1GB
Mar 12 08:54:54 Starting semantics/ffi
Mar 12 08:55:04 Finished semantics/ffi                                           10s 296MB
Mar 12 08:55:04 Starting semantics
Mar 12 08:56:36 Finished semantics                                             1m31s   1GB
Mar 12 08:56:37 Starting semantics/proofs
Mar 12 08:59:54 Finished semantics/proofs                                      3m16s   1GB
Mar 12 08:59:54 Starting semantics/alt_semantics
Mar 12 09:00:02 Finished semantics/alt_semantics                                  8s 406MB
Mar 12 09:00:02 Starting semantics/alt_semantics/proofs
Mar 12 09:02:09 Finished semantics/alt_semantics/proofs                        2m06s   1GB
Mar 12 09:02:09 Starting basis/pure
Mar 12 09:04:48 Finished basis/pure                                            2m38s   1GB
Mar 12 09:04:49 Starting translator
Mar 12 09:07:24 Finished translator                                            2m35s   2GB
Mar 12 09:07:24 Starting compiler/parsing
Mar 12 09:08:31 Finished compiler/parsing                                      1m06s   4GB
Mar 12 09:08:31 Starting characteristic
Mar 12 09:14:34 Finished characteristic                                        6m02s   4GB
Mar 12 09:14:34 Starting translator/monadic
Mar 12 09:16:17 Finished translator/monadic                                    1m42s   1GB
Mar 12 09:16:17 Starting basis
Mar 12 09:59:46 Finished basis                                                43m28s  38GB
Mar 12 09:59:47 Starting compiler/inference
Mar 12 10:00:55 Finished compiler/inference                                    1m08s   1GB
Mar 12 10:00:55 Starting compiler/backend/reg_alloc
Mar 12 10:02:01 Finished compiler/backend/reg_alloc                            1m05s   1GB
Mar 12 10:02:01 Starting compiler/backend/gc
Mar 12 10:05:36 Finished compiler/backend/gc                                   3m34s   3GB
Mar 12 10:05:37 Starting compiler/backend
Mar 12 10:10:41 Finished compiler/backend                                      5m03s   5GB
Mar 12 10:10:41 Starting compiler/encoders/asm
Mar 12 10:11:04 Finished compiler/encoders/asm                                   22s   1GB
Mar 12 10:11:04 Starting compiler/encoders/x64
Mar 12 10:12:07 Finished compiler/encoders/x64                                 1m02s   1GB
Mar 12 10:12:07 Starting compiler/encoders/arm7
Mar 12 10:14:08 Finished compiler/encoders/arm7                                2m00s   1GB
Mar 12 10:14:08 Starting compiler/encoders/arm8
Mar 12 10:14:47 Finished compiler/encoders/arm8                                  39s   1GB
Mar 12 10:14:47 Starting compiler/encoders/mips
Mar 12 10:16:12 Finished compiler/encoders/mips                                1m24s   1GB
Mar 12 10:16:12 Starting compiler/encoders/riscv
Mar 12 10:17:49 Finished compiler/encoders/riscv                               1m36s   1GB
Mar 12 10:17:49 Starting compiler/encoders/ag32
Mar 12 10:18:08 Finished compiler/encoders/ag32                                  18s 925MB
Mar 12 10:18:09 Starting compiler/backend/x64
Mar 12 10:18:28 Finished compiler/backend/x64                                    19s   1GB
Mar 12 10:18:28 Starting compiler/backend/arm7
Mar 12 10:18:49 Finished compiler/backend/arm7                                   20s   1GB
Mar 12 10:18:49 Starting compiler/backend/arm8
Mar 12 10:19:09 Finished compiler/backend/arm8                                   19s   1GB
Mar 12 10:19:09 Starting compiler/backend/mips
Mar 12 10:19:30 Finished compiler/backend/mips                                   20s   1GB
Mar 12 10:19:30 Starting compiler/backend/riscv
Mar 12 10:19:51 Finished compiler/backend/riscv                                  21s   1GB
Mar 12 10:19:51 Starting compiler/backend/ag32
Mar 12 10:21:01 Finished compiler/backend/ag32                                 1m09s   2GB
Mar 12 10:21:01 Starting compiler/parsing/proofs
Mar 12 10:26:33 Finished compiler/parsing/proofs                               5m30s   2GB
Mar 12 10:26:33 Starting compiler/inference/proofs
Mar 12 10:29:05 Finished compiler/inference/proofs                             2m32s   2GB
Mar 12 10:29:05 Starting compiler/backend/semantics
Mar 12 10:56:04 Finished compiler/backend/semantics                           26m58s   3GB
Mar 12 10:56:04 Starting compiler/backend/reg_alloc/proofs
Mar 12 10:59:21 Finished compiler/backend/reg_alloc/proofs                     3m16s   1GB
Mar 12 10:59:21 Starting compiler/backend/proofs
Mar 12 11:52:52 Finished compiler/backend/proofs                              53m31s  20GB
Mar 12 11:52:52 Starting compiler/encoders/x64/proofs
Mar 12 12:02:08 Finished compiler/encoders/x64/proofs                          9m15s   4GB
Mar 12 12:02:08 Starting compiler/encoders/arm7/proofs
Mar 12 12:14:58 Finished compiler/encoders/arm7/proofs                        12m49s   8GB
Mar 12 12:14:58 Starting compiler/encoders/arm8/proofs
Mar 12 12:21:06 Finished compiler/encoders/arm8/proofs                         6m07s   3GB
Mar 12 12:21:07 Starting compiler/encoders/mips/proofs
Mar 12 12:30:52 Finished compiler/encoders/mips/proofs                         9m45s  10GB
Mar 12 12:30:52 Starting compiler/encoders/riscv/proofs
Mar 12 12:39:14 Finished compiler/encoders/riscv/proofs                        8m21s   3GB
Mar 12 12:39:14 Starting compiler/encoders/ag32/proofs
Mar 12 12:41:35 Finished compiler/encoders/ag32/proofs                         2m20s   1GB
Mar 12 12:41:36 Starting compiler/backend/x64/proofs
Mar 12 12:41:57 Finished compiler/backend/x64/proofs                             21s   1GB
Mar 12 12:41:57 Starting compiler/backend/arm7/proofs
Mar 12 12:42:20 Finished compiler/backend/arm7/proofs                            22s   1GB
Mar 12 12:42:20 Starting compiler/backend/arm8/proofs
Mar 12 12:42:41 Finished compiler/backend/arm8/proofs                            20s   1GB
Mar 12 12:42:41 Starting compiler/backend/mips/proofs
Mar 12 12:43:02 Finished compiler/backend/mips/proofs                            21s   1GB
Mar 12 12:43:02 Starting compiler/backend/riscv/proofs
Mar 12 12:43:26 Finished compiler/backend/riscv/proofs                           23s   2GB
Mar 12 12:43:26 Starting compiler/backend/ag32/proofs
Mar 12 12:55:30 Finished compiler/backend/ag32/proofs                         12m03s   4GB
Mar 12 12:55:30 Starting compiler/proofs
Mar 12 12:57:25 Finished compiler/proofs                                       1m54s   5GB
Mar 12 12:57:26 Starting candle/set-theory
Mar 12 12:57:56 Finished candle/set-theory                                       30s   1GB
Mar 12 12:57:56 Starting candle/syntax-lib
Mar 12 12:58:07 Finished candle/syntax-lib                                       11s 781MB
Mar 12 12:58:08 Starting candle/standard/syntax
Mar 12 13:00:00 Finished candle/standard/syntax                                1m51s   1GB
Mar 12 13:00:00 Starting candle/standard/semantics
Mar 12 13:01:47 Finished candle/standard/semantics                             1m46s   2GB
Mar 12 13:01:47 Starting candle/standard/monadic
Mar 12 13:03:29 Finished candle/standard/monadic                               1m41s   1GB
Mar 12 13:03:29 Starting candle/standard/ml_kernel
Mar 12 13:08:49 Finished candle/standard/ml_kernel                             5m20s   7GB
Mar 12 13:08:49 Starting candle/overloading/syntax
Mar 12 13:12:02 Finished candle/overloading/syntax                             3m12s   1GB
Mar 12 13:12:02 Starting candle/overloading/semantics
Mar 12 13:24:02 Finished candle/overloading/semantics                         12m00s   9GB
Mar 12 13:24:03 Starting characteristic/examples
Mar 12 13:25:20 Finished characteristic/examples                               1m17s   4GB
Mar 12 13:25:20 Starting tutorial/solutions
Mar 12 13:40:05 Finished tutorial/solutions                                   14m44s  16GB
Mar 12 13:40:05 Starting translator/monadic/examples
Mar 12 13:43:26 Finished translator/monadic/examples                           3m20s   3GB
Mar 12 13:43:26 Starting examples
Mar 12 13:52:08 Finished examples                                              8m41s   6GB
Mar 12 13:52:08 Starting examples/compilation/x64
Mar 12 16:11:34 Finished examples/compilation/x64                           2h19m25s  26GB
Mar 12 16:11:34 Starting examples/compilation/x64/proofs
Mar 12 16:13:30 Finished examples/compilation/x64/proofs                       1m56s   3GB
Mar 12 16:13:30 Starting examples/compilation/ag32
Mar 12 16:46:13 Finished examples/compilation/ag32                            32m42s  12GB
Mar 12 16:46:14 Starting examples/compilation/ag32/proofs
Mar 12 16:47:06 Finished examples/compilation/ag32/proofs                        52s   4GB
Mar 12 16:47:06 Starting examples/cost
Mar 12 17:40:42 Finished examples/cost                                        53m35s  17GB
Mar 12 17:40:42 Starting examples/lpr_checker
Mar 12 17:44:30 Finished examples/lpr_checker                                  3m48s   5GB
Mar 12 17:44:31 Starting examples/lpr_checker/compilation
Mar 12 18:02:29 Finished examples/lpr_checker/compilation                     17m58s  14GB
Mar 12 18:02:29 Starting examples/lpr_checker/compilation/proofs
Mar 12 18:03:13 Finished examples/lpr_checker/compilation/proofs                 43s   4GB
Mar 12 18:03:13 Starting examples/lpr_checker/array
Mar 12 18:16:58 Finished examples/lpr_checker/array                           13m44s   5GB
Mar 12 18:16:58 Starting examples/lpr_checker/array/compilation
Mar 12 18:36:28 Finished examples/lpr_checker/array/compilation               19m30s  15GB
Mar 12 18:36:29 Starting examples/lpr_checker/array/compilation/proofs
Mar 12 18:37:15 Finished examples/lpr_checker/array/compilation/proofs           46s   4GB
Mar 12 18:37:15 Starting examples/opentheory
Mar 12 18:46:31 Finished examples/opentheory                                   9m16s   8GB
Mar 12 18:46:32 Starting examples/opentheory
Mar 12 18:46:32 Finished examples/opentheory                                      0s 100MB
Mar 12 18:46:33 Starting examples/opentheory/compilation
Mar 12 19:17:38 Finished examples/opentheory/compilation                      31m04s  28GB
Mar 12 19:17:38 Starting examples/opentheory/compilation/proofs
Mar 12 19:18:20 Finished examples/opentheory/compilation/proofs                  41s   4GB
Mar 12 19:18:20 Starting examples/opentheory/compilation/ag32
Mar 12 19:50:59 Finished examples/opentheory/compilation/ag32                 32m38s  26GB
Mar 12 19:50:59 Starting examples/opentheory/compilation/ag32/proofs
Mar 12 19:52:37 Finished examples/opentheory/compilation/ag32/proofs           1m37s   8GB
Mar 12 19:52:37 Starting translator/okasaki-examples
Mar 12 19:56:49 Finished translator/okasaki-examples                           4m12s   2GB
Mar 12 19:56:50 Starting translator/other-examples
Mar 12 19:58:51 Finished translator/other-examples                             2m01s   2GB
Mar 12 19:58:52 Starting compiler/parsing/tests
Mar 12 19:59:16 Finished compiler/parsing/tests                                  24s 652MB
Mar 12 19:59:16 Starting compiler/inference/tests
Mar 12 20:06:22 Finished compiler/inference/tests                              7m05s   6GB
Mar 12 20:06:22 Starting compiler/bootstrap/translation
Mar 12 22:41:46 Finished compiler/bootstrap/translation                     2h35m23s  49GB
Mar 12 22:41:46 Starting unverified/sexpr-bootstrap/x64/64
Mar 12 22:54:08 Finished unverified/sexpr-bootstrap/x64/64                    12m09s   9GB
Mar 12 22:54:08 Starting unverified/sexpr-bootstrap/x64/32
Mar 12 23:04:48 Finished unverified/sexpr-bootstrap/x64/32                    10m26s   8GB
Mar 12 23:04:48 Starting compiler/benchmarks
Mar 12 23:42:38 Finished compiler/benchmarks                                  37m49s   2GB
Mar 12 23:42:39 Starting compiler/bootstrap/compilation/x64/64
Mar 14 12:31:14 Resuming compiler/bootstrap/compilation/x64/64
Mar 14 12:41:17 Resuming compiler/bootstrap/compilation/x64/64