Job 1301

CakeML:d2e159a13dfa74182a09168ab8f694e443ac7159
  Fix bad include [Jul 06 08:49:25]
#742 (opentheory-reader)
Merging into:ae7402f70b65ed02fb8e2c6752605adc4cc8f432
  Merge pull request #740 from CakeML/io [Jul 05 07:33:00]
HOL:3f7c783c43f82cb47d9f09e21916f96d3279aa7b
  Fix selftest broken by 5c272847d0d (it wanted to use flip as a var) [Jun 29 23:19:22]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jul 06 09:12:16 Claimed job
Jul 06 09:12:23 Reusing HOL
Jul 06 09:13:10 Starting developers
Jul 06 09:13:15 Finished developers                                               4s  73MB
Jul 06 09:13:15 Starting developers/bin
Jul 06 09:13:22 Finished developers/bin                                           7s   1GB
Jul 06 09:13:23 Starting semantics/ffi
Jul 06 09:13:35 Finished semantics/ffi                                           11s 233MB
Jul 06 09:13:35 Starting semantics
Jul 06 09:15:11 Finished semantics                                             1m36s   1GB
Jul 06 09:15:12 Starting semantics/proofs
Jul 06 09:19:03 Finished semantics/proofs                                      3m51s   1GB
Jul 06 09:19:04 Starting semantics/alt_semantics
Jul 06 09:19:14 Finished semantics/alt_semantics                                  9s 281MB
Jul 06 09:19:14 Starting semantics/alt_semantics/proofs
Jul 06 09:21:37 Finished semantics/alt_semantics/proofs                        2m23s 796MB
Jul 06 09:21:37 Starting basis/pure
Jul 06 09:22:33 Finished basis/pure                                              55s 832MB
Jul 06 09:22:34 Starting translator
Jul 06 09:25:30 Finished translator                                            2m56s   1GB
Jul 06 09:25:31 Starting compiler/parsing
Jul 06 09:26:55 Finished compiler/parsing                                      1m23s   2GB
Jul 06 09:26:55 Starting characteristic
Jul 06 09:33:31 Finished characteristic                                        6m36s   1GB
Jul 06 09:33:32 Starting translator/monadic
Jul 06 09:35:17 Finished translator/monadic                                    1m45s   1GB
Jul 06 09:35:17 Starting basis
Jul 06 10:14:12 Finished basis                                                38m54s  15GB
Jul 06 10:14:12 Starting compiler/inference
Jul 06 10:15:22 Finished compiler/inference                                    1m09s   1GB
Jul 06 10:15:22 Starting compiler/backend/reg_alloc
Jul 06 10:16:35 Finished compiler/backend/reg_alloc                            1m13s   1GB
Jul 06 10:16:35 Starting compiler/backend/gc
Jul 06 10:20:27 Finished compiler/backend/gc                                   3m51s   2GB
Jul 06 10:20:27 Starting compiler/backend
Jul 06 10:26:01 Finished compiler/backend                                      5m33s   3GB
Jul 06 10:26:01 Starting compiler/encoders/asm
Jul 06 10:26:27 Finished compiler/encoders/asm                                   24s 775MB
Jul 06 10:26:27 Starting compiler/encoders/x64
Jul 06 10:26:55 Finished compiler/encoders/x64                                   28s 988MB
Jul 06 10:26:55 Starting compiler/encoders/arm7
Jul 06 10:27:49 Finished compiler/encoders/arm7                                  53s 729MB
Jul 06 10:27:49 Starting compiler/encoders/arm8
Jul 06 10:28:04 Finished compiler/encoders/arm8                                  14s 908MB
Jul 06 10:28:04 Starting compiler/encoders/mips
Jul 06 10:28:23 Finished compiler/encoders/mips                                  19s   1GB
Jul 06 10:28:23 Starting compiler/encoders/riscv
Jul 06 10:28:40 Finished compiler/encoders/riscv                                 17s 733MB
Jul 06 10:28:41 Starting compiler/encoders/ag32
Jul 06 10:29:00 Finished compiler/encoders/ag32                                  19s 853MB
Jul 06 10:29:01 Starting compiler/backend/x64
Jul 06 10:29:21 Finished compiler/backend/x64                                    20s   1GB
Jul 06 10:29:21 Starting compiler/backend/arm7
Jul 06 10:29:42 Finished compiler/backend/arm7                                   20s   1GB
Jul 06 10:29:42 Starting compiler/backend/arm8
Jul 06 10:30:03 Finished compiler/backend/arm8                                   20s   1GB
Jul 06 10:30:03 Starting compiler/backend/mips
Jul 06 10:30:24 Finished compiler/backend/mips                                   20s   1GB
Jul 06 10:30:24 Starting compiler/backend/riscv
Jul 06 10:30:44 Finished compiler/backend/riscv                                  19s 978MB
Jul 06 10:30:44 Starting compiler/backend/ag32
Jul 06 10:32:04 Finished compiler/backend/ag32                                 1m19s   1GB
Jul 06 10:32:04 Starting compiler/parsing/proofs
Jul 06 10:38:18 Finished compiler/parsing/proofs                               6m13s 990MB
Jul 06 10:38:18 Starting compiler/inference/proofs
Jul 06 10:41:05 Finished compiler/inference/proofs                             2m46s   1GB
Jul 06 10:41:05 Starting compiler/backend/semantics
Jul 06 11:15:46 Finished compiler/backend/semantics                           34m41s   1GB
Jul 06 11:15:46 Starting compiler/backend/reg_alloc/proofs
Jul 06 11:19:42 Finished compiler/backend/reg_alloc/proofs                     3m55s 947MB
Jul 06 11:19:42 Starting compiler/backend/proofs
Jul 06 12:27:45 Finished compiler/backend/proofs                            1h08m02s   9GB
Jul 06 12:27:45 Starting compiler/encoders/x64/proofs
Jul 06 12:38:34 Finished compiler/encoders/x64/proofs                         10m48s   4GB
Jul 06 12:38:34 Starting compiler/encoders/arm7/proofs
Jul 06 12:52:53 Finished compiler/encoders/arm7/proofs                        14m19s   5GB
Jul 06 12:52:53 Starting compiler/encoders/arm8/proofs
Jul 06 13:00:06 Finished compiler/encoders/arm8/proofs                         7m12s   1GB
Jul 06 13:00:06 Starting compiler/encoders/mips/proofs
Jul 06 13:11:16 Finished compiler/encoders/mips/proofs                        11m09s   2GB
Jul 06 13:11:17 Starting compiler/encoders/riscv/proofs
Jul 06 13:21:00 Finished compiler/encoders/riscv/proofs                        9m43s   1GB
Jul 06 13:21:00 Starting compiler/encoders/ag32/proofs
Jul 06 13:23:52 Finished compiler/encoders/ag32/proofs                         2m51s 643MB
Jul 06 13:23:52 Starting compiler/backend/x64/proofs
Jul 06 13:24:14 Finished compiler/backend/x64/proofs                             21s   1GB
Jul 06 13:24:14 Starting compiler/backend/arm7/proofs
Jul 06 13:24:38 Finished compiler/backend/arm7/proofs                            23s   1GB
Jul 06 13:24:38 Starting compiler/backend/arm8/proofs
Jul 06 13:25:00 Finished compiler/backend/arm8/proofs                            21s   1GB
Jul 06 13:25:00 Starting compiler/backend/mips/proofs
Jul 06 13:25:22 Finished compiler/backend/mips/proofs                            22s   1GB
Jul 06 13:25:22 Starting compiler/backend/riscv/proofs
Jul 06 13:25:45 Finished compiler/backend/riscv/proofs                           22s   1GB
Jul 06 13:25:45 Starting compiler/backend/ag32/proofs
Jul 06 13:40:12 Finished compiler/backend/ag32/proofs                         14m26s   2GB
Jul 06 13:40:12 Starting compiler/proofs
Jul 06 13:41:51 Finished compiler/proofs                                       1m38s   2GB
Jul 06 13:41:51 Starting candle/set-theory
Jul 06 13:42:23 Finished candle/set-theory                                       31s 680MB
Jul 06 13:42:23 Starting candle/syntax-lib
Jul 06 13:42:35 Finished candle/syntax-lib                                       11s 675MB
Jul 06 13:42:35 Starting candle/standard/syntax
Jul 06 13:44:39 Finished candle/standard/syntax                                2m03s   1GB
Jul 06 13:44:39 Starting candle/standard/semantics
Jul 06 13:46:34 Finished candle/standard/semantics                             1m55s   1GB
Jul 06 13:46:34 Starting candle/standard/monadic
Jul 06 13:48:28 Finished candle/standard/monadic                               1m53s   1GB
Jul 06 13:48:28 Starting candle/standard/ml_kernel
Jul 06 13:54:39 Finished candle/standard/ml_kernel                             6m10s   3GB
Jul 06 13:54:39 Starting candle/overloading/syntax
Jul 06 13:58:09 Finished candle/overloading/syntax                             3m29s 894MB
Jul 06 13:58:09 Starting candle/overloading/semantics
Jul 06 14:05:52 Finished candle/overloading/semantics                          7m42s   2GB
Jul 06 14:05:52 Starting characteristic/examples
Jul 06 14:07:16 Finished characteristic/examples                               1m23s   3GB
Jul 06 14:07:16 Starting tutorial/solutions
Jul 06 14:23:15 Finished tutorial/solutions                                   15m58s   6GB
Jul 06 14:23:15 Starting translator/monadic/examples
Jul 06 14:27:12 Finished translator/monadic/examples                           3m56s   2GB
Jul 06 14:27:12 Starting examples
Jul 06 14:37:39 Finished examples                                             10m26s   4GB
Jul 06 14:37:39 Starting examples/compilation/x64
Jul 06 17:06:23 Finished examples/compilation/x64                           2h28m44s  26GB
Jul 06 17:06:24 Starting examples/compilation/x64/proofs
Jul 06 17:08:18 Finished examples/compilation/x64/proofs                       1m54s   2GB
Jul 06 17:08:18 Starting examples/compilation/ag32
Jul 06 17:42:18 Finished examples/compilation/ag32                            34m00s   6GB
Jul 06 17:42:19 Starting examples/compilation/ag32/proofs
Jul 06 17:43:06 Finished examples/compilation/ag32/proofs                        47s   2GB
Jul 06 17:43:06 Starting examples/cost
Jul 06 18:38:00 Finished examples/cost                                        54m53s   6GB
Jul 06 18:38:00 Starting examples/lpr_checker
Jul 06 18:42:18 Finished examples/lpr_checker                                  4m17s   4GB
Jul 06 18:42:19 Starting examples/lpr_checker/compilation
Jul 06 19:01:48 Finished examples/lpr_checker/compilation                     19m28s   9GB
Jul 06 19:01:48 Starting examples/lpr_checker/compilation/proofs
Jul 06 19:03:00 Finished examples/lpr_checker/compilation/proofs               1m11s   1GB
Jul 06 19:03:00 Starting examples/lpr_checker/array
Jul 06 19:17:34 Finished examples/lpr_checker/array                           14m34s   2GB
Jul 06 19:17:34 Starting examples/lpr_checker/array/compilation
Jul 06 19:37:38 Finished examples/lpr_checker/array/compilation               20m03s  11GB
Jul 06 19:37:38 Starting examples/lpr_checker/array/compilation/proofs
Jul 06 19:38:32 Finished examples/lpr_checker/array/compilation/proofs           53s   3GB
Jul 06 19:38:32 Starting examples/opentheory
Jul 06 19:49:08 Finished examples/opentheory                                  10m36s   5GB
Jul 06 19:49:09 Starting examples/opentheory
Jul 06 19:49:10 Finished examples/opentheory                                      1s  18MB
Jul 06 19:49:10 Starting examples/opentheory/compilation
Jul 06 20:25:03 Finished examples/opentheory/compilation                      35m52s  17GB
Jul 06 20:25:03 Starting examples/opentheory/compilation/proofs
Jul 06 20:26:01 Finished examples/opentheory/compilation/proofs                  57s   2GB
Jul 06 20:26:01 Starting examples/opentheory/compilation/ag32
Jul 06 21:02:22 Finished examples/opentheory/compilation/ag32                 36m21s  15GB
Jul 06 21:02:23 Starting examples/opentheory/compilation/ag32/proofs
Jul 06 21:04:30 Finished examples/opentheory/compilation/ag32/proofs           2m06s   2GB
Jul 06 21:04:30 Starting translator/okasaki-examples
Jul 06 21:09:30 Finished translator/okasaki-examples                           5m00s   1GB
Jul 06 21:09:30 Starting translator/other-examples
Jul 06 21:10:22 Finished translator/other-examples                               52s   1GB
Jul 06 21:10:23 Starting compiler/parsing/tests
Jul 06 21:10:51 Finished compiler/parsing/tests                                  28s 588MB
Jul 06 21:10:52 Starting compiler/inference/tests
Jul 06 21:16:10 Finished compiler/inference/tests                              5m17s   2GB
Jul 06 21:16:10 Starting compiler/bootstrap/translation
Jul 07 00:24:36 Finished compiler/bootstrap/translation                     3h08m25s  16GB
Jul 07 00:24:36 Starting unverified/sexpr-bootstrap/x64/64
Jul 07 00:34:32 Finished unverified/sexpr-bootstrap/x64/64                     9m56s   8GB
Jul 07 00:34:32 Starting unverified/sexpr-bootstrap/x64/32
Jul 07 00:42:19 Finished unverified/sexpr-bootstrap/x64/32                     7m46s   8GB
Jul 07 00:42:20 Starting compiler/benchmarks
Jul 07 00:42:22 Finished compiler/benchmarks                                      1s  31MB
Jul 07 00:42:22 Starting compiler/bootstrap/compilation/x64/64
Jul 07 22:18:14 Finished compiler/bootstrap/compilation/x64/64             21h35m51s  37GB
Jul 07 22:18:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 07 22:21:46 Finished compiler/bootstrap/compilation/x64/64/proofs          3m31s  14GB
Jul 07 22:21:46 Starting compiler/bootstrap/compilation/x64/32
Jul 08 15:43:23 Finished compiler/bootstrap/compilation/x64/32             17h21m36s  33GB
Jul 08 15:43:24 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 08 15:46:35 Finished compiler/bootstrap/compilation/x64/32/proofs          3m11s  12GB
Jul 08 15:46:36 Starting compiler/bootstrap/compilation/ag32/32
Jul 09 10:48:56 Finished compiler/bootstrap/compilation/ag32/32            19h02m19s  38GB
Jul 09 10:48:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 09 11:20:15 Finished compiler/bootstrap/compilation/ag32/32/proofs        31m18s  29GB
Jul 09 11:20:16 SUCCESS