Job 1379

CakeML:bc1d24030a96270694c72cff1c37f656c1e85a9f
  Disambiguate some terms [Oct 16 13:02:29]
HOL:6c2b347359d14514e88c56ae31d4cf5bff5a5e58
  Merge remote-tracking branch 'origin/develop' into thibault-wip [Oct 19 09:13:50]
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

Oct 23 11:00:09 Claimed job
Oct 23 11:00:16 Reusing HOL
Oct 23 11:01:03 Starting developers
Oct 23 11:01:07 Finished developers                                               4s 112MB
Oct 23 11:01:07 Starting developers/bin
Oct 23 11:01:14 Finished developers/bin                                           6s   1GB
Oct 23 11:01:14 Starting semantics/ffi
Oct 23 11:01:25 Finished semantics/ffi                                           10s 231MB
Oct 23 11:01:25 Starting semantics
Oct 23 11:02:51 Finished semantics                                             1m25s   1GB
Oct 23 11:02:51 Starting semantics/proofs
Oct 23 11:06:27 Finished semantics/proofs                                      3m35s 864MB
Oct 23 11:06:27 Starting semantics/alt_semantics
Oct 23 11:06:36 Finished semantics/alt_semantics                                  9s 277MB
Oct 23 11:06:37 Starting semantics/alt_semantics/proofs
Oct 23 11:08:52 Finished semantics/alt_semantics/proofs                        2m14s   1GB
Oct 23 11:08:52 Starting basis/pure
Oct 23 11:09:43 Finished basis/pure                                              51s 755MB
Oct 23 11:09:43 Starting translator
Oct 23 11:12:30 Finished translator                                            2m46s   1GB
Oct 23 11:12:30 Starting compiler/parsing
Oct 23 11:13:44 Finished compiler/parsing                                      1m13s   2GB
Oct 23 11:13:44 Starting characteristic
Oct 23 11:19:58 Finished characteristic                                        6m13s   1GB
Oct 23 11:19:58 Starting translator/monadic
Oct 23 11:21:38 Finished translator/monadic                                    1m40s   1GB
Oct 23 11:21:39 Starting basis
Oct 23 11:58:12 Finished basis                                                36m33s  14GB
Oct 23 11:58:12 Starting compiler/inference
Oct 23 11:59:18 Finished compiler/inference                                    1m05s   1GB
Oct 23 11:59:18 Starting compiler/backend/reg_alloc
Oct 23 12:00:24 Finished compiler/backend/reg_alloc                            1m05s   1GB
Oct 23 12:00:24 Starting compiler/backend/gc
Oct 23 12:03:54 Finished compiler/backend/gc                                   3m29s   2GB
Oct 23 12:03:54 Starting compiler/backend
Oct 23 12:08:39 Finished compiler/backend                                      4m45s   3GB
Oct 23 12:08:39 Starting compiler/encoders/asm
Oct 23 12:09:02 Finished compiler/encoders/asm                                   22s 644MB
Oct 23 12:09:03 Starting compiler/encoders/x64
Oct 23 12:09:28 Finished compiler/encoders/x64                                   25s 745MB
Oct 23 12:09:28 Starting compiler/encoders/arm7
Oct 23 12:10:20 Finished compiler/encoders/arm7                                  51s 769MB
Oct 23 12:10:20 Starting compiler/encoders/arm8
Oct 23 12:10:33 Finished compiler/encoders/arm8                                  12s 593MB
Oct 23 12:10:33 Starting compiler/encoders/mips
Oct 23 12:10:51 Finished compiler/encoders/mips                                  17s   1GB
Oct 23 12:10:51 Starting compiler/encoders/riscv
Oct 23 12:11:06 Finished compiler/encoders/riscv                                 15s 872MB
Oct 23 12:11:07 Starting compiler/encoders/ag32
Oct 23 12:11:25 Finished compiler/encoders/ag32                                  18s 795MB
Oct 23 12:11:25 Starting compiler/backend/x64
Oct 23 12:11:44 Finished compiler/backend/x64                                    18s   1GB
Oct 23 12:11:44 Starting compiler/backend/arm7
Oct 23 12:12:05 Finished compiler/backend/arm7                                   21s   1GB
Oct 23 12:12:06 Starting compiler/backend/arm8
Oct 23 12:12:25 Finished compiler/backend/arm8                                   18s   1GB
Oct 23 12:12:25 Starting compiler/backend/mips
Oct 23 12:12:44 Finished compiler/backend/mips                                   19s   1GB
Oct 23 12:12:44 Starting compiler/backend/riscv
Oct 23 12:13:03 Finished compiler/backend/riscv                                  18s   1GB
Oct 23 12:13:03 Starting compiler/backend/ag32
Oct 23 12:14:14 Finished compiler/backend/ag32                                 1m10s   1GB
Oct 23 12:14:14 Starting compiler/parsing/proofs
Oct 23 12:20:02 Finished compiler/parsing/proofs                               5m47s   1GB
Oct 23 12:20:02 Starting compiler/inference/proofs
Oct 23 12:22:38 Finished compiler/inference/proofs                             2m34s   1GB
Oct 23 12:22:38 Starting compiler/backend/semantics
Oct 23 12:54:22 Finished compiler/backend/semantics                           31m44s   2GB
Oct 23 12:54:23 Starting compiler/backend/reg_alloc/proofs
Oct 23 12:58:11 Finished compiler/backend/reg_alloc/proofs                     3m48s 757MB
Oct 23 12:58:12 Starting compiler/backend/proofs
Oct 23 13:55:56 Finished compiler/backend/proofs                              57m43s  16GB
Oct 23 13:55:56 Starting compiler/encoders/x64/proofs
Oct 23 14:06:15 Finished compiler/encoders/x64/proofs                         10m19s   5GB
Oct 23 14:06:15 Starting compiler/encoders/arm7/proofs
Oct 23 14:20:03 Finished compiler/encoders/arm7/proofs                        13m47s   5GB
Oct 23 14:20:03 Starting compiler/encoders/arm8/proofs
Oct 23 14:27:04 Finished compiler/encoders/arm8/proofs                         7m00s   1GB
Oct 23 14:27:04 Starting compiler/encoders/mips/proofs
Oct 23 14:37:50 Finished compiler/encoders/mips/proofs                        10m45s   2GB
Oct 23 14:37:50 Starting compiler/encoders/riscv/proofs
Oct 23 14:47:31 Finished compiler/encoders/riscv/proofs                        9m41s   1GB
Oct 23 14:47:32 Starting compiler/encoders/ag32/proofs
Oct 23 14:50:20 Finished compiler/encoders/ag32/proofs                         2m48s 659MB
Oct 23 14:50:20 Starting compiler/backend/x64/proofs
Oct 23 14:50:40 Finished compiler/backend/x64/proofs                             20s   1GB
Oct 23 14:50:40 Starting compiler/backend/arm7/proofs
Oct 23 14:51:03 Finished compiler/backend/arm7/proofs                            22s   1GB
Oct 23 14:51:03 Starting compiler/backend/arm8/proofs
Oct 23 14:51:24 Finished compiler/backend/arm8/proofs                            20s   1GB
Oct 23 14:51:24 Starting compiler/backend/mips/proofs
Oct 23 14:51:45 Finished compiler/backend/mips/proofs                            21s   1GB
Oct 23 14:51:45 Starting compiler/backend/riscv/proofs
Oct 23 14:52:07 Finished compiler/backend/riscv/proofs                           21s   1GB
Oct 23 14:52:07 Starting compiler/backend/ag32/proofs
Oct 23 15:05:22 Finished compiler/backend/ag32/proofs                         13m14s   2GB
Oct 23 15:05:23 Starting compiler/proofs
Oct 23 15:06:57 Finished compiler/proofs                                       1m34s   2GB
Oct 23 15:06:57 Starting candle/set-theory
Oct 23 15:07:26 Finished candle/set-theory                                       29s 954MB
Oct 23 15:07:27 Starting candle/syntax-lib
Oct 23 15:07:38 Finished candle/syntax-lib                                       10s 458MB
Oct 23 15:07:38 Starting candle/standard/syntax
Oct 23 15:09:34 Finished candle/standard/syntax                                1m56s 955MB
Oct 23 15:09:34 Starting candle/standard/semantics
Oct 23 15:11:23 Finished candle/standard/semantics                             1m48s   1GB
Oct 23 15:11:23 Starting candle/standard/monadic
Oct 23 15:13:12 Finished candle/standard/monadic                               1m48s   1GB
Oct 23 15:13:12 Starting candle/standard/ml_kernel
Oct 23 15:18:57 Finished candle/standard/ml_kernel                             5m44s   4GB
Oct 23 15:18:57 Starting candle/overloading/syntax
Oct 23 15:22:15 Finished candle/overloading/syntax                             3m17s   1GB
Oct 23 15:22:16 Starting candle/overloading/semantics
Oct 23 15:35:04 Finished candle/overloading/semantics                         12m48s   4GB
Oct 23 15:35:05 Starting characteristic/examples
Oct 23 15:36:24 Finished characteristic/examples                               1m18s   2GB
Oct 23 15:36:24 Starting tutorial/solutions
Oct 23 15:51:31 Finished tutorial/solutions                                   15m07s  13GB
Oct 23 15:51:31 Starting translator/monadic/examples
Oct 23 15:54:50 Finished translator/monadic/examples                           3m18s   2GB
Oct 23 15:54:50 Starting examples
Oct 23 16:03:32 Finished examples                                              8m41s   3GB
Oct 23 16:03:32 Starting examples/compilation/x64
Oct 23 18:26:07 Finished examples/compilation/x64                           2h22m34s  14GB
Oct 23 18:26:07 Starting examples/compilation/x64/proofs
Oct 23 18:27:45 Finished examples/compilation/x64/proofs                       1m37s   2GB
Oct 23 18:27:45 Starting examples/compilation/ag32
Oct 23 19:00:17 Finished examples/compilation/ag32                            32m31s   7GB
Oct 23 19:00:17 Starting examples/compilation/ag32/proofs
Oct 23 19:01:00 Finished examples/compilation/ag32/proofs                        43s   2GB
Oct 23 19:01:01 Starting examples/cost
Oct 23 19:50:12 Finished examples/cost                                        49m11s   6GB
Oct 23 19:50:13 Starting examples/lpr_checker
Oct 23 19:54:15 Finished examples/lpr_checker                                  4m02s   2GB
Oct 23 19:54:15 Starting examples/lpr_checker/compilation
Oct 23 20:12:18 Finished examples/lpr_checker/compilation                     18m02s   9GB
Oct 23 20:12:18 Starting examples/lpr_checker/compilation/proofs
Oct 23 20:12:57 Finished examples/lpr_checker/compilation/proofs                 38s   3GB
Oct 23 20:12:57 Starting examples/lpr_checker/array
Oct 23 20:28:22 Finished examples/lpr_checker/array                           15m24s   3GB
Oct 23 20:28:22 Starting examples/lpr_checker/array/compilation
Oct 23 20:47:44 Finished examples/lpr_checker/array/compilation               19m21s  10GB
Oct 23 20:47:44 Starting examples/lpr_checker/array/compilation/proofs
Oct 23 20:48:30 Finished examples/lpr_checker/array/compilation/proofs           45s   3GB
Oct 23 20:48:30 Starting examples/opentheory
Oct 23 20:58:31 Finished examples/opentheory                                  10m00s   5GB
Oct 23 20:58:31 Starting examples/opentheory
Oct 23 20:58:32 Finished examples/opentheory                                      1s  24MB
Oct 23 20:58:33 Starting examples/opentheory/compilation
Oct 23 21:33:10 Finished examples/opentheory/compilation                      34m37s  17GB
Oct 23 21:33:10 Starting examples/opentheory/compilation/proofs
Oct 23 21:33:50 Finished examples/opentheory/compilation/proofs                  39s   3GB
Oct 23 21:33:50 Starting examples/opentheory/compilation/ag32
Oct 23 22:08:42 Finished examples/opentheory/compilation/ag32                 34m51s  24GB
Oct 23 22:08:42 Starting examples/opentheory/compilation/ag32/proofs
Oct 23 22:10:16 Finished examples/opentheory/compilation/ag32/proofs           1m34s   4GB
Oct 23 22:10:17 Starting translator/okasaki-examples
Oct 23 22:14:43 Finished translator/okasaki-examples                           4m25s   1GB
Oct 23 22:14:43 Starting translator/other-examples
Oct 23 22:15:25 Finished translator/other-examples                               42s   1GB
Oct 23 22:15:26 Starting compiler/parsing/tests
Oct 23 22:15:52 Finished compiler/parsing/tests                                  26s 572MB
Oct 23 22:15:52 Starting compiler/inference/tests
Oct 23 22:20:37 Finished compiler/inference/tests                              4m44s   2GB
Oct 23 22:20:37 Starting compiler/bootstrap/translation
Oct 24 01:14:30 Finished compiler/bootstrap/translation                     2h53m52s  47GB
Oct 24 01:14:31 Starting unverified/sexpr-bootstrap/x64/64
Oct 24 01:24:01 Finished unverified/sexpr-bootstrap/x64/64                     9m22s   8GB
Oct 24 01:24:01 Starting unverified/sexpr-bootstrap/x64/32
Oct 24 01:31:34 Finished unverified/sexpr-bootstrap/x64/32                     7m25s   8GB
Oct 24 01:31:34 Starting compiler/benchmarks
Oct 24 01:31:36 Finished compiler/benchmarks                                      1s  23MB
Oct 24 01:31:37 Starting compiler/bootstrap/compilation/x64/64
Oct 24 13:49:13 Finished compiler/bootstrap/compilation/x64/64             12h17m32s  64GB
Oct 24 13:49:13 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 24 13:52:30 Finished compiler/bootstrap/compilation/x64/64/proofs          3m17s  13GB
Oct 24 13:52:30 Starting compiler/bootstrap/compilation/x64/32
Oct 25 00:59:16 Finished compiler/bootstrap/compilation/x64/32             11h06m39s  64GB
Oct 25 00:59:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 25 01:02:04 Finished compiler/bootstrap/compilation/x64/32/proofs          2m47s  10GB
Oct 25 01:02:04 Starting compiler/bootstrap/compilation/ag32/32
Oct 25 12:24:53 Finished compiler/bootstrap/compilation/ag32/32            11h22m48s  64GB
Oct 25 12:24:53 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 25 12:47:41 Finished compiler/bootstrap/compilation/ag32/32/proofs        22m47s  23GB
Oct 25 12:47:41 SUCCESS