Job 3348

CakeML:7b20727658bcc4db439797b5145a76c8574198f1
  fix README [May 15 13:24:37]
#1396 (mcandidate-fix)
Merging into:7ed0687ad18fbde4e9755a2d2efcf900ae85b78f
  Merge pull request #1393 from talsewell/pan_shape_merge3 [May 21 00:13:41]
HOL:013245b971ce12307cf33349b37dd370dc11a895
  Fix bad merge of stale mlton fix in prooftrace [May 15 06:11:41]
Machine:pavlova

May 21 00:46:14 Claimed job
May 21 00:46:18 Reusing HOL
May 21 00:46:34 Starting developers
May 21 00:46:39 Finished developers                                               4s 217MB
May 21 00:46:40 Starting developers/bin
May 21 00:46:44 Finished developers/bin                                           3s  94MB
May 21 00:46:45 Starting misc
May 21 00:46:59 Finished misc                                                    12s 596MB
May 21 00:47:00 Starting compiler/proofs
May 21 00:48:16 Finished compiler/proofs                                       1m13s   4GB
May 21 00:48:16 Starting compiler/bootstrap/compilation/x64/64/proofs
May 21 06:33:23 Finished compiler/bootstrap/compilation/x64/64/proofs       5h45m05s 101GB
May 21 06:33:24 Starting semantics/ffi
May 21 06:33:38 Finished semantics/ffi                                           13s 537MB
May 21 06:33:39 Starting semantics
May 21 06:33:43 Finished semantics                                                3s  81MB
May 21 06:33:44 Starting semantics/proofs
May 21 06:34:09 Finished semantics/proofs                                        23s   1GB
May 21 06:34:09 Starting semantics/alt_semantics
May 21 06:34:29 Finished semantics/alt_semantics                                 19s 520MB
May 21 06:34:30 Starting semantics/alt_semantics/proofs
May 21 06:37:48 Finished semantics/alt_semantics/proofs                        3m16s   1GB
May 21 06:37:49 Starting basis/pure
May 21 06:37:53 Finished basis/pure                                               3s  78MB
May 21 06:37:54 Starting translator
May 21 06:39:01 Finished translator                                            1m06s   2GB
May 21 06:39:02 Starting compiler/parsing
May 21 06:39:07 Finished compiler/parsing                                         4s  98MB
May 21 06:39:08 Starting characteristic
May 21 06:39:14 Finished characteristic                                           4s 105MB
May 21 06:39:15 Starting translator/monadic
May 21 06:39:21 Finished translator/monadic                                       5s 117MB
May 21 06:39:22 Starting translator/monadic/monad_base
May 21 06:39:26 Finished translator/monadic/monad_base                            3s  84MB
May 21 06:39:27 Starting profiler
May 21 06:40:00 Finished profiler                                                31s   2GB
May 21 06:40:00 Starting basis
May 21 06:41:46 Finished basis                                                 1m45s   4GB
May 21 06:41:47 Starting compiler
May 21 06:42:01 Finished compiler                                                12s 221MB
May 21 06:42:02 Starting compiler/inference
May 21 06:42:08 Finished compiler/inference                                       4s 107MB
May 21 06:42:08 Starting compiler/backend/reg_alloc
May 21 06:42:13 Finished compiler/backend/reg_alloc                               3s  86MB
May 21 06:42:14 Starting compiler/backend/gc
May 21 06:42:20 Finished compiler/backend/gc                                      5s 137MB
May 21 06:42:21 Starting compiler/backend
May 21 06:42:28 Finished compiler/backend                                         5s 130MB
May 21 06:42:28 Starting compiler/encoders/asm
May 21 06:42:33 Finished compiler/encoders/asm                                    3s  96MB
May 21 06:42:34 Starting compiler/encoders/x64
May 21 06:42:39 Finished compiler/encoders/x64                                    4s 108MB
May 21 06:42:40 Starting compiler/encoders/arm7
May 21 06:42:45 Finished compiler/encoders/arm7                                   4s 109MB
May 21 06:42:46 Starting compiler/encoders/arm8
May 21 06:42:51 Finished compiler/encoders/arm8                                   4s  98MB
May 21 06:42:52 Starting compiler/encoders/arm8_asl May 21 06:42:52 2509s