Job 470

CakeML:b01d325b5d19cdaceefa144cacf2549b55ec363a
  Revert changes to compilationLib [Sep 01 11:12:38]
#519 (basis_ffi-fix)
Merging into:f6d8ed2ee71091a75c6c7c634490380e8abe11a9
  Fix typo [Aug 28 07:46:30]
HOL:a03a2b6709730d61dfba45737b3d08b1782b0b8c
  Fix error where record type can't be inferred by Moscow ML [Sep 02 11:25:13]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Sep 03 00:16:42 Claimed job
Sep 03 00:17:43 Building HOL
Sep 03 00:27:12 Starting developers/bin
Sep 03 00:27:48 Finished developers/bin                                          35s 912MB
Sep 03 00:27:49 Starting semantics/ffi
Sep 03 00:28:28 Finished semantics/ffi                                           38s 386MB
Sep 03 00:28:29 Starting semantics
Sep 03 00:29:54 Finished semantics                                             1m24s 896MB
Sep 03 00:29:55 Starting semantics/proofs
Sep 03 00:32:37 Finished semantics/proofs                                      2m41s   1GB
Sep 03 00:32:38 Starting basis/pure
Sep 03 00:36:07 Finished basis/pure                                            3m29s 749MB
Sep 03 00:36:08 Starting translator
Sep 03 00:37:15 Finished translator                                            1m06s 863MB
Sep 03 00:37:16 Starting compiler/parsing
Sep 03 00:38:51 Finished compiler/parsing                                      1m34s   2GB
Sep 03 00:38:51 Starting characteristic
Sep 03 00:41:17 Finished characteristic                                        2m25s   1GB
Sep 03 00:41:18 Starting translator/monadic
Sep 03 00:42:42 Finished translator/monadic                                    1m23s   1GB
Sep 03 00:42:43 Starting basis
Sep 03 00:59:10 Finished basis                                                16m25s   3GB
Sep 03 00:59:10 Starting compiler/inference
Sep 03 01:00:53 Finished compiler/inference                                    1m42s   1GB
Sep 03 01:00:54 Starting compiler/backend/reg_alloc
Sep 03 01:01:42 Finished compiler/backend/reg_alloc                              47s   1GB
Sep 03 01:01:43 Starting compiler/backend/gc
Sep 03 01:10:29 Finished compiler/backend/gc                                   8m45s   3GB
Sep 03 01:10:29 Starting compiler/backend
Sep 03 01:10:33 Finished compiler/backend                                         2s  18MB
Sep 03 01:10:34 Starting compiler/encoders/asm
Sep 03 01:10:35 Finished compiler/encoders/asm                                    1s  13MB
Sep 03 01:10:36 Starting compiler/encoders/x64
Sep 03 01:11:28 Finished compiler/encoders/x64                                   51s 592MB
Sep 03 01:11:29 Starting compiler/encoders/arm6
Sep 03 01:13:14 Finished compiler/encoders/arm6                                1m44s   1GB
Sep 03 01:13:15 Starting compiler/encoders/arm8
Sep 03 01:13:41 Finished compiler/encoders/arm8                                  26s 483MB
Sep 03 01:13:42 Starting compiler/encoders/mips
Sep 03 01:14:41 Finished compiler/encoders/mips                                  57s 842MB
Sep 03 01:14:41 Starting compiler/encoders/riscv
Sep 03 01:15:42 Finished compiler/encoders/riscv                                 59s 735MB
Sep 03 01:15:43 Starting compiler/backend/x64
Sep 03 01:16:00 Finished compiler/backend/x64                                    17s 803MB
Sep 03 01:16:01 Starting compiler/backend/arm6
Sep 03 01:16:20 Finished compiler/backend/arm6                                   18s   1GB
Sep 03 01:16:21 Starting compiler/backend/arm8
Sep 03 01:16:40 Finished compiler/backend/arm8                                   18s   1GB
Sep 03 01:16:41 Starting compiler/backend/mips
Sep 03 01:17:01 Finished compiler/backend/mips                                   18s   1GB
Sep 03 01:17:01 Starting compiler/backend/riscv
Sep 03 01:17:20 Finished compiler/backend/riscv                                  17s   1GB
Sep 03 01:17:21 Starting compiler/parsing/proofs
Sep 03 01:23:20 Finished compiler/parsing/proofs                               5m59s   1GB
Sep 03 01:23:21 Starting compiler/inference/proofs
Sep 03 01:26:11 Finished compiler/inference/proofs                             2m49s   1GB
Sep 03 01:26:12 Starting compiler/backend/semantics
Sep 03 01:35:09 Finished compiler/backend/semantics                            8m56s   2GB
Sep 03 01:35:10 Starting compiler/backend/reg_alloc/proofs
Sep 03 01:42:33 Finished compiler/backend/reg_alloc/proofs                     7m22s 525MB
Sep 03 01:42:34 Starting compiler/backend/proofs
Sep 03 02:17:49 Finished compiler/backend/proofs                              35m13s   3GB
Sep 03 02:17:49 Starting compiler/encoders/x64/proofs
Sep 03 02:25:11 Finished compiler/encoders/x64/proofs                          7m21s   5GB
Sep 03 02:25:12 Starting compiler/encoders/arm6/proofs
Sep 03 02:32:43 Finished compiler/encoders/arm6/proofs                         7m30s   3GB
Sep 03 02:32:44 Starting compiler/encoders/arm8/proofs
Sep 03 02:38:05 Finished compiler/encoders/arm8/proofs                         5m20s 996MB
Sep 03 02:38:05 Starting compiler/encoders/mips/proofs
Sep 03 02:45:32 Finished compiler/encoders/mips/proofs                         7m25s   1GB
Sep 03 02:45:33 Starting compiler/encoders/riscv/proofs
Sep 03 02:53:26 Finished compiler/encoders/riscv/proofs                        7m53s 761MB
Sep 03 02:53:27 Starting compiler/backend/x64/proofs
Sep 03 02:53:48 Finished compiler/backend/x64/proofs                             20s   1GB
Sep 03 02:53:49 Starting compiler/backend/arm6/proofs
Sep 03 02:54:12 Finished compiler/backend/arm6/proofs                            22s 994MB
Sep 03 02:54:13 Starting compiler/backend/arm8/proofs
Sep 03 02:54:33 Finished compiler/backend/arm8/proofs                            18s 770MB
Sep 03 02:54:33 Starting compiler/backend/mips/proofs
Sep 03 02:54:54 Finished compiler/backend/mips/proofs                            20s   1GB
Sep 03 02:54:55 Starting compiler/backend/riscv/proofs
Sep 03 02:55:16 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 03 02:55:17 Starting compiler/proofs
Sep 03 02:56:36 Finished compiler/proofs                                       1m18s   1GB
Sep 03 02:56:37 Starting candle/set-theory
Sep 03 02:57:08 Finished candle/set-theory                                       30s 584MB
Sep 03 02:57:09 Starting candle/syntax-lib
Sep 03 02:57:19 Finished candle/syntax-lib                                       10s 556MB
Sep 03 02:57:20 Starting candle/standard/syntax
Sep 03 02:58:54 Finished candle/standard/syntax                                1m32s 651MB
Sep 03 02:58:54 Starting candle/standard/semantics
Sep 03 03:00:15 Finished candle/standard/semantics                             1m19s 931MB
Sep 03 03:00:15 Starting candle/standard/monadic
Sep 03 03:01:48 Finished candle/standard/monadic                               1m32s 878MB
Sep 03 03:01:49 Starting candle/standard/ml_kernel
Sep 03 03:17:42 Finished candle/standard/ml_kernel                            15m51s   5GB
Sep 03 03:17:42 Starting candle/standard/opentheory
Sep 03 03:26:26 Finished candle/standard/opentheory                            8m42s   7GB
Sep 03 03:26:27 Starting characteristic/examples
Sep 03 03:28:04 Finished characteristic/examples                               1m37s   2GB
Sep 03 03:28:05 Starting tutorial/solutions
Sep 03 03:41:39 Finished tutorial/solutions                                   13m33s   6GB
Sep 03 03:41:40 Starting translator/monadic/examples
Sep 03 03:43:24 Finished translator/monadic/examples                           1m43s   2GB
Sep 03 03:43:24 Starting examples
Sep 03 03:49:01 Finished examples                                              5m35s   5GB
Sep 03 03:49:01 Starting examples/compilation
Sep 03 05:43:02 Finished examples/compilation                               1h53m59s  11GB
Sep 03 05:43:03 Starting examples/compilation/proofs
Sep 03 05:45:01 Finished examples/compilation/proofs                           1m57s   3GB
Sep 03 05:45:01 Starting compiler/benchmarks
Sep 03 05:45:02 Finished compiler/benchmarks                                      0s   4MB
Sep 03 05:45:03 Starting translator/okasaki-examples
Sep 03 05:48:31 Finished translator/okasaki-examples                           3m27s   2GB
Sep 03 05:48:32 Starting translator/other-examples
Sep 03 05:52:05 Finished translator/other-examples                             3m32s   1GB
Sep 03 05:52:06 Starting compiler/parsing/tests
Sep 03 05:52:31 Finished compiler/parsing/tests                                  24s 319MB
Sep 03 05:52:32 Starting compiler/inference/tests
Sep 03 05:56:34 Finished compiler/inference/tests                              4m01s   3GB
Sep 03 05:56:35 Starting compiler/bootstrap/translation Sep 03 05:56:35 32430s