Job 1966

CakeML:267f75743d871b599b65a3fe4290aedb6f466b59
  Further clean up of basis_ffi.c (with Yong Kiam) [Aug 10 06:07:56]
#899 (ifdef_eval)
Merging into:e9979940966c347b3beefe06532ab8236f167997
  add cdecl around buffers in x64 exporter [Aug 09 15:14:02]
HOL:4dc3e640ed0a0d518b648301406cc676a4973acd
  Holmake: cache/memoise results of wildcard function [Aug 15 01:32:42]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Aug 16 08:17:01 Claimed job
Aug 16 08:18:43 Building HOL
Aug 16 08:30:58 Starting developers
Aug 16 08:31:04 Finished developers                                               5s 107MB
Aug 16 08:31:04 Starting developers/bin
Aug 16 08:32:47 Finished developers/bin                                        1m43s   1GB
Aug 16 08:32:48 Starting semantics/ffi
Aug 16 08:32:57 Finished semantics/ffi                                            9s 196MB
Aug 16 08:32:57 Starting semantics
Aug 16 08:35:42 Finished semantics                                             2m43s   1GB
Aug 16 08:35:42 Starting semantics/proofs
Aug 16 08:43:24 Finished semantics/proofs                                      7m41s   1GB
Aug 16 08:43:24 Starting semantics/alt_semantics
Aug 16 08:43:52 Finished semantics/alt_semantics                                 27s 509MB
Aug 16 08:43:52 Starting semantics/alt_semantics/proofs
Aug 16 08:56:30 Finished semantics/alt_semantics/proofs                       12m37s   1GB
Aug 16 08:56:30 Starting basis/pure
Aug 16 09:00:23 Finished basis/pure                                            3m52s 923MB
Aug 16 09:00:24 Starting translator
Aug 16 09:04:20 Finished translator                                            3m56s   1GB
Aug 16 09:04:21 Starting compiler/parsing
Aug 16 09:05:55 Finished compiler/parsing                                      1m34s   3GB
Aug 16 09:05:56 Starting characteristic
Aug 16 09:13:01 Finished characteristic                                        7m05s   2GB
Aug 16 09:13:02 Starting translator/monadic
Aug 16 09:15:04 Finished translator/monadic                                    2m01s   1GB
Aug 16 09:15:04 Starting basis
Aug 16 10:11:02 Finished basis                                                55m57s  13GB
Aug 16 10:11:02 Starting compiler/inference
Aug 16 10:12:45 Finished compiler/inference                                    1m42s   1GB
Aug 16 10:12:45 Starting compiler/backend/reg_alloc
Aug 16 10:14:33 Finished compiler/backend/reg_alloc                            1m47s   2GB
Aug 16 10:14:34 Starting compiler/backend/gc
Aug 16 10:19:14 Finished compiler/backend/gc                                   4m39s   1GB
Aug 16 10:19:14 Starting compiler/backend
Aug 16 10:25:15 Finished compiler/backend                                      6m00s   3GB
Aug 16 10:25:15 Starting compiler/encoders/asm
Aug 16 10:25:46 Finished compiler/encoders/asm                                   30s 773MB
Aug 16 10:25:46 Starting compiler/encoders/x64
Aug 16 10:26:59 Finished compiler/encoders/x64                                 1m12s 752MB
Aug 16 10:26:59 Starting compiler/encoders/arm7
Aug 16 10:29:23 Finished compiler/encoders/arm7                                2m23s   1GB
Aug 16 10:29:23 Starting compiler/encoders/arm8
Aug 16 10:30:07 Finished compiler/encoders/arm8                                  43s 950MB
Aug 16 10:30:07 Starting compiler/encoders/arm8_asl
Aug 16 13:00:22 Finished compiler/encoders/arm8_asl                         2h30m13s  36GB
Aug 16 13:00:23 Starting compiler/encoders/mips
Aug 16 13:02:04 Finished compiler/encoders/mips                                1m41s   1GB
Aug 16 13:02:05 Starting compiler/encoders/riscv
Aug 16 13:04:05 Finished compiler/encoders/riscv                               1m59s   1GB
Aug 16 13:04:05 Starting compiler/encoders/ag32
Aug 16 13:04:27 Finished compiler/encoders/ag32                                  21s 555MB
Aug 16 13:04:27 Starting compiler/backend/x64
Aug 16 13:04:49 Finished compiler/backend/x64                                    21s   1GB
Aug 16 13:04:50 Starting compiler/backend/arm7
Aug 16 13:05:14 Finished compiler/backend/arm7                                   23s   1GB
Aug 16 13:05:14 Starting compiler/backend/arm8
Aug 16 13:05:36 Finished compiler/backend/arm8                                   21s   1GB
Aug 16 13:05:36 Starting compiler/backend/mips
Aug 16 13:05:58 Finished compiler/backend/mips                                   21s   1GB
Aug 16 13:05:58 Starting compiler/backend/riscv
Aug 16 13:06:20 Finished compiler/backend/riscv                                  21s   1GB
Aug 16 13:06:20 Starting compiler/backend/ag32
Aug 16 13:07:52 Finished compiler/backend/ag32                                 1m31s   1GB
Aug 16 13:07:53 Starting compiler/parsing/proofs
Aug 16 13:11:58 Finished compiler/parsing/proofs                               4m05s   1GB
Aug 16 13:11:59 Starting compiler/inference/proofs
Aug 16 13:14:52 Finished compiler/inference/proofs                             2m53s   1GB
Aug 16 13:14:53 Starting compiler/backend/semantics
Aug 16 13:45:08 Finished compiler/backend/semantics                           30m15s   2GB
Aug 16 13:45:08 Starting compiler/backend/reg_alloc/proofs
Aug 16 13:49:06 Finished compiler/backend/reg_alloc/proofs                     3m57s   1GB
Aug 16 13:49:06 Starting compiler/backend/proofs
Aug 16 14:51:09 Finished compiler/backend/proofs                            1h02m01s  21GB
Aug 16 14:51:09 Starting compiler/backend/serialiser
Aug 16 14:52:43 Finished compiler/backend/serialiser                           1m33s   1GB
Aug 16 14:52:43 Starting compiler/encoders/x64/proofs
Aug 16 15:03:22 Finished compiler/encoders/x64/proofs                         10m39s   4GB
Aug 16 15:03:23 Starting compiler/encoders/arm7/proofs
Aug 16 15:18:01 Finished compiler/encoders/arm7/proofs                        14m37s   3GB
Aug 16 15:18:01 Starting compiler/encoders/arm8/proofs
Aug 16 15:25:32 Finished compiler/encoders/arm8/proofs                         7m31s   1GB
Aug 16 15:25:33 Starting compiler/encoders/arm8_asl/proofs
Aug 16 16:19:47 Finished compiler/encoders/arm8_asl/proofs                    54m13s   6GB
Aug 16 16:19:47 Starting compiler/encoders/mips/proofs
Aug 16 16:31:06 Finished compiler/encoders/mips/proofs                        11m19s   1GB
Aug 16 16:31:07 Starting compiler/encoders/riscv/proofs
Aug 16 16:40:45 Finished compiler/encoders/riscv/proofs                        9m38s   1GB
Aug 16 16:40:45 Starting compiler/encoders/ag32/proofs
Aug 16 16:43:32 Finished compiler/encoders/ag32/proofs                         2m46s   1GB
Aug 16 16:43:32 Starting compiler/backend/x64/proofs
Aug 16 16:43:58 Finished compiler/backend/x64/proofs                             26s   1GB
Aug 16 16:43:59 Starting compiler/backend/arm7/proofs
Aug 16 16:44:25 Finished compiler/backend/arm7/proofs                            26s   1GB
Aug 16 16:44:26 Starting compiler/backend/arm8/proofs
Aug 16 16:44:52 Finished compiler/backend/arm8/proofs                            26s   1GB
Aug 16 16:44:52 Starting compiler/backend/arm8_asl
Aug 16 16:45:13 Finished compiler/backend/arm8_asl                               20s   1GB
Aug 16 16:45:14 Starting compiler/backend/mips/proofs
Aug 16 16:45:40 Finished compiler/backend/mips/proofs                            26s   1GB
Aug 16 16:45:40 Starting compiler/backend/riscv/proofs
Aug 16 16:46:07 Finished compiler/backend/riscv/proofs                           26s   2GB
Aug 16 16:46:08 Starting compiler/backend/ag32/proofs
Aug 16 17:01:06 Finished compiler/backend/ag32/proofs                         14m58s   2GB
Aug 16 17:01:06 Starting compiler/proofs
Aug 16 17:03:32 Finished compiler/proofs                                       2m25s   3GB
Aug 16 17:03:33 Starting candle/set-theory
Aug 16 17:04:08 Finished candle/set-theory                                       35s 944MB
Aug 16 17:04:09 Starting candle/syntax-lib
Aug 16 17:04:22 Finished candle/syntax-lib                                       13s 613MB
Aug 16 17:04:22 Starting candle/standard/syntax
Aug 16 17:06:30 Finished candle/standard/syntax                                2m07s   1GB
Aug 16 17:06:30 Starting candle/standard/semantics
Aug 16 17:08:19 Finished candle/standard/semantics                             1m49s   1GB
Aug 16 17:08:20 Starting candle/standard/monadic
Aug 16 17:10:22 Finished candle/standard/monadic                               2m02s   1GB
Aug 16 17:10:22 Starting candle/standard/ml_kernel
Aug 16 17:17:20 Finished candle/standard/ml_kernel                             6m57s   3GB
Aug 16 17:17:20 Starting candle/overloading/syntax
Aug 16 17:20:46 Finished candle/overloading/syntax                             3m25s   1GB
Aug 16 17:20:46 Starting candle/overloading/semantics
Aug 16 17:33:31 Finished candle/overloading/semantics                         12m44s   2GB
Aug 16 17:33:31 Starting candle/overloading/monadic
Aug 16 17:36:21 Finished candle/overloading/monadic                            2m49s   1GB
Aug 16 17:36:21 Starting candle/overloading/ml_kernel
Aug 16 17:44:18 Finished candle/overloading/ml_kernel                          7m57s   4GB
Aug 16 17:44:19 Starting candle/overloading/ml_checker
Aug 16 17:46:50 Finished candle/overloading/ml_checker                         2m31s   2GB
Aug 16 17:46:51 Starting candle/prover
Aug 16 17:58:03 Finished candle/prover                                        11m11s   3GB
Aug 16 17:58:03 Starting pancake
Aug 16 18:01:10 Finished pancake                                               3m06s   3GB
Aug 16 18:01:10 Starting pancake/ffi
Aug 16 18:01:11 Finished pancake/ffi                                              0s   9MB
Aug 16 18:01:11 Starting pancake/semantics
Aug 16 18:03:46 Finished pancake/semantics                                     2m35s   1GB
Aug 16 18:03:46 Starting pancake/proofs
Aug 16 18:17:15 Finished pancake/proofs                                       13m28s   5GB
Aug 16 18:17:16 Starting characteristic/examples
Aug 16 18:18:44 Finished characteristic/examples                               1m28s   2GB
Aug 16 18:18:44 Starting tutorial/solutions
Aug 16 18:35:22 Finished tutorial/solutions                                   16m36s   8GB
Aug 16 18:35:22 Starting translator/monadic/examples
Aug 16 18:39:22 Finished translator/monadic/examples                           4m00s   2GB
Aug 16 18:39:23 Starting examples
Aug 16 18:50:28 Finished examples                                             11m04s   4GB
Aug 16 18:50:28 Starting examples/compilation/x64
Aug 16 20:58:51 Finished examples/compilation/x64                           2h08m22s  12GB
Aug 16 20:58:52 Starting examples/compilation/x64/proofs
Aug 16 21:00:54 Finished examples/compilation/x64/proofs                       2m02s   3GB
Aug 16 21:00:54 Starting examples/compilation/ag32
Aug 16 21:36:00 Finished examples/compilation/ag32                            35m05s   7GB
Aug 16 21:36:00 Starting examples/compilation/ag32/proofs
Aug 16 21:36:52 Finished examples/compilation/ag32/proofs                        51s   2GB
Aug 16 21:36:52 Starting examples/lpr_checker
Aug 16 21:37:52 Finished examples/lpr_checker                                    59s   1GB
Aug 16 21:37:52 Starting examples/lpr_checker/array
Aug 16 22:15:07 Finished examples/lpr_checker/array                           37m14s   6GB
Aug 16 22:15:07 Starting examples/lpr_checker/array/compilation
Aug 16 22:56:49 Finished examples/lpr_checker/array/compilation               41m41s  26GB
Aug 16 22:56:49 Starting examples/lpr_checker/array/compilation/proofs
Aug 16 22:58:09 Finished examples/lpr_checker/array/compilation/proofs         1m19s   5GB
Aug 16 22:58:09 Starting examples/opentheory
Aug 16 23:09:11 Finished examples/opentheory                                  11m02s   5GB
Aug 16 23:09:12 Starting examples/opentheory
Aug 16 23:09:13 Finished examples/opentheory                                      1s  21MB
Aug 16 23:09:14 Starting examples/opentheory/compilation
Aug 16 23:48:55 Finished examples/opentheory/compilation                      39m41s  19GB
Aug 16 23:48:56 Starting examples/opentheory/compilation/proofs
Aug 16 23:49:54 Finished examples/opentheory/compilation/proofs                  58s   3GB
Aug 16 23:49:54 Starting examples/opentheory/compilation/ag32
Aug 17 00:25:26 Finished examples/opentheory/compilation/ag32                 35m31s  20GB
Aug 17 00:25:26 Starting examples/opentheory/compilation/ag32/proofs
Aug 17 00:27:20 Finished examples/opentheory/compilation/ag32/proofs           1m53s   6GB
Aug 17 00:27:20 Starting examples/sat_encodings
Aug 17 00:29:12 Finished examples/sat_encodings                                1m52s 868MB
Aug 17 00:29:13 Starting examples/sat_encodings/case_studies
Aug 17 00:30:57 Finished examples/sat_encodings/case_studies                   1m43s 721MB
Aug 17 00:30:57 Starting examples/sat_encodings/translation
Aug 17 00:37:00 Finished examples/sat_encodings/translation                    6m02s   3GB
Aug 17 00:37:00 Starting examples/sat_encodings/translation/compilation
Aug 17 01:30:13 Finished examples/sat_encodings/translation/compilation       53m10s  22GB
Aug 17 01:30:13 Starting examples/deflate
Aug 17 01:31:06 Finished examples/deflate                                        52s 751MB
Aug 17 01:31:06 Starting examples/deflate/translation
Aug 17 01:32:47 Finished examples/deflate/translation                          1m40s   3GB
Aug 17 01:32:47 Starting examples/deflate/translation/compilation
Aug 17 01:56:57 Finished examples/deflate/translation/compilation             24m09s  10GB
Aug 17 01:56:57 Starting translator/okasaki-examples
Aug 17 02:02:13 Finished translator/okasaki-examples                           5m15s   1GB
Aug 17 02:02:13 Starting translator/other-examples
Aug 17 02:04:53 Finished translator/other-examples                             2m39s   1GB
Aug 17 02:04:54 Starting compiler/parsing/tests
Aug 17 02:05:24 Finished compiler/parsing/tests                                  30s 577MB
Aug 17 02:05:25 Starting compiler/inference/tests
Aug 17 02:14:18 Finished compiler/inference/tests                              8m52s   6GB
Aug 17 02:14:18 Starting compiler/printing/test
Aug 17 02:18:10 Finished compiler/printing/test                                3m51s   3GB
Aug 17 02:18:11 Starting icing/flover
Aug 17 03:09:36 Finished icing/flover                                         51m25s   1GB
Aug 17 03:09:37 Starting icing/
Aug 17 04:26:21 Finished icing/                                             1h16m43s   5GB
Aug 17 04:26:21 Starting icing/examples
Aug 17 04:27:59 Finished icing/examples                                        1m37s   5GB
Aug 17 04:27:59 Starting compiler/repl
Aug 17 04:41:37 Finished compiler/repl                                        13m37s   4GB
Aug 17 04:41:37 Starting compiler/bootstrap/translation
Aug 17 09:20:45 Finished compiler/bootstrap/translation                     4h39m06s  42GB
Aug 17 09:20:45 Starting unverified/sexpr-bootstrap/x64/64
Aug 17 09:32:03 Finished unverified/sexpr-bootstrap/x64/64                    11m17s   8GB
Aug 17 09:32:03 Starting unverified/sexpr-bootstrap/x64/32
Aug 17 09:40:40 Finished unverified/sexpr-bootstrap/x64/32                     8m37s  11GB
Aug 17 09:40:41 Starting compiler/benchmarks
Aug 17 09:40:44 Finished compiler/benchmarks                                      3s  28MB
Aug 17 09:40:44 Starting compiler/bootstrap/compilation/x64/64
Aug 17 20:45:07 Finished compiler/bootstrap/compilation/x64/64             11h04m21s  63GB
Aug 17 20:45:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 17 21:03:54 Finished compiler/bootstrap/compilation/x64/64/proofs         18m46s  26GB
Aug 17 21:03:55 Starting compiler/bootstrap/compilation/x64/32
Aug 18 03:34:29 Finished compiler/bootstrap/compilation/x64/32              6h30m33s  55GB
Aug 18 03:34:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 18 03:37:04 Finished compiler/bootstrap/compilation/x64/32/proofs          2m34s  16GB
Aug 18 03:37:04 Starting compiler/bootstrap/compilation/ag32/32
Aug 18 10:21:53 Finished compiler/bootstrap/compilation/ag32/32             6h44m47s  64GB
Aug 18 10:21:54 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 18 10:34:03 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m09s  17GB
Aug 18 10:34:03 SUCCESS