MLton 20011006
Norman Ramsey
nr@eecs.harvard.edu
Wed, 17 Oct 2001 17:45:20 -0400
------- =_aaaaaaaaaa0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <24698.1003355114.1@labrador.eecs.harvard.edu>
It seems to me to be working -- but I think for me, 80% of RAM would
be a safer number.
Norman
------- =_aaaaaaaaaa0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <24698.1003355114.2@labrador.eecs.harvard.edu>
MLton starting
Compile SML starting
pre codegen starting
/tmp/fileJoHMxY.67.S 10848: GC
Starting gc.
Unmapping toSpace
fromSpace 22,302,720 toSpace 22,441,984
Finished gc.
time(ms): 130
live(bytes): 4,527,108 (20.3%)
/tmp/fileJoHMxY.67.S 10848: GC
Starting gc.
fromSpace 22,441,984 toSpace 36,360,192
Finished gc.
time(ms): 180
live(bytes): 6,475,060 (28.9%)
/tmp/fileJoHMxY.67.S 10848: GC
Starting gc.
fromSpace 36,360,192 toSpace 51,941,376
Finished gc.
time(ms): 270
live(bytes): 9,088,420 (25.0%)
/tmp/fileJoHMxY.67.S 10848: GC
Starting gc.
fromSpace 51,941,376 toSpace 72,847,360
Finished gc.
time(ms): 390
live(bytes): 13,150,768 (25.3%)
/tmp/fileJoHMxY.67.S 10848: GC
Starting gc.
fromSpace 72,847,360 toSpace 105,349,120
Finished gc.
time(ms): 560
live(bytes): 18,664,716 (25.6%)
/tmp/fileJoHMxY.67.S 10848: GC
Starting gc.
fromSpace 105,349,120 toSpace 149,458,944
Finished gc.
time(ms): 820
live(bytes): 26,817,372 (25.5%)
/tmp/file8HGVyf.40.S 1979: GC
Starting gc.
fromSpace 149,458,944 toSpace 216,649,728
Finished gc.
time(ms): 1,310
live(bytes): 38,422,672 (25.7%)
/tmp/filejYpgTY.64.S 13021: GC
Starting gc.
fromSpace 216,649,728 toSpace 225,017,856
Finished gc.
time(ms): 1,760
live(bytes): 45,667,708 (21.1%)
gcc -DNODEBUG -DMLton_safe=TRUE -DExn_keepHistory=FALSE \
-DMLton_detectOverflow=TRUE -I/usr/local/lib/mlton/include -o \
/tmp/filekx4Zk7 /tmp/file6rITOl.c -L/usr/local/lib/mlton/lib \
-lmlton -lm -lgmp
/tmp/filekx4Zk7 /tmp/fileIrkTo7
/tmp/file3Ilef6.35.S 9133: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,850
live(bytes): 44,797,304 (19.9%)
/tmp/file3Ilef6.35.S 4713: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,430
live(bytes): 77,572,184 (34.5%)
/tmp/fileXWdONg.27.S 4455: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,250
live(bytes): 89,340,212 (39.7%)
/tmp/filejYpgTY.64.S 15413: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,970
live(bytes): 98,336,320 (43.7%)
/tmp/filehIzu5y.26.S 17232: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,120
live(bytes): 106,501,372 (47.3%)
/tmp/filesTOh6j.60.S 9171: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 4,950
live(bytes): 148,001,860 (65.8%)
/tmp/fileF0b61i.10.S 14601: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,370
live(bytes): 45,505,008 (20.2%)
/tmp/fileF0b61i.10.S 11057: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,230
live(bytes): 43,630,400 (19.4%)
/tmp/fileF0b61i.10.S 2431: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,270
live(bytes): 44,076,944 (19.6%)
/tmp/filex49sz2.66.S 16424: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,300
live(bytes): 42,288,460 (18.8%)
/tmp/fileUzklwV.8.S 16277: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,730
live(bytes): 62,345,080 (27.7%)
/tmp/filed85Ebc.62.S 2608: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,600
live(bytes): 52,534,612 (23.3%)
/tmp/filed85Ebc.62.S 2608: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,200
live(bytes): 71,541,688 (31.8%)
/tmp/filehIzu5y.26.S 4142: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,980
live(bytes): 76,013,912 (33.8%)
/tmp/filehAhwde.6.S 9317: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,170
live(bytes): 91,272,060 (40.6%)
/tmp/filety9aTu.54.S 21623: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,840
live(bytes): 117,492,456 (52.2%)
/tmp/fileXgVk7S.5.S 22279: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 4,410
live(bytes): 138,251,160 (61.4%)
/tmp/file6x4DU5.57.S 16949: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 4,900
live(bytes): 155,123,256 (68.9%)
/tmp/filebGpIv0.55.S 3229: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 5,210
live(bytes): 168,633,168 (74.9%)
/tmp/filevqJYhQ.4.S 49963: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,070
live(bytes): 88,479,568 (39.3%)
/tmp/filety9aTu.54.S 146: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 4,230
live(bytes): 119,001,896 (52.9%)
/tmp/filety9aTu.54.S 9027: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,590
live(bytes): 71,408,124 (31.7%)
/tmp/filety9aTu.54.S 11906: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,580
live(bytes): 68,780,456 (30.6%)
/tmp/filejYpgTY.64.S 18483: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,090
live(bytes): 61,654,624 (27.4%)
/tmp/filety9aTu.54.S 11610: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,380
live(bytes): 61,396,596 (27.3%)
/tmp/fileKdcVOv.53.S 3197: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 4,210
live(bytes): 109,688,096 (48.7%)
/tmp/filety9aTu.54.S 11239: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,190
live(bytes): 54,828,796 (24.4%)
/tmp/filejYpgTY.64.S 14683: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,850
live(bytes): 100,819,460 (44.8%)
/tmp/filem9gD2L.43.S 4200: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,440
live(bytes): 99,009,616 (44.0%)
/tmp/filety9aTu.54.S 12491: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,920
live(bytes): 49,497,140 (22.0%)
/tmp/filety9aTu.54.S 1161: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,970
live(bytes): 49,698,044 (22.1%)
/tmp/fileu7oL4t.46.S 7141: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,470
live(bytes): 37,677,448 (16.7%)
/tmp/fileITsjGz.59.S 1508: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,420
live(bytes): 39,465,016 (17.5%)
/tmp/filety9aTu.54.S 11192: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,110
live(bytes): 54,774,312 (24.3%)
/tmp/filety9aTu.54.S 6424: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,410
live(bytes): 63,873,144 (28.4%)
/tmp/filety9aTu.54.S 3926: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,350
live(bytes): 62,708,716 (27.9%)
/tmp/filety9aTu.54.S 12491: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,190
live(bytes): 63,473,140 (28.2%)
/tmp/fileSJKVCd.44.S 17777: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,340
live(bytes): 62,614,576 (27.8%)
/tmp/filety9aTu.54.S 658: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,070
live(bytes): 54,445,776 (24.2%)
/tmp/filety9aTu.54.S 658: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,900
live(bytes): 49,327,416 (21.9%)
/tmp/filety9aTu.54.S 11610: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,780
live(bytes): 47,962,952 (21.3%)
/tmp/filejYpgTY.64.S 18313: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,890
live(bytes): 50,650,080 (22.5%)
/tmp/filejYpgTY.64.S 18313: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,800
live(bytes): 56,134,604 (24.9%)
/tmp/file0rchu7.45.S 18589: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,930
live(bytes): 60,115,980 (26.7%)
/tmp/filety9aTu.54.S 11906: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,760
live(bytes): 47,604,996 (21.2%)
/tmp/filety9aTu.54.S 658: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,070
live(bytes): 54,791,820 (24.3%)
/tmp/file9atUX4.25.S 20484: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,320
live(bytes): 85,506,180 (38.0%)
/tmp/file9atUX4.25.S 12254: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,240
live(bytes): 99,479,128 (44.2%)
/tmp/file9atUX4.25.S 19323: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 3,610
live(bytes): 111,388,688 (49.5%)
/tmp/file9atUX4.25.S 11751: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 4,020
live(bytes): 126,242,788 (56.1%)
/tmp/file7c1Gbi.3.S 21437: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 4,940
live(bytes): 146,304,400 (65.0%)
/tmp/fileCl436t.42.S 13026: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,470
live(bytes): 76,382,992 (33.9%)
pre codegen finished in 153.58 + 145.81 (49% GC)
x86 code gen starting
/tmp/fileqnifGF.22.S 127: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,210
live(bytes): 69,842,628 (31.0%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,700
live(bytes): 66,188,296 (29.4%)
/tmp/filezQ1cfI.17.S 18424: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,750
live(bytes): 67,681,492 (30.1%)
/tmp/file8boxYz.13.S 717: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,930
live(bytes): 73,119,940 (32.5%)
/tmp/filePIB8LI.23.S 18523: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,870
live(bytes): 71,491,992 (31.8%)
/tmp/fileTAxGJs.12.S 10531: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,600
live(bytes): 63,171,896 (28.1%)
/tmp/fileXE72pm.19.S 25016: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,780
live(bytes): 67,509,524 (30.0%)
/tmp/filemLQTAv.16.S 21417: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,170
live(bytes): 76,488,568 (34.0%)
/tmp/fileROd2p4.24.S 1337: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 2,050
live(bytes): 76,919,764 (34.2%)
/tmp/fileTAxGJs.12.S 18094: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,960
live(bytes): 75,443,276 (33.5%)
/tmp/filejYpgTY.64.S 14512: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,920
live(bytes): 73,665,848 (32.7%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,680
live(bytes): 64,522,068 (28.7%)
/tmp/fileTAxGJs.12.S 10227: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,480
live(bytes): 58,055,040 (25.8%)
/tmp/filejYpgTY.64.S 14512: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,460
live(bytes): 57,024,500 (25.3%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,420
live(bytes): 56,183,560 (25.0%)
/tmp/filePUB0dW.15.S 5614: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,440
live(bytes): 56,100,464 (24.9%)
/tmp/filevY1mR8.14.S 9996: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,400
live(bytes): 54,605,660 (24.3%)
/tmp/filePUB0dW.15.S 5614: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,370
live(bytes): 54,050,856 (24.0%)
/tmp/file8boxYz.13.S 543: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,370
live(bytes): 53,780,672 (23.9%)
/tmp/file8boxYz.13.S 606: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,340
live(bytes): 52,804,084 (23.5%)
/tmp/filejYpgTY.64.S 14494: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,310
live(bytes): 51,832,276 (23.0%)
/tmp/fileAxOtIT.68.S 9805: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,280
live(bytes): 50,433,452 (22.4%)
/tmp/filevY1mR8.14.S 12876: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,270
live(bytes): 49,853,276 (22.2%)
/tmp/fileqnifGF.22.S 127: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,260
live(bytes): 49,297,612 (21.9%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,200
live(bytes): 47,880,736 (21.3%)
/tmp/fileqnifGF.22.S 127: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,180
live(bytes): 47,148,696 (21.0%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,180
live(bytes): 46,247,348 (20.6%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,160
live(bytes): 45,409,796 (20.2%)
/tmp/fileQ7CpGt.21.S 17604: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,130
live(bytes): 44,520,112 (19.8%)
/tmp/fileqnifGF.22.S 849: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,100
live(bytes): 43,693,512 (19.4%)
/tmp/fileQ7CpGt.21.S 17771: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,170
live(bytes): 43,715,336 (19.4%)
/tmp/filemLQTAv.16.S 8854: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,290
live(bytes): 48,582,396 (21.6%)
/tmp/filemLQTAv.16.S 2985: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,240
live(bytes): 47,532,628 (21.1%)
/tmp/fileQ7CpGt.21.S 6781: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 1,000
live(bytes): 39,217,364 (17.4%)
/tmp/filejYpgTY.64.S 14512: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 970
live(bytes): 38,278,044 (17.0%)
/tmp/filePUB0dW.15.S 5614: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 940
live(bytes): 37,266,272 (16.6%)
/tmp/fileROd2p4.24.S 4656: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 920
live(bytes): 36,549,876 (16.2%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 900
live(bytes): 35,571,416 (15.8%)
/tmp/filePIB8LI.23.S 18541: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 870
live(bytes): 34,359,152 (15.3%)
/tmp/fileROd2p4.24.S 3752: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 890
live(bytes): 34,797,896 (15.5%)
/tmp/filePIB8LI.23.S 18523: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 930
live(bytes): 35,556,184 (15.8%)
/tmp/filevY1mR8.14.S 9996: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 790
live(bytes): 31,505,536 (14.0%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 760
live(bytes): 30,276,876 (13.5%)
/tmp/fileAxOtIT.68.S 9605: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 740
live(bytes): 29,450,296 (13.1%)
/tmp/fileTAxGJs.12.S 13872: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 720
live(bytes): 28,700,476 (12.8%)
/tmp/filejYpgTY.64.S 18483: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 700
live(bytes): 27,748,964 (12.3%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 680
live(bytes): 27,068,112 (12.0%)
/tmp/filePIB8LI.23.S 19121: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 700
live(bytes): 27,287,676 (12.1%)
/tmp/file8boxYz.13.S 588: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 660
live(bytes): 26,089,076 (11.6%)
/tmp/fileTAxGJs.12.S 10042: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 610
live(bytes): 24,426,252 (10.9%)
/tmp/filePUB0dW.15.S 5596: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 570
live(bytes): 23,393,864 (10.4%)
/tmp/filevY1mR8.14.S 12786: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 560
live(bytes): 22,739,460 (10.1%)
/tmp/filePIB8LI.23.S 18523: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 560
live(bytes): 22,224,596 (9.9%)
/tmp/file8boxYz.13.S 681: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 510
live(bytes): 20,724,856 (9.2%)
/tmp/fileqnifGF.22.S 127: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 490
live(bytes): 18,750,072 (8.3%)
/tmp/filePUB0dW.15.S 5614: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 630
live(bytes): 23,084,456 (10.3%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 380
live(bytes): 14,794,084 (6.6%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 340
live(bytes): 13,413,868 (6.0%)
/tmp/filemLQTAv.16.S 3310: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 340
live(bytes): 13,246,236 (5.9%)
/tmp/fileROd2p4.24.S 3752: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Finished gc.
time(ms): 290
live(bytes): 11,916,060 (5.3%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 225,017,856 toSpace 225,017,856
Shrinking heap to 86777856 bytes.
Finished gc.
time(ms): 330
live(bytes): 10,846,028 (4.8%)
/tmp/fileROd2p4.24.S 1337: GC
Starting gc.
Unmapping toSpace
fromSpace 86,777,856 toSpace 87,031,808
Finished gc.
time(ms): 330
live(bytes): 10,632,540 (12.3%)
/tmp/filePIB8LI.23.S 18541: GC
Starting gc.
fromSpace 87,031,808 toSpace 87,031,808
Finished gc.
time(ms): 340
live(bytes): 11,227,476 (12.9%)
/tmp/fileTAxGJs.12.S 18002: GC
Starting gc.
Unmapping toSpace
fromSpace 87,031,808 toSpace 90,083,328
Finished gc.
time(ms): 320
live(bytes): 10,083,708 (11.6%)
/tmp/filePUB0dW.15.S 16689: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 310
live(bytes): 10,540,892 (11.7%)
/tmp/filezQ1cfI.17.S 3122: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 230
live(bytes): 9,244,000 (10.3%)
/tmp/filePIB8LI.23.S 18541: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 250
live(bytes): 9,790,140 (10.9%)
/tmp/filezQ1cfI.17.S 13840: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 210
live(bytes): 8,706,432 (9.7%)
/tmp/filevY1mR8.14.S 6102: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 220
live(bytes): 8,766,580 (9.7%)
/tmp/filezQ1cfI.17.S 3937: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 190
live(bytes): 7,823,664 (8.7%)
/tmp/filevY1mR8.14.S 9996: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 240
live(bytes): 9,197,380 (10.2%)
/tmp/fileqnifGF.22.S 1114: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 180
live(bytes): 7,350,256 (8.2%)
/tmp/fileqnifGF.22.S 1096: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 170
live(bytes): 6,572,220 (7.3%)
/tmp/filevY1mR8.14.S 8643: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 180
live(bytes): 7,162,972 (8.0%)
/tmp/fileQ7CpGt.21.S 18867: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 150
live(bytes): 6,109,856 (6.8%)
/tmp/filePUB0dW.15.S 8275: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 140
live(bytes): 5,632,832 (6.3%)
/tmp/filePIB8LI.23.S 18523: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 120
live(bytes): 5,008,256 (5.6%)
/tmp/filePIB8LI.23.S 18541: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Finished gc.
time(ms): 120
live(bytes): 4,872,220 (5.4%)
/tmp/fileQ7CpGt.21.S 19686: GC
Starting gc.
fromSpace 90,083,328 toSpace 90,083,328
Shrinking heap to 33525760 bytes.
Finished gc.
time(ms): 120
live(bytes): 4,190,268 (4.7%)
/tmp/fileROd2p4.24.S 3752: GC
Starting gc.
Unmapping toSpace
fromSpace 33,525,760 toSpace 33,787,904
Finished gc.
time(ms): 140
live(bytes): 4,301,652 (12.8%)
/tmp/filePIB8LI.23.S 18523: GC
Starting gc.
fromSpace 33,787,904 toSpace 34,676,736
Finished gc.
time(ms): 150
live(bytes): 4,856,548 (14.4%)
/tmp/fileQ7CpGt.21.S 14211: GC
Starting gc.
fromSpace 34,676,736 toSpace 38,985,728
Finished gc.
time(ms): 130
live(bytes): 3,947,696 (11.4%)
/tmp/filemLQTAv.16.S 4329: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 140
live(bytes): 4,554,756 (11.7%)
/tmp/fileTAxGJs.12.S 10227: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 90
live(bytes): 3,646,096 (9.4%)
/tmp/fileQ7CpGt.21.S 15748: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 90
live(bytes): 3,530,008 (9.1%)
/tmp/filemLQTAv.16.S 4329: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 110
live(bytes): 4,126,584 (10.6%)
/tmp/filevY1mR8.14.S 12227: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 70
live(bytes): 3,064,576 (7.9%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 60
live(bytes): 2,624,244 (6.7%)
/tmp/fileqnifGF.22.S 127: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 60
live(bytes): 2,518,560 (6.5%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 60
live(bytes): 2,390,840 (6.1%)
/tmp/fileTAxGJs.12.S 21172: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 60
live(bytes): 2,295,892 (5.9%)
/tmp/filex49sz2.66.S 16083: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Finished gc.
time(ms): 50
live(bytes): 2,032,636 (5.2%)
/tmp/fileJoHMxY.67.S 19381: GC
Starting gc.
fromSpace 38,985,728 toSpace 38,985,728
Shrinking heap to 14778368 bytes.
Finished gc.
time(ms): 50
live(bytes): 1,845,848 (4.7%)
/tmp/filePUB0dW.15.S 20080: GC
Starting gc.
Unmapping toSpace
fromSpace 14,778,368 toSpace 15,032,320
Finished gc.
time(ms): 60
live(bytes): 1,892,988 (12.8%)
/tmp/filemLQTAv.16.S 20577: GC
Starting gc.
fromSpace 15,032,320 toSpace 15,409,152
Finished gc.
time(ms): 60
live(bytes): 1,807,496 (12.0%)
/tmp/fileQ7CpGt.21.S 17604: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 50
live(bytes): 1,688,712 (11.0%)
/tmp/filemLQTAv.16.S 7907: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 40
live(bytes): 1,701,172 (11.0%)
/tmp/filevY1mR8.14.S 6102: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,689,736 (11.0%)
/tmp/filezQ1cfI.17.S 2390: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,615,400 (10.5%)
/tmp/filejYpgTY.64.S 14512: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,421,848 (9.2%)
/tmp/filevY1mR8.14.S 13685: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,381,324 (9.0%)
/tmp/filePUB0dW.15.S 16984: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,469,376 (9.5%)
/tmp/filezQ1cfI.17.S 20486: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,299,512 (8.4%)
/tmp/filex49sz2.66.S 16083: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,242,492 (8.1%)
/tmp/fileROd2p4.24.S 4656: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,139,652 (7.4%)
/tmp/filePUB0dW.15.S 5614: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 20
live(bytes): 1,084,212 (7.0%)
/tmp/fileQ7CpGt.21.S 11266: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 20
live(bytes): 992,404 (6.4%)
/tmp/filemLQTAv.16.S 8994: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 20
live(bytes): 1,095,100 (7.1%)
/tmp/file8boxYz.13.S 606: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 30
live(bytes): 1,199,300 (7.8%)
/tmp/filejYpgTY.64.S 14512: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 20
live(bytes): 930,136 (6.0%)
/tmp/fileqnifGF.22.S 1144: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 20
live(bytes): 786,200 (5.1%)
/tmp/filejYpgTY.64.S 14512: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Finished gc.
time(ms): 20
live(bytes): 828,160 (5.4%)
/tmp/file8boxYz.13.S 215: GC
Starting gc.
fromSpace 15,409,152 toSpace 15,409,152
Shrinking heap to 5267456 bytes.
Finished gc.
time(ms): 20
live(bytes): 657,972 (4.3%)
/tmp/fileROd2p4.24.S 2477: GC
Starting gc.
Unmapping toSpace
fromSpace 5,267,456 toSpace 5,529,600
Finished gc.
time(ms): 10
live(bytes): 606,892 (11.5%)
/tmp/file8boxYz.13.S 784: GC
Starting gc.
fromSpace 5,529,600 toSpace 5,529,600
Finished gc.
time(ms): 10
live(bytes): 620,048 (11.2%)
/tmp/fileAxOtIT.68.S 9605: GC
Starting gc.
fromSpace 5,529,600 toSpace 5,529,600
Finished gc.
time(ms): 10
live(bytes): 583,976 (10.6%)
/tmp/fileTAxGJs.12.S 16368: GC
Starting gc.
fromSpace 5,529,600 toSpace 5,529,600
Finished gc.
time(ms): 10
live(bytes): 557,704 (10.1%)
/tmp/fileROd2p4.24.S 3752: GC
Starting gc.
fromSpace 5,529,600 toSpace 5,529,600
Finished gc.
time(ms): 90
live(bytes): 3,146,392 (56.9%)
/tmp/fileqnifGF.22.S 302: GC
Starting gc.
fromSpace 5,529,600 toSpace 25,698,304
Finished gc.
time(ms): 80
live(bytes): 3,164,976 (57.2%)
/tmp/fileqnifGF.22.S 302: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 90
live(bytes): 3,135,092 (12.2%)
/tmp/fileqnifGF.22.S 302: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 70
live(bytes): 3,110,572 (12.1%)
/tmp/fileqnifGF.22.S 302: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 70
live(bytes): 3,101,948 (12.1%)
/tmp/fileqnifGF.22.S 302: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 70
live(bytes): 3,095,648 (12.0%)
/tmp/fileqnifGF.22.S 320: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 70
live(bytes): 3,090,272 (12.0%)
/tmp/fileqnifGF.22.S 320: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 70
live(bytes): 3,085,568 (12.0%)
/tmp/fileqnifGF.22.S 302: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 70
live(bytes): 3,081,368 (12.0%)
/tmp/fileQ7CpGt.21.S 18867: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 80
live(bytes): 3,084,292 (12.0%)
/tmp/filePUB0dW.15.S 16984: GC
Starting gc.
fromSpace 25,698,304 toSpace 25,698,304
Finished gc.
time(ms): 100
live(bytes): 4,125,596 (16.1%)
/tmp/filePUB0dW.15.S 5596: GC
Starting gc.
Unmapping toSpace
fromSpace 25,698,304 toSpace 33,136,640
Finished gc.
time(ms): 140
live(bytes): 4,979,004 (19.4%)
/tmp/filePUB0dW.15.S 18366: GC
Starting gc.
fromSpace 33,136,640 toSpace 39,964,672
Finished gc.
time(ms): 180
live(bytes): 6,231,564 (18.8%)
/tmp/filejYpgTY.64.S 14269: GC
Starting gc.
fromSpace 39,964,672 toSpace 49,987,584
Finished gc.
time(ms): 220
live(bytes): 7,535,292 (18.9%)
x86 code gen finished in 193.61 + 75.59 (28% GC)
Compile SML finished in 347.20 + 221.40 (39% GC)
/tmp/fileKRkvED.1.S 2429: GC
Starting gc.
fromSpace 49,987,584 toSpace 60,416,000
Shrinking heap to 1662976 bytes.
Finished gc.
time(ms): 10
live(bytes): 207,696 (0.4%)
/tmp/fileKRkvED.1.S 2929: GC
Starting gc.
Unmapping toSpace
fromSpace 1,662,976 toSpace 1,794,048
Finished gc.
time(ms): 10
live(bytes): 207,696 (12.5%)
Compile C starting
gcc -S -DNODEBUG -DMLton_safe=TRUE -DExn_keepHistory=FALSE \
-DMLton_detectOverflow=TRUE -I/usr/local/lib/mlton/include -o \
/tmp/fileKBcnCn.s /tmp/fileIZCvUv.c
Compile C finished in 7.51 + 0.0 (0.0% GC)
Assemble starting
gcc -c -o /tmp/fileupkLCV.o /tmp/fileKBcnCn.s
gcc -c -o /tmp/filekrA5Eb.o /tmp/file65UBmz.64.S
gcc -c -o /tmp/fileUBIL4d.o /tmp/fileJC96j8.63.S
gcc -c -o /tmp/fileehINeP.o /tmp/file2H2POD.62.S
gcc -c -o /tmp/fileiV0D6v.o /tmp/fileoBMfEr.61.S
gcc -c -o /tmp/fileeRcxkr.o /tmp/filejQtW9g.60.S
gcc -c -o /tmp/fileIHOt8J.o /tmp/filegJypyl.59.S
gcc -c -o /tmp/fileqPm7kv.o /tmp/fileYN476D.58.S
gcc -c -o /tmp/fileMTydAN.o /tmp/filetqtQhW.57.S
gcc -c -o /tmp/file2d25cJ.o /tmp/fileXW7wHy.56.S
gcc -c -o /tmp/file4zMxUJ.o /tmp/fileq32ZYZ.55.S
gcc -c -o /tmp/fileAHK3QD.o /tmp/fileyBMliP.54.S
gcc -c -o /tmp/files3otO1.o /tmp/fileWzoVOl.53.S
gcc -c -o /tmp/fileqtQ7QH.o /tmp/fileNALuly.52.S
gcc -c -o /tmp/fileAzilip.o /tmp/fileahihkL.51.S
gcc -c -o /tmp/file43Q9sr.o /tmp/file4HS3mX.50.S
gcc -c -o /tmp/fileSBuhwL.o /tmp/fileH8pCNE.49.S
gcc -c -o /tmp/fileWrovoj.o /tmp/fileFipatw.48.S
gcc -c -o /tmp/file4l4BKl.o /tmp/fileRk3afe.47.S
gcc -c -o /tmp/file8DEp0l.o /tmp/file74p4Tw.46.S
gcc -c -o /tmp/file0hqBi5.o /tmp/fileqti54T.45.S
gcc -c -o /tmp/fileePst2P.o /tmp/filesnYNqb.44.S
gcc -c -o /tmp/fileW1cdcb.o /tmp/filerkXYJw.43.S
gcc -c -o /tmp/file6xCrsT.o /tmp/fileJUvU9K.42.S
gcc -c -o /tmp/fileYlKTyB.o /tmp/fileolqh85.41.S
gcc -c -o /tmp/file2R23wz.o /tmp/filedWjwzI.40.S
gcc -c -o /tmp/file8vuf8j.o /tmp/file94PQhm.39.S
gcc -c -o /tmp/fileEx0dKF.o /tmp/fileGvMnAr.38.S
gcc -c -o /tmp/fileAp8pkD.o /tmp/fileGZCN8p.37.S
gcc -c -o /tmp/fileQBURuD.o /tmp/fileVUzGDS.36.S
gcc -c -o /tmp/filekl0JK3.o /tmp/filencN8n8.35.S
gcc -c -o /tmp/fileQjSd2Z.o /tmp/file4za3Qz.34.S
gcc -c -o /tmp/fileq1SD09.o /tmp/fileUBMJ21.33.S
gcc -c -o /tmp/fileG7SL0t.o /tmp/fileJ2dS7G.32.S
gcc -c -o /tmp/fileSNybo9.o /tmp/filefihG58.31.S
gcc -c -o /tmp/file43Wpuf.o /tmp/fileYzmheX.30.S
gcc -c -o /tmp/fileKz8DEJ.o /tmp/fileSJirov.29.S
gcc -c -o /tmp/file0jiF6N.o /tmp/fileg9OvSv.28.S
gcc -c -o /tmp/fileo9mRct.o /tmp/filevMRQpu.27.S
gcc -c -o /tmp/file0zWTcl.o /tmp/fileDEjCxU.26.S
gcc -c -o /tmp/fileMLMboF.o /tmp/filesbutAZ.25.S
gcc -c -o /tmp/filegds5AP.o /tmp/fileTW54Nc.24.S
gcc -c -o /tmp/fileapwZcj.o /tmp/filexWJ4bc.23.S
gcc -c -o /tmp/fileypOlQF.o /tmp/fileBaZczi.22.S
gcc -c -o /tmp/fileyL0Fy1.o /tmp/file2ZyRuh.21.S
gcc -c -o /tmp/fileIV4Rs3.o /tmp/fileYDOTkl.20.S
gcc -c -o /tmp/file0JCBkd.o /tmp/fileshO3EX.19.S
gcc -c -o /tmp/filesZIdkJ.o /tmp/fileHWdQHg.18.S
gcc -c -o /tmp/fileaxMLKT.o /tmp/file09GJWr.17.S
gcc -c -o /tmp/fileULuN89.o /tmp/filefqZcv4.16.S
gcc -c -o /tmp/fileUBuP6t.o /tmp/fileNE9sb8.15.S
gcc -c -o /tmp/file0juvCr.o /tmp/fileI9AT4b.14.S
gcc -c -o /tmp/file67GFqV.o /tmp/fileqHyvG9.13.S
gcc -c -o /tmp/fileMrsNqp.o /tmp/filezAJ05W.12.S
gcc -c -o /tmp/fileoV4B4z.o /tmp/fileCjMNuX.11.S
gcc -c -o /tmp/file2HOZKn.o /tmp/file0XahCz.10.S
gcc -c -o /tmp/fileeBYHCX.o /tmp/filebANOvG.9.S
gcc -c -o /tmp/fileMB2laH.o /tmp/fileB6FSL0.8.S
gcc -c -o /tmp/fileQrU7qb.o /tmp/file0JSrIz.7.S
gcc -c -o /tmp/fileUZqZOB.o /tmp/fileiLkDgT.6.S
gcc -c -o /tmp/fileIzgdSN.o /tmp/filey1G1Cf.5.S
gcc -c -o /tmp/fileGvGpkb.o /tmp/file3ibQTY.4.S
gcc -c -o /tmp/file2xEJu7.o /tmp/file6VAHc9.3.S
gcc -c -o /tmp/fileYjghoX.o /tmp/fileBMdax0.2.S
gcc -c -o /tmp/filew5e7un.o /tmp/fileaBOnqh.1.S
gcc -c -o /tmp/fileMPQRUR.o /tmp/file0hqBCt.0.S
Assemble finished in 34.39 + 0.0 (0.0% GC)
Link starting
gcc -o mm /tmp/fileupkLCV.o /tmp/fileMPQRUR.o /tmp/filew5e7un.o \
/tmp/fileYjghoX.o /tmp/file2xEJu7.o /tmp/fileGvGpkb.o \
/tmp/fileIzgdSN.o /tmp/fileUZqZOB.o /tmp/fileQrU7qb.o \
/tmp/fileMB2laH.o /tmp/fileeBYHCX.o /tmp/file2HOZKn.o \
/tmp/fileoV4B4z.o /tmp/fileMrsNqp.o /tmp/file67GFqV.o \
/tmp/file0juvCr.o /tmp/fileUBuP6t.o /tmp/fileULuN89.o \
/tmp/fileaxMLKT.o /tmp/filesZIdkJ.o /tmp/file0JCBkd.o \
/tmp/fileIV4Rs3.o /tmp/fileyL0Fy1.o /tmp/fileypOlQF.o \
/tmp/fileapwZcj.o /tmp/filegds5AP.o /tmp/fileMLMboF.o \
/tmp/file0zWTcl.o /tmp/fileo9mRct.o /tmp/file0jiF6N.o \
/tmp/fileKz8DEJ.o /tmp/file43Wpuf.o /tmp/fileSNybo9.o \
/tmp/fileG7SL0t.o /tmp/fileq1SD09.o /tmp/fileQjSd2Z.o \
/tmp/filekl0JK3.o /tmp/fileQBURuD.o /tmp/fileAp8pkD.o \
/tmp/fileEx0dKF.o /tmp/file8vuf8j.o /tmp/file2R23wz.o \
/tmp/fileYlKTyB.o /tmp/file6xCrsT.o /tmp/fileW1cdcb.o \
/tmp/fileePst2P.o /tmp/file0hqBi5.o /tmp/file8DEp0l.o \
/tmp/file4l4BKl.o /tmp/fileWrovoj.o /tmp/fileSBuhwL.o \
/tmp/file43Q9sr.o /tmp/fileAzilip.o /tmp/fileqtQ7QH.o \
/tmp/files3otO1.o /tmp/fileAHK3QD.o /tmp/file4zMxUJ.o \
/tmp/file2d25cJ.o /tmp/fileMTydAN.o /tmp/fileqPm7kv.o \
/tmp/fileIHOt8J.o /tmp/fileeRcxkr.o /tmp/fileiV0D6v.o \
/tmp/fileehINeP.o /tmp/fileUBIL4d.o /tmp/filekrA5Eb.o \
-L/usr/local/lib/mlton/lib -lmlton -lm -lgmp
Link finished in 3.50 + 0.0 (0.0% GC)
MLton finished in 392.67 + 221.42 (36% GC)
max semispace size(bytes): 225,017,856
max stack size(bytes): 4,202,496
GC time(ms): 221,420 (38.9%)
maxPause(ms): 5,210
number of GCs: 193
bytes allocated: 21,820,436,552
bytes copied: 7,136,660,616
max bytes live: 168,633,168
------- =_aaaaaaaaaa0--