Job 1836

CakeML:96acacf4e5bd01ab4795a41726c782c82682288c
  Further fix in `examples` [Mar 30 10:32:04]
#869 (ffi-changes)
Merging into:94ac4b68ba71917ede94f5bb752deb85333acb21
  Fix a build error caused by HOL-Theorem-Prover/HOL@60adf92493ffff [Mar 17 04:55:12]
HOL:e423188b196a54551b2b4fddb00dc960d0ee96c4
  Minkowski's inequality and its applications in Probability (#1009) [Mar 25 02:18:56]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Mar 30 10:32:31 Claimed job
Mar 30 10:32:34 Reusing HOL
Mar 30 10:32:47 Starting developers
Mar 30 10:32:51 Finished developers                                               4s 126MB
Mar 30 10:32:51 Starting developers/bin
Mar 30 10:33:45 Finished developers/bin                                          54s   1GB
Mar 30 10:33:46 Starting semantics/ffi
Mar 30 10:33:55 Finished semantics/ffi                                            9s 236MB
Mar 30 10:33:56 Starting semantics
Mar 30 10:36:40 Finished semantics                                             2m44s   1GB
Mar 30 10:36:41 Starting semantics/proofs
Mar 30 10:41:57 Finished semantics/proofs                                      5m16s   2GB
Mar 30 10:41:57 Starting semantics/alt_semantics
Mar 30 10:42:17 Finished semantics/alt_semantics                                 19s 468MB
Mar 30 10:42:17 Starting semantics/alt_semantics/proofs
Mar 30 10:44:59 Finished semantics/alt_semantics/proofs                        2m42s   1GB
Mar 30 10:44:59 Starting basis/pure
Mar 30 10:46:13 Finished basis/pure                                            1m13s 900MB
Mar 30 10:46:13 Starting translator
Mar 30 10:49:29 Finished translator                                            3m16s   1GB
Mar 30 10:49:30 Starting compiler/parsing
Mar 30 10:50:56 Finished compiler/parsing                                      1m26s   2GB
Mar 30 10:50:56 Starting characteristic
Mar 30 10:57:33 Finished characteristic                                        6m36s   1GB
Mar 30 10:57:33 Starting translator/monadic
Mar 30 10:59:32 Finished translator/monadic                                    1m59s   1GB
Mar 30 10:59:32 Starting basis
Mar 30 11:47:17 Finished basis                                                47m43s  25GB
Mar 30 11:47:17 Starting compiler/inference
Mar 30 11:48:42 Finished compiler/inference                                    1m25s   1GB
Mar 30 11:48:42 Starting compiler/backend/reg_alloc
Mar 30 11:50:30 Finished compiler/backend/reg_alloc                            1m48s   1GB
Mar 30 11:50:30 Starting compiler/backend/gc
Mar 30 11:55:04 Finished compiler/backend/gc                                   4m33s   2GB
Mar 30 11:55:04 Starting compiler/backend
Mar 30 12:00:57 Finished compiler/backend                                      5m53s   2GB
Mar 30 12:00:57 Starting compiler/encoders/asm
Mar 30 12:01:28 Finished compiler/encoders/asm                                   30s 744MB
Mar 30 12:01:28 Starting compiler/encoders/x64
Mar 30 12:02:00 Finished compiler/encoders/x64                                   31s 663MB
Mar 30 12:02:00 Starting compiler/encoders/arm7
Mar 30 12:03:01 Finished compiler/encoders/arm7                                1m01s 951MB
Mar 30 12:03:01 Starting compiler/encoders/arm8
Mar 30 12:03:19 Finished compiler/encoders/arm8                                  17s 647MB
Mar 30 12:03:19 Starting compiler/encoders/arm8_asl
Mar 30 12:05:56 Finished compiler/encoders/arm8_asl                            2m36s   1GB
Mar 30 12:05:56 Starting compiler/encoders/mips
Mar 30 12:06:18 Finished compiler/encoders/mips                                  22s   1GB
Mar 30 12:06:18 Starting compiler/encoders/riscv
Mar 30 12:06:38 Finished compiler/encoders/riscv                                 19s   1GB
Mar 30 12:06:38 Starting compiler/encoders/ag32
Mar 30 12:07:00 Finished compiler/encoders/ag32                                  22s 615MB
Mar 30 12:07:00 Starting compiler/backend/x64
Mar 30 12:07:24 Finished compiler/backend/x64                                    22s   1GB
Mar 30 12:07:24 Starting compiler/backend/arm7
Mar 30 12:07:48 Finished compiler/backend/arm7                                   24s   1GB
Mar 30 12:07:48 Starting compiler/backend/arm8
Mar 30 12:08:10 Finished compiler/backend/arm8                                   21s   1GB
Mar 30 12:08:10 Starting compiler/backend/mips
Mar 30 12:08:33 Finished compiler/backend/mips                                   22s   1GB
Mar 30 12:08:33 Starting compiler/backend/riscv
Mar 30 12:08:58 Finished compiler/backend/riscv                                  24s   1GB
Mar 30 12:08:58 Starting compiler/backend/ag32
Mar 30 12:10:27 Finished compiler/backend/ag32                                 1m29s   1GB
Mar 30 12:10:27 Starting compiler/parsing/proofs
Mar 30 12:14:15 Finished compiler/parsing/proofs                               3m47s   1GB
Mar 30 12:14:15 Starting compiler/inference/proofs
Mar 30 12:16:51 Finished compiler/inference/proofs                             2m35s   1GB
Mar 30 12:16:51 Starting compiler/backend/semantics
Mar 30 12:46:03 Finished compiler/backend/semantics                           29m12s   2GB
Mar 30 12:46:04 Starting compiler/backend/reg_alloc/proofs
Mar 30 12:49:43 Finished compiler/backend/reg_alloc/proofs                     3m36s 913MB
Mar 30 12:49:44 Starting compiler/backend/proofs
Mar 30 13:42:26 Finished compiler/backend/proofs                              52m42s  18GB
Mar 30 13:42:26 Starting compiler/backend/serialiser
Mar 30 13:44:07 Finished compiler/backend/serialiser                           1m40s   2GB
Mar 30 13:44:07 Starting compiler/encoders/x64/proofs
Mar 30 13:53:53 Finished compiler/encoders/x64/proofs                          9m43s   4GB
Mar 30 13:53:53 Starting compiler/encoders/arm7/proofs
Mar 30 14:07:07 Finished compiler/encoders/arm7/proofs                        13m13s   6GB
Mar 30 14:07:07 Starting compiler/encoders/arm8/proofs
Mar 30 14:13:56 Finished compiler/encoders/arm8/proofs                         6m48s   1GB
Mar 30 14:13:56 Starting compiler/encoders/arm8_asl/proofs
Mar 30 14:29:32 Finished compiler/encoders/arm8_asl/proofs                    15m35s   2GB
Mar 30 14:29:32 Starting compiler/encoders/mips/proofs
Mar 30 14:39:32 Finished compiler/encoders/mips/proofs                         9m59s   3GB
Mar 30 14:39:32 Starting compiler/encoders/riscv/proofs
Mar 30 14:48:42 Finished compiler/encoders/riscv/proofs                        9m09s   1GB
Mar 30 14:48:42 Starting compiler/encoders/ag32/proofs
Mar 30 14:51:22 Finished compiler/encoders/ag32/proofs                         2m40s 838MB
Mar 30 14:51:22 Starting compiler/backend/x64/proofs
Mar 30 14:51:52 Finished compiler/backend/x64/proofs                             29s   1GB
Mar 30 14:51:52 Starting compiler/backend/arm7/proofs
Mar 30 14:52:23 Finished compiler/backend/arm7/proofs                            30s   1GB
Mar 30 14:52:23 Starting compiler/backend/arm8/proofs
Mar 30 14:52:53 Finished compiler/backend/arm8/proofs                            29s   1GB
Mar 30 14:52:53 Starting compiler/backend/arm8_asl
Mar 30 14:53:18 Finished compiler/backend/arm8_asl                               24s   1GB
Mar 30 14:53:18 Starting compiler/backend/mips/proofs
Mar 30 14:53:47 Finished compiler/backend/mips/proofs                            29s   1GB
Mar 30 14:53:48 Starting compiler/backend/riscv/proofs
Mar 30 14:54:18 Finished compiler/backend/riscv/proofs                           29s   1GB
Mar 30 14:54:19 Starting compiler/backend/ag32/proofs
Mar 30 15:07:15 Finished compiler/backend/ag32/proofs                         12m56s   2GB
Mar 30 15:07:15 Starting compiler/proofs
Mar 30 15:09:26 Finished compiler/proofs                                       2m10s   3GB
Mar 30 15:09:26 Starting candle/set-theory
Mar 30 15:10:02 Finished candle/set-theory                                       36s 987MB
Mar 30 15:10:03 Starting candle/syntax-lib
Mar 30 15:10:16 Finished candle/syntax-lib                                       13s 654MB
Mar 30 15:10:16 Starting candle/standard/syntax
Mar 30 15:12:24 Finished candle/standard/syntax                                2m07s   1GB
Mar 30 15:12:24 Starting candle/standard/semantics
Mar 30 15:14:18 Finished candle/standard/semantics                             1m54s   1GB
Mar 30 15:14:18 Starting candle/standard/monadic
Mar 30 15:16:16 Finished candle/standard/monadic                               1m57s   1GB
Mar 30 15:16:16 Starting candle/standard/ml_kernel
Mar 30 15:22:39 Finished candle/standard/ml_kernel                             6m22s   2GB
Mar 30 15:22:39 Starting candle/overloading/syntax
Mar 30 15:25:54 Finished candle/overloading/syntax                             3m15s   1GB
Mar 30 15:25:54 Starting candle/overloading/semantics
Mar 30 15:38:09 Finished candle/overloading/semantics                         12m14s   2GB
Mar 30 15:38:09 Starting candle/overloading/monadic
Mar 30 15:40:48 Finished candle/overloading/monadic                            2m38s   1GB
Mar 30 15:40:48 Starting candle/overloading/ml_kernel
Mar 30 15:48:04 Finished candle/overloading/ml_kernel                          7m15s   3GB
Mar 30 15:48:04 Starting candle/overloading/ml_checker
Mar 30 15:50:40 Finished candle/overloading/ml_checker                         2m35s   2GB
Mar 30 15:50:40 Starting candle/prover
Mar 30 15:59:01 Finished candle/prover                                         8m17s   2GB
Mar 30 15:59:01 Starting pancake
Mar 30 16:02:50 Finished pancake                                               3m48s   3GB
Mar 30 16:02:50 Starting pancake/ffi
Mar 30 16:02:50 Finished pancake/ffi                                              0s  35MB
Mar 30 16:02:50 Starting pancake/semantics
Mar 30 16:05:24 Finished pancake/semantics                                     2m34s   1GB
Mar 30 16:05:25 Starting pancake/proofs
Mar 30 16:17:43 Finished pancake/proofs                                       12m17s   6GB
Mar 30 16:17:43 Starting characteristic/examples
Mar 30 16:19:16 Finished characteristic/examples                               1m33s   3GB
Mar 30 16:19:17 Starting tutorial/solutions
Mar 30 16:36:47 Finished tutorial/solutions                                   17m30s   9GB
Mar 30 16:36:47 Starting translator/monadic/examples
Mar 30 16:40:53 Finished translator/monadic/examples                           4m06s   2GB
Mar 30 16:40:53 Starting examples
Mar 30 16:51:11 Finished examples                                             10m17s   4GB
Mar 30 16:51:11 Starting examples/compilation/x64
Mar 30 19:45:04 Finished examples/compilation/x64                           2h53m52s  17GB
Mar 30 19:45:05 Starting examples/compilation/x64/proofs
Mar 30 19:47:39 Finished examples/compilation/x64/proofs                       2m34s   3GB
Mar 30 19:47:39 Starting examples/compilation/ag32
Mar 30 20:34:43 Finished examples/compilation/ag32                            47m03s   8GB
Mar 30 20:34:44 Starting examples/compilation/ag32/proofs
Mar 30 20:35:57 Finished examples/compilation/ag32/proofs                      1m13s   3GB
Mar 30 20:35:58 Starting examples/cost
Mar 30 21:44:33 Finished examples/cost                                      1h08m32s   8GB
Mar 30 21:44:33 Starting examples/lpr_checker
Mar 30 21:45:44 Finished examples/lpr_checker                                  1m10s 924MB
Mar 30 21:45:44 Starting examples/lpr_checker/array
Mar 30 22:15:17 Finished examples/lpr_checker/array                           29m33s   6GB
Mar 30 22:15:17 Starting examples/lpr_checker/array/compilation
Mar 30 23:50:03 Finished examples/lpr_checker/array/compilation             1h34m44s  17GB
Mar 30 23:50:03 Starting examples/lpr_checker/array/compilation/proofs
Mar 30 23:52:03 Finished examples/lpr_checker/array/compilation/proofs         1m59s   3GB
Mar 30 23:52:03 Starting examples/opentheory
Mar 31 00:02:13 Finished examples/opentheory                                  10m10s   5GB
Mar 31 00:02:14 Starting examples/opentheory
Mar 31 00:02:15 Finished examples/opentheory                                      1s 133MB
Mar 31 00:02:15 Starting examples/opentheory/compilation
Mar 31 00:49:41 Finished examples/opentheory/compilation                      47m26s  24GB
Mar 31 00:49:42 Starting examples/opentheory/compilation/proofs
Mar 31 00:51:03 Finished examples/opentheory/compilation/proofs                1m20s   3GB
Mar 31 00:51:03 Starting examples/opentheory/compilation/ag32
Mar 31 01:30:39 Finished examples/opentheory/compilation/ag32                 39m36s  29GB
Mar 31 01:30:39 Starting examples/opentheory/compilation/ag32/proofs
Mar 31 01:33:27 Finished examples/opentheory/compilation/ag32/proofs           2m47s   2GB
Mar 31 01:33:27 Starting examples/sat_encodings
Mar 31 01:35:34 Finished examples/sat_encodings                                2m06s   1GB
Mar 31 01:35:34 Starting examples/sat_encodings/case_studies
Mar 31 01:37:20 Finished examples/sat_encodings/case_studies                   1m46s 704MB
Mar 31 01:37:20 Starting examples/sat_encodings/translation
Mar 31 01:43:12 Finished examples/sat_encodings/translation                    5m51s   3GB
Mar 31 01:43:12 Starting examples/sat_encodings/translation/compilation
Mar 31 02:35:57 Finished examples/sat_encodings/translation/compilation       52m42s  12GB
Mar 31 02:35:57 Starting translator/okasaki-examples
Mar 31 02:40:53 Finished translator/okasaki-examples                           4m55s   1GB
Mar 31 02:40:53 Starting translator/other-examples
Mar 31 02:42:53 Finished translator/other-examples                             2m00s   1GB
Mar 31 02:42:53 Starting compiler/parsing/tests
Mar 31 02:43:23 Finished compiler/parsing/tests                                  30s 539MB
Mar 31 02:43:24 Starting compiler/inference/tests
Mar 31 02:51:30 Finished compiler/inference/tests                              8m06s   3GB
Mar 31 02:51:30 Starting compiler/printing/test
Mar 31 02:55:16 Finished compiler/printing/test                                3m46s   2GB
Mar 31 02:55:16 Starting compiler/repl
Mar 31 03:08:29 Finished compiler/repl                                        13m12s   8GB
Mar 31 03:08:29 Starting compiler/bootstrap/translation
Mar 31 07:33:28 Finished compiler/bootstrap/translation                     4h24m58s  22GB
Mar 31 07:33:28 Starting unverified/sexpr-bootstrap/x64/64
Mar 31 07:45:55 Finished unverified/sexpr-bootstrap/x64/64                    12m26s   8GB
Mar 31 07:45:55 Starting unverified/sexpr-bootstrap/x64/32
Mar 31 07:55:46 Finished unverified/sexpr-bootstrap/x64/32                     9m50s   8GB
Mar 31 07:55:46 Starting compiler/benchmarks
Mar 31 07:56:45 Finished compiler/benchmarks                                     59s 673MB
Mar 31 07:56:45 Starting compiler/bootstrap/compilation/x64/64 Mar 31 07:56:45 2663s