Job 1302

CakeML:44d9f9c01d3e4e226d2c6f8f84bff5e89740bd04
  Add type annotation and repair proof [Jul 06 09:41:53]
#743 (int-fromstring-fix)
Merging into:ae7402f70b65ed02fb8e2c6752605adc4cc8f432
  Merge pull request #740 from CakeML/io [Jul 05 07:33:00]
HOL:6f97b576bdaa40a046c57a68c99e2032bc9a8334
  Fix Unicode violation in 12f41f346 [Jul 06 00:16:22]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 07 16:46:01 Claimed job
Jul 07 16:46:09 Building HOL
Jul 07 16:58:27 Starting developers
Jul 07 16:58:30 Finished developers                                               2s 111MB
Jul 07 16:58:30 Starting developers/bin
Jul 07 16:58:36 Finished developers/bin                                           6s   1GB
Jul 07 16:58:36 Starting semantics/ffi
Jul 07 16:58:45 Finished semantics/ffi                                            9s 258MB
Jul 07 16:58:46 Starting semantics
Jul 07 17:00:15 Finished semantics                                             1m28s   1GB
Jul 07 17:00:15 Starting semantics/proofs
Jul 07 17:03:29 Finished semantics/proofs                                      3m13s   1GB
Jul 07 17:03:29 Starting semantics/alt_semantics
Jul 07 17:03:37 Finished semantics/alt_semantics                                  7s 335MB
Jul 07 17:03:37 Starting semantics/alt_semantics/proofs
Jul 07 17:05:43 Finished semantics/alt_semantics/proofs                        2m05s 781MB
Jul 07 17:05:43 Starting basis/pure
Jul 07 17:08:32 Finished basis/pure                                            2m48s 968MB
Jul 07 17:08:32 Starting translator
Jul 07 17:11:09 Finished translator                                            2m37s   1GB
Jul 07 17:11:09 Starting compiler/parsing
Jul 07 17:12:17 Finished compiler/parsing                                      1m07s   2GB
Jul 07 17:12:17 Starting characteristic
Jul 07 17:18:02 Finished characteristic                                        5m45s   1GB
Jul 07 17:18:03 Starting translator/monadic
Jul 07 17:19:36 Finished translator/monadic                                    1m33s   1GB
Jul 07 17:19:37 Starting basis
Jul 07 17:52:06 Finished basis                                                32m29s  24GB
Jul 07 17:52:07 Starting compiler/inference
Jul 07 17:53:13 Finished compiler/inference                                    1m06s   1GB
Jul 07 17:53:13 Starting compiler/backend/reg_alloc
Jul 07 17:54:17 Finished compiler/backend/reg_alloc                            1m03s   1GB
Jul 07 17:54:17 Starting compiler/backend/gc
Jul 07 17:57:40 Finished compiler/backend/gc                                   3m23s   2GB
Jul 07 17:57:41 Starting compiler/backend
Jul 07 18:02:17 Finished compiler/backend                                      4m36s   3GB
Jul 07 18:02:18 Starting compiler/encoders/asm
Jul 07 18:02:39 Finished compiler/encoders/asm                                   21s 733MB
Jul 07 18:02:39 Starting compiler/encoders/x64
Jul 07 18:03:36 Finished compiler/encoders/x64                                   56s 970MB
Jul 07 18:03:36 Starting compiler/encoders/arm7
Jul 07 18:05:24 Finished compiler/encoders/arm7                                1m47s   1GB
Jul 07 18:05:24 Starting compiler/encoders/arm8
Jul 07 18:05:58 Finished compiler/encoders/arm8                                  33s 591MB
Jul 07 18:05:58 Starting compiler/encoders/mips
Jul 07 18:07:12 Finished compiler/encoders/mips                                1m13s   1GB
Jul 07 18:07:12 Starting compiler/encoders/riscv
Jul 07 18:08:41 Finished compiler/encoders/riscv                               1m29s   1GB
Jul 07 18:08:41 Starting compiler/encoders/ag32
Jul 07 18:08:58 Finished compiler/encoders/ag32                                  16s 789MB
Jul 07 18:08:58 Starting compiler/backend/x64
Jul 07 18:09:15 Finished compiler/backend/x64                                    16s 944MB
Jul 07 18:09:15 Starting compiler/backend/arm7
Jul 07 18:09:34 Finished compiler/backend/arm7                                   19s   1GB
Jul 07 18:09:35 Starting compiler/backend/arm8
Jul 07 18:09:52 Finished compiler/backend/arm8                                   16s   1GB
Jul 07 18:09:52 Starting compiler/backend/mips
Jul 07 18:10:09 Finished compiler/backend/mips                                   17s 957MB
Jul 07 18:10:09 Starting compiler/backend/riscv
Jul 07 18:10:28 Finished compiler/backend/riscv                                  18s   1GB
Jul 07 18:10:28 Starting compiler/backend/ag32
Jul 07 18:11:35 Finished compiler/backend/ag32                                 1m07s   1GB
Jul 07 18:11:35 Starting compiler/parsing/proofs
Jul 07 18:17:14 Finished compiler/parsing/proofs                               5m38s   1GB
Jul 07 18:17:14 Starting compiler/inference/proofs
Jul 07 18:19:39 Finished compiler/inference/proofs                             2m24s   1GB
Jul 07 18:19:39 Starting compiler/backend/semantics
Jul 07 18:46:37 Finished compiler/backend/semantics                           26m57s   2GB
Jul 07 18:46:37 Starting compiler/backend/reg_alloc/proofs
Jul 07 18:50:00 Finished compiler/backend/reg_alloc/proofs                     3m22s 749MB
Jul 07 18:50:00 Starting compiler/backend/proofs
Jul 07 19:43:21 Finished compiler/backend/proofs                              53m19s  17GB
Jul 07 19:43:22 Starting compiler/encoders/x64/proofs
Jul 07 19:52:41 Finished compiler/encoders/x64/proofs                          9m19s   4GB
Jul 07 19:52:42 Starting compiler/encoders/arm7/proofs
Jul 07 20:05:16 Finished compiler/encoders/arm7/proofs                        12m34s   3GB
Jul 07 20:05:16 Starting compiler/encoders/arm8/proofs
Jul 07 20:11:41 Finished compiler/encoders/arm8/proofs                         6m24s   1GB
Jul 07 20:11:41 Starting compiler/encoders/mips/proofs
Jul 07 20:21:31 Finished compiler/encoders/mips/proofs                         9m49s   1GB
Jul 07 20:21:31 Starting compiler/encoders/riscv/proofs
Jul 07 20:30:01 Finished compiler/encoders/riscv/proofs                        8m29s   1GB
Jul 07 20:30:01 Starting compiler/encoders/ag32/proofs
Jul 07 20:32:30 Finished compiler/encoders/ag32/proofs                         2m28s 678MB
Jul 07 20:32:30 Starting compiler/backend/x64/proofs
Jul 07 20:32:49 Finished compiler/backend/x64/proofs                             19s   1GB
Jul 07 20:32:50 Starting compiler/backend/arm7/proofs
Jul 07 20:33:10 Finished compiler/backend/arm7/proofs                            20s 874MB
Jul 07 20:33:11 Starting compiler/backend/arm8/proofs
Jul 07 20:33:30 Finished compiler/backend/arm8/proofs                            19s   1GB
Jul 07 20:33:30 Starting compiler/backend/mips/proofs
Jul 07 20:33:50 Finished compiler/backend/mips/proofs                            19s   1GB
Jul 07 20:33:50 Starting compiler/backend/riscv/proofs
Jul 07 20:34:10 Finished compiler/backend/riscv/proofs                           19s   1GB
Jul 07 20:34:10 Starting compiler/backend/ag32/proofs
Jul 07 20:46:32 Finished compiler/backend/ag32/proofs                         12m21s   2GB
Jul 07 20:46:32 Starting compiler/proofs
Jul 07 20:48:14 Finished compiler/proofs                                       1m41s   3GB
Jul 07 20:48:14 Starting candle/set-theory
Jul 07 20:48:41 Finished candle/set-theory                                       27s 840MB
Jul 07 20:48:41 Starting candle/syntax-lib
Jul 07 20:48:52 Finished candle/syntax-lib                                       10s 473MB
Jul 07 20:48:52 Starting candle/standard/syntax
Jul 07 20:50:40 Finished candle/standard/syntax                                1m48s   1GB
Jul 07 20:50:40 Starting candle/standard/semantics
Jul 07 20:52:21 Finished candle/standard/semantics                             1m40s   1GB
Jul 07 20:52:21 Starting candle/standard/monadic
Jul 07 20:53:59 Finished candle/standard/monadic                               1m37s   1GB
Jul 07 20:53:59 Starting candle/standard/ml_kernel
Jul 07 20:59:12 Finished candle/standard/ml_kernel                             5m12s   3GB
Jul 07 20:59:12 Starting candle/standard/opentheory
Jul 07 21:08:15 Finished candle/standard/opentheory                            9m02s   3GB
Jul 07 21:08:15 Starting candle/standard/opentheory/compilation
Jul 07 21:40:02 Finished candle/standard/opentheory/compilation               31m46s  18GB
Jul 07 21:40:02 Starting candle/standard/opentheory/compilation/proofs
Jul 07 21:40:40 Finished candle/standard/opentheory/compilation/proofs           38s   3GB
Jul 07 21:40:40 Starting candle/overloading/syntax
Jul 07 21:43:40 Finished candle/overloading/syntax                             2m59s   1GB
Jul 07 21:43:40 Starting candle/overloading/semantics
Jul 07 21:50:28 Finished candle/overloading/semantics                          6m46s   3GB
Jul 07 21:50:28 Starting characteristic/examples
Jul 07 21:51:40 Finished characteristic/examples                               1m11s   2GB
Jul 07 21:51:40 Starting tutorial/solutions
Jul 07 22:05:46 Finished tutorial/solutions                                   14m05s   9GB
Jul 07 22:05:46 Starting translator/monadic/examples
Jul 07 22:09:00 Finished translator/monadic/examples                           3m13s   2GB
Jul 07 22:09:00 Starting examples
Jul 07 22:17:14 Finished examples                                              8m14s   5GB
Jul 07 22:17:14 Starting examples/compilation/x64
Jul 08 00:33:31 Finished examples/compilation/x64                           2h16m15s  14GB
Jul 08 00:33:31 Starting examples/compilation/x64/proofs
Jul 08 00:35:03 Finished examples/compilation/x64/proofs                       1m32s   3GB
Jul 08 00:35:03 Starting examples/compilation/ag32
Jul 08 01:06:15 Finished examples/compilation/ag32                            31m11s   6GB
Jul 08 01:06:15 Starting examples/compilation/ag32/proofs
Jul 08 01:06:56 Finished examples/compilation/ag32/proofs                        40s   2GB
Jul 08 01:06:56 Starting examples/cost
Jul 08 01:52:50 Finished examples/cost                                        45m53s   6GB
Jul 08 01:52:50 Starting examples/lpr_checker
Jul 08 01:56:40 Finished examples/lpr_checker                                  3m49s   4GB
Jul 08 01:56:40 Starting examples/lpr_checker/compilation
Jul 08 02:13:37 Finished examples/lpr_checker/compilation                     16m56s   8GB
Jul 08 02:13:37 Starting examples/lpr_checker/compilation/proofs
Jul 08 02:14:15 Finished examples/lpr_checker/compilation/proofs                 37s   2GB
Jul 08 02:14:15 Starting examples/lpr_checker/array
Jul 08 02:26:42 Finished examples/lpr_checker/array                           12m26s   3GB
Jul 08 02:26:42 Starting examples/lpr_checker/array/compilation
Jul 08 02:44:55 Finished examples/lpr_checker/array/compilation               18m12s  11GB
Jul 08 02:44:56 Starting examples/lpr_checker/array/compilation/proofs
Jul 08 02:45:46 Finished examples/lpr_checker/array/compilation/proofs           49s   3GB
Jul 08 02:45:46 Starting translator/okasaki-examples
Jul 08 02:50:02 Finished translator/okasaki-examples                           4m16s   1GB
Jul 08 02:50:02 Starting translator/other-examples
Jul 08 02:51:59 Finished translator/other-examples                             1m56s   1GB
Jul 08 02:51:59 Starting compiler/parsing/tests
Jul 08 02:52:24 Finished compiler/parsing/tests                                  24s 632MB
Jul 08 02:52:24 Starting compiler/inference/tests
Jul 08 02:56:56 Finished compiler/inference/tests                              4m30s   4GB
Jul 08 02:56:57 Starting compiler/bootstrap/translation
Jul 08 05:32:53 Finished compiler/bootstrap/translation                     2h35m55s  50GB
Jul 08 05:32:53 Starting unverified/sexpr-bootstrap/x64/64
Jul 08 05:42:44 Finished unverified/sexpr-bootstrap/x64/64                     9m51s   8GB
Jul 08 05:42:45 Starting unverified/sexpr-bootstrap/x64/32
Jul 08 05:50:25 Finished unverified/sexpr-bootstrap/x64/32                     7m39s   8GB
Jul 08 05:50:25 Starting compiler/benchmarks
Jul 08 06:29:13 Finished compiler/benchmarks                                  38m48s   2GB
Jul 08 06:29:14 Starting compiler/bootstrap/compilation/x64/64
Jul 08 21:43:50 Finished compiler/bootstrap/compilation/x64/64             15h14m35s  64GB
Jul 08 21:43:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 08 21:47:15 Finished compiler/bootstrap/compilation/x64/64/proofs          3m25s  14GB
Jul 08 21:47:16 Starting compiler/bootstrap/compilation/x64/32
Jul 09 11:02:23 Finished compiler/bootstrap/compilation/x64/32             13h15m06s  64GB
Jul 09 11:02:23 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 09 11:05:35 Finished compiler/bootstrap/compilation/x64/32/proofs          3m12s  13GB
Jul 09 11:05:36 Starting compiler/bootstrap/compilation/ag32/32
Jul 10 01:55:51 Finished compiler/bootstrap/compilation/ag32/32            14h50m14s  64GB
Jul 10 01:55:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 10 02:17:30 Finished compiler/bootstrap/compilation/ag32/32/proofs        21m39s  26GB
Jul 10 02:17:30 SUCCESS