Job 1096

CakeML:2ef99277c28500562acae2a3211195b14e5e2ebe
  Translate validAddSym before cmlPEG [Nov 18 11:07:30]
#706 (parserprog-fix)
Merging into:fa186f6cfb9bfb08eaa4b872c1fecb943868b227
  Merge pull request #698 from CakeML/cakeml-rat-proj [Nov 16 15:11:37]
HOL:a0c4fc9e5eb99681906da94c915cefcaa7218477
  Merge remote-tracking branch 'origin/develop' into thibault-wip [Nov 17 06:42:37]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 18 12:50:07 Claimed job
Nov 18 12:50:15 Building HOL
Nov 18 13:01:03 Starting developers
Nov 18 13:01:08 Finished developers                                               3s  90MB
Nov 18 13:01:08 Starting developers/bin
Nov 18 13:01:15 Finished developers/bin                                           6s 960MB
Nov 18 13:01:15 Starting semantics/ffi
Nov 18 13:01:24 Finished semantics/ffi                                            9s 238MB
Nov 18 13:01:25 Starting semantics
Nov 18 13:02:51 Finished semantics                                             1m26s   1GB
Nov 18 13:02:51 Starting semantics/proofs
Nov 18 13:05:50 Finished semantics/proofs                                      2m59s   1GB
Nov 18 13:05:50 Starting semantics/alt_semantics
Nov 18 13:05:58 Finished semantics/alt_semantics                                  7s 296MB
Nov 18 13:05:58 Starting semantics/alt_semantics/proofs
Nov 18 13:07:47 Finished semantics/alt_semantics/proofs                        1m48s 774MB
Nov 18 13:07:47 Starting basis/pure
Nov 18 13:10:33 Finished basis/pure                                            2m45s 805MB
Nov 18 13:10:33 Starting translator
Nov 18 13:12:21 Finished translator                                            1m47s   1GB
Nov 18 13:12:21 Starting compiler/parsing
Nov 18 13:13:26 Finished compiler/parsing                                      1m04s   2GB
Nov 18 13:13:26 Starting characteristic
Nov 18 13:18:41 Finished characteristic                                        5m14s   1GB
Nov 18 13:18:41 Starting translator/monadic
Nov 18 13:20:09 Finished translator/monadic                                    1m27s   1GB
Nov 18 13:20:09 Starting basis
Nov 18 13:39:35 Finished basis                                                19m26s   2GB
Nov 18 13:39:36 Starting compiler/inference
Nov 18 13:41:21 Finished compiler/inference                                    1m45s   1GB
Nov 18 13:41:22 Starting compiler/backend/reg_alloc
Nov 18 13:42:22 Finished compiler/backend/reg_alloc                              59s   1GB
Nov 18 13:42:22 Starting compiler/backend/gc
Nov 18 13:45:34 Finished compiler/backend/gc                                   3m12s   2GB
Nov 18 13:45:34 Starting compiler/backend
Nov 18 13:49:16 Finished compiler/backend                                      3m41s   2GB
Nov 18 13:49:16 Starting compiler/encoders/asm
Nov 18 13:49:37 Finished compiler/encoders/asm                                   20s 864MB
Nov 18 13:49:37 Starting compiler/encoders/x64
Nov 18 13:50:31 Finished compiler/encoders/x64                                   53s 873MB
Nov 18 13:50:31 Starting compiler/encoders/arm7
Nov 18 13:52:10 Finished compiler/encoders/arm7                                1m38s   1GB
Nov 18 13:52:10 Starting compiler/encoders/arm8
Nov 18 13:52:42 Finished compiler/encoders/arm8                                  31s 630MB
Nov 18 13:52:42 Starting compiler/encoders/mips
Nov 18 13:53:48 Finished compiler/encoders/mips                                1m06s 784MB
Nov 18 13:53:49 Starting compiler/encoders/riscv
Nov 18 13:55:11 Finished compiler/encoders/riscv                               1m22s 788MB
Nov 18 13:55:11 Starting compiler/encoders/ag32
Nov 18 13:55:28 Finished compiler/encoders/ag32                                  16s 565MB
Nov 18 13:55:28 Starting compiler/backend/x64
Nov 18 13:55:44 Finished compiler/backend/x64                                    16s 941MB
Nov 18 13:55:44 Starting compiler/backend/arm7
Nov 18 13:56:04 Finished compiler/backend/arm7                                   19s   1GB
Nov 18 13:56:04 Starting compiler/backend/arm8
Nov 18 13:56:21 Finished compiler/backend/arm8                                   16s   1GB
Nov 18 13:56:21 Starting compiler/backend/mips
Nov 18 13:56:39 Finished compiler/backend/mips                                   17s   1GB
Nov 18 13:56:39 Starting compiler/backend/riscv
Nov 18 13:56:56 Finished compiler/backend/riscv                                  17s   1GB
Nov 18 13:56:57 Starting compiler/backend/ag32
Nov 18 13:58:02 Finished compiler/backend/ag32                                 1m05s   1GB
Nov 18 13:58:02 Starting compiler/parsing/proofs
Nov 18 14:03:38 Finished compiler/parsing/proofs                               5m35s 834MB
Nov 18 14:03:38 Starting compiler/inference/proofs
Nov 18 14:06:24 Finished compiler/inference/proofs                             2m46s   1GB
Nov 18 14:06:25 Starting compiler/backend/semantics
Nov 18 14:12:14 Finished compiler/backend/semantics                            5m49s   2GB
Nov 18 14:12:15 Starting compiler/backend/reg_alloc/proofs
Nov 18 14:15:27 Finished compiler/backend/reg_alloc/proofs                     3m12s   1GB
Nov 18 14:15:27 Starting compiler/backend/proofs
Nov 18 14:55:27 Finished compiler/backend/proofs                              39m59s   4GB
Nov 18 14:55:27 Starting compiler/encoders/x64/proofs
Nov 18 15:04:26 Finished compiler/encoders/x64/proofs                          8m58s   3GB
Nov 18 15:04:26 Starting compiler/encoders/arm7/proofs
Nov 18 15:16:30 Finished compiler/encoders/arm7/proofs                        12m03s   3GB
Nov 18 15:16:30 Starting compiler/encoders/arm8/proofs
Nov 18 15:22:32 Finished compiler/encoders/arm8/proofs                         6m01s   1GB
Nov 18 15:22:33 Starting compiler/encoders/mips/proofs
Nov 18 15:31:32 Finished compiler/encoders/mips/proofs                         8m59s   3GB
Nov 18 15:31:32 Starting compiler/encoders/riscv/proofs
Nov 18 15:39:49 Finished compiler/encoders/riscv/proofs                        8m16s 977MB
Nov 18 15:39:49 Starting compiler/encoders/ag32/proofs
Nov 18 15:42:12 Finished compiler/encoders/ag32/proofs                         2m22s 889MB
Nov 18 15:42:12 Starting compiler/backend/x64/proofs
Nov 18 15:42:29 Finished compiler/backend/x64/proofs                             17s 778MB
Nov 18 15:42:29 Starting compiler/backend/arm7/proofs
Nov 18 15:42:48 Finished compiler/backend/arm7/proofs                            18s   1GB
Nov 18 15:42:48 Starting compiler/backend/arm8/proofs
Nov 18 15:43:04 Finished compiler/backend/arm8/proofs                            16s 823MB
Nov 18 15:43:05 Starting compiler/backend/mips/proofs
Nov 18 15:43:23 Finished compiler/backend/mips/proofs                            18s   1GB
Nov 18 15:43:23 Starting compiler/backend/riscv/proofs
Nov 18 15:43:41 Finished compiler/backend/riscv/proofs                           17s   1GB
Nov 18 15:43:42 Starting compiler/backend/ag32/proofs
Nov 18 15:52:40 Finished compiler/backend/ag32/proofs                          8m58s   1GB
Nov 18 15:52:41 Starting compiler/proofs
Nov 18 21:32:14 Resuming compiler/proofs
Nov 18 21:33:32 Finished compiler/proofs                                       1m17s   3GB
Nov 18 21:33:32 Starting candle/set-theory
Nov 18 21:33:59 Finished candle/set-theory                                       26s 845MB
Nov 18 21:33:59 Starting candle/syntax-lib
Nov 18 21:34:09 Finished candle/syntax-lib                                        9s 614MB
Nov 18 21:34:10 Starting candle/standard/syntax
Nov 18 21:35:53 Finished candle/standard/syntax                                1m42s   1GB
Nov 18 21:35:53 Starting candle/standard/semantics
Nov 18 21:37:30 Finished candle/standard/semantics                             1m36s   1GB
Nov 18 21:37:30 Starting candle/standard/monadic
Nov 18 21:39:01 Finished candle/standard/monadic                               1m31s   1GB
Nov 18 21:39:02 Starting candle/standard/ml_kernel
Nov 18 21:42:59 Finished candle/standard/ml_kernel                             3m56s   3GB
Nov 18 21:42:59 Starting candle/standard/opentheory
Nov 18 21:51:33 Finished candle/standard/opentheory                            8m33s   3GB
Nov 18 21:51:33 Starting candle/standard/opentheory/compilation
Nov 18 22:21:13 Finished candle/standard/opentheory/compilation               29m39s  15GB
Nov 18 22:21:13 Starting candle/standard/opentheory/compilation/proofs
Nov 18 22:21:57 Finished candle/standard/opentheory/compilation/proofs           44s   2GB
Nov 18 22:21:57 Starting characteristic/examples
Nov 18 22:23:27 Finished characteristic/examples                               1m29s   2GB
Nov 18 22:23:27 Starting tutorial/solutions
Nov 18 22:36:43 Finished tutorial/solutions                                   13m16s   7GB
Nov 18 22:36:43 Starting translator/monadic/examples
Nov 18 22:39:37 Finished translator/monadic/examples                           2m53s   1GB
Nov 18 22:39:38 Starting examples
Nov 18 22:48:48 Finished examples                                              9m10s   5GB
Nov 18 22:48:48 Starting examples/compilation/x64
Nov 19 00:51:49 Finished examples/compilation/x64                           2h03m00s  15GB
Nov 19 00:51:49 Starting examples/compilation/x64/proofs
Nov 19 00:53:43 Finished examples/compilation/x64/proofs                       1m53s   2GB
Nov 19 00:53:43 Starting examples/compilation/ag32
Nov 19 01:22:32 Finished examples/compilation/ag32                            28m48s   5GB
Nov 19 01:22:32 Starting examples/compilation/ag32/proofs
Nov 19 01:23:20 Finished examples/compilation/ag32/proofs                        47s   2GB
Nov 19 01:23:20 Starting translator/okasaki-examples
Nov 19 01:27:24 Finished translator/okasaki-examples                           4m03s   1GB
Nov 19 01:27:24 Starting translator/other-examples
Nov 19 01:29:10 Finished translator/other-examples                             1m46s   1GB
Nov 19 01:29:10 Starting compiler/parsing/tests
Nov 19 01:29:35 Finished compiler/parsing/tests                                  24s 539MB
Nov 19 01:29:35 Starting compiler/inference/tests
Nov 19 01:33:48 Finished compiler/inference/tests                              4m12s   5GB
Nov 19 01:33:48 Starting compiler/bootstrap/translation
Nov 19 04:05:03 Finished compiler/bootstrap/translation                     2h31m14s  44GB
Nov 19 04:05:03 Starting unverified/sexpr-bootstrap/x64/64
Nov 19 04:18:42 Finished unverified/sexpr-bootstrap/x64/64                    13m38s   3GB
Nov 19 04:18:42 Starting unverified/sexpr-bootstrap/x64/32
Nov 19 04:27:59 Finished unverified/sexpr-bootstrap/x64/32                     9m16s   5GB
Nov 19 04:27:59 Starting compiler/benchmarks
Nov 19 04:28:01 Finished compiler/benchmarks                                      2s  37MB
Nov 19 04:28:01 Starting compiler/bootstrap/compilation/x64/64
Nov 19 17:04:45 Finished compiler/bootstrap/compilation/x64/64             12h36m43s  64GB
Nov 19 17:04:46 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 19 17:08:35 Finished compiler/bootstrap/compilation/x64/64/proofs          3m49s   5GB
Nov 19 17:08:35 Starting compiler/bootstrap/compilation/x64/32
Nov 20 04:41:24 Finished compiler/bootstrap/compilation/x64/32             11h32m48s  64GB
Nov 20 04:41:24 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 20 04:44:33 Finished compiler/bootstrap/compilation/x64/32/proofs          3m08s   4GB
Nov 20 04:44:33 Starting compiler/bootstrap/compilation/ag32/32
Nov 20 17:50:28 Finished compiler/bootstrap/compilation/ag32/32            13h05m54s  64GB
Nov 20 17:50:28 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 20 18:21:11 Finished compiler/bootstrap/compilation/ag32/32/proofs        30m43s  16GB
Nov 20 18:21:11 SUCCESS