[MLton-devel] mlton crash
Stephen Weeks
MLton@mlton.org
Mon, 26 Aug 2002 18:30:30 -0700
> > > Minor GC.
> > > Minor GC done. 22,021,096 bytes copied.
> > > Finished gc.
> > > time: 390 ms
> > > old gen size: 323,690,944 bytes (48.2%)
> > > /tmp/fileBW1Uj0.18.S 20333: GC_gc
> > > Starting gc. Request 512 nursery bytes and 0 old gen bytes.
> > > Minor GC.
> > > Command terminated by signal 11
> > > 44.90user 6.47system 0:52.06elapsed 98%CPU (0avgtext+0avgdata
> > > 0maxresident)k
> >
> > Can you duplicate the error with the 20020825 release? I want to
> > rule out weird bootstrapping problems.
> >
> > If you tell me the exact value of ramSlop * totalRam, then I should be
> > able to duplicate the run here with an appropriate ramSlop setting.
>
> MemTotal = 1028388 kB
> ramSlop = 0.8
Hmmm. I have a machine with totalRam = 3,768,844,288. So, if I run
with ramSlop = 1028388 * 1024 * 0.8 / 3768844288 = 0.2235315086596648,
then I should see the same heap behavior as you. But I don't, so
something must be confused. Below is the log for the successful self
compile that I did.
Could you send the complete log for your failed run? I am also
confused why there are minor gcs going on in your run, since there
aren't in mine.
It also might be useful for you to compile gc.c with DEBUG_RESIZING =
true (you set it at the top of the source file) and send the complete
log for a self compile using a mlton with that runtime.
--------------------------------------------------------------------------------
mlton @MLton ram-slop 0.2235315086596648 copy-ratio 2 grow-ratio 1.1 gc-messages gc-summary -- -host self -v -o mlton-compile mlton.cm
Created heap of size 36,147,200 at 0x42135000.
Translating heap of size 4,518,064 from 0x42135000 to 0x42135000.
MLton starting
Compile SML starting
pre codegen starting
/tmp/filetyNQlo.28.S 7457: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 31,948,672 bytes (88.4%)
/tmp/filetyNQlo.28.S 17559: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 36,147,200 at 0x443ae000.
Major copying GC.
fromSpace = 0x42135000 of size 36,147,200
toSpace = 0x443ae000 of size 36,147,200
Major copying GC done.
Releasing heap at 0x42135000 of size 36,147,200.
Finished gc.
time: 80 ms
old gen size: 5,711,480 bytes (12.5%)
/tmp/filecNSX6j.29.S 11903: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 10,062,664 bytes (22.0%)
/tmp/fileF0dulO.27.S 9448: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 45,699,072 at 0x46f43000.
Major copying GC.
fromSpace = 0x443ae000 of size 45,699,072
toSpace = 0x46f43000 of size 45,699,072
Major copying GC done.
Releasing heap at 0x443ae000 of size 45,699,072.
Finished gc.
time: 170 ms
old gen size: 9,083,532 bytes (12.5%)
/tmp/filecNSX6j.29.S 11903: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 19,510,228 bytes (26.8%)
/tmp/fileF0dulO.27.S 9309: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 72,675,328 at 0x42135000.
Major copying GC.
fromSpace = 0x46f43000 of size 72,675,328
toSpace = 0x42135000 of size 72,675,328
Major copying GC done.
Releasing heap at 0x46f43000 of size 72,675,328.
Finished gc.
time: 270 ms
old gen size: 14,684,428 bytes (12.5%)
/tmp/filecNSX6j.29.S 11903: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 111,754,112 bytes (95.1%)
/tmp/fileiDy1qx.2.S 176: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 117,481,472 at 0x4913f000.
Major copying GC.
fromSpace = 0x42135000 of size 117,481,472
toSpace = 0x4913f000 of size 117,481,472
Major copying GC done.
Releasing heap at 0x42135000 of size 117,481,472.
Finished gc.
time: 520 ms
old gen size: 26,325,308 bytes (12.5%)
/tmp/filetyNQlo.28.S 7457: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 71,938,428 bytes (34.2%)
/tmp/file32fCRA.1.S 20988: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 210,608,128 at 0x55a19000.
Major copying GC.
fromSpace = 0x4913f000 of size 210,608,128
toSpace = 0x55a19000 of size 210,608,128
Major copying GC done.
Releasing heap at 0x4913f000 of size 210,608,128.
Finished gc.
time: 850 ms
old gen size: 44,484,708 bytes (12.5%)
/tmp/fileiDy1qx.2.S 299: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 68,416,184 bytes (19.2%)
/tmp/file2n6FYn.7.S 8004: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 119,681,672 bytes (33.6%)
/tmp/filexgdm9i.33.S 284: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 215,013,908 bytes (60.4%)
/tmp/filexgdm9i.33.S 284: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 142,868.
Finished gc.
time: 0 ms
old gen size: 215,214,176 bytes (60.5%)
/tmp/file4VsLI5.32.S 3120: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 285,716.
Finished gc.
time: 0 ms
old gen size: 282,231,084 bytes (79.3%)
/tmp/fileiDy1qx.2.S 16685: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 355,885,056 at 0x6ad7f000.
Major copying GC.
fromSpace = 0x55a19000 of size 355,885,056
toSpace = 0x6ad7f000 of size 355,885,056
Major copying GC done.
Releasing heap at 0x55a19000 of size 355,885,056.
Finished gc.
time: 1,680 ms
old gen size: 66,555,560 bytes (12.5%)
/tmp/file6P2rIB.5.S 15480: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 285,716.
Finished gc.
time: 0 ms
old gen size: 193,466,792 bytes (36.3%)
Starting gc. Request 0 nursery bytes and 1,048,588 old gen bytes.
Finished gc.
time: 0 ms
old gen size: 208,227,896 bytes (39.1%)
/tmp/filesv0P0r.10.S 2351: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 571,412.
Finished gc.
time: 0 ms
old gen size: 320,217,544 bytes (60.1%)
/tmp/filesv0P0r.10.S 2351: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 1,142,804.
Finished gc.
time: 0 ms
old gen size: 323,500,292 bytes (60.8%)
Starting gc. Request 0 nursery bytes and 2,097,164 old gen bytes.
Finished gc.
time: 0 ms
old gen size: 520,290,172 bytes (97.7%)
/tmp/file6Z0Lkd.60.S 15677: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 532,451,328 at 0x42135000.
Major copying GC.
fromSpace = 0x6ad7f000 of size 532,451,328
toSpace = 0x42135000 of size 532,451,328
Major copying GC done.
Releasing heap at 0x6ad7f000 of size 532,451,328.
Finished gc.
time: 770 ms
old gen size: 33,431,312 bytes (6.3%)
/tmp/filesv0P0r.10.S 2351: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 1,142,804.
Finished gc.
time: 0 ms
old gen size: 283,076,108 bytes (53.2%)
/tmp/filesv0P0r.10.S 2351: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 2,285,588.
Finished gc.
time: 0 ms
old gen size: 287,479,460 bytes (54.0%)
/tmp/fileuh834x.8.S 12745: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 532,451,328 at 0x61cfe000.
Major copying GC.
fromSpace = 0x42135000 of size 532,451,328
toSpace = 0x61cfe000 of size 532,451,328
Major copying GC done.
Releasing heap at 0x42135000 of size 532,451,328.
Finished gc.
time: 1,110 ms
old gen size: 56,319,960 bytes (10.6%)
/tmp/filesv0P0r.10.S 2351: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 2,285,588.
Finished gc.
time: 10 ms
old gen size: 329,464,508 bytes (61.9%)
/tmp/fileTotmtW.62.S 11564: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 532,451,328 at 0x42135000.
Major copying GC.
fromSpace = 0x61cfe000 of size 532,451,328
toSpace = 0x42135000 of size 532,451,328
Major copying GC done.
Releasing heap at 0x61cfe000 of size 532,451,328.
Finished gc.
time: 1,040 ms
old gen size: 57,683,436 bytes (10.8%)
/tmp/filelEtoT2.15.S 17603: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 532,451,328 at 0x61cfe000.
Major copying GC.
fromSpace = 0x42135000 of size 532,451,328
toSpace = 0x61cfe000 of size 532,451,328
Major copying GC done.
Releasing heap at 0x42135000 of size 532,451,328.
Finished gc.
time: 3,870 ms
old gen size: 132,242,488 bytes (19.0%)
Starting gc. Request 0 nursery bytes and 1,048,588 old gen bytes.
Finished gc.
time: 0 ms
old gen size: 361,872,816 bytes (51.9%)
/tmp/filev8rsDA.13.S 4695: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 1,142,804.
Finished gc.
time: 0 ms
old gen size: 405,775,648 bytes (58.2%)
/tmp/filev8rsDA.13.S 4695: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 2,285,588.
Finished gc.
time: 10 ms
old gen size: 408,061,236 bytes (58.5%)
/tmp/filev8rsDA.13.S 4695: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 4,571,156.
Finished gc.
time: 10 ms
old gen size: 412,632,392 bytes (59.2%)
/tmp/filefcpa1I.14.S 17904: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 696,991,744 at 0x8b5b2000.
Major copying GC.
fromSpace = 0x61cfe000 of size 696,991,744
toSpace = 0x8b5b2000 of size 696,991,744
Major copying GC done.
Releasing heap at 0x61cfe000 of size 696,991,744.
Finished gc.
time: 1,990 ms
old gen size: 112,031,352 bytes (16.1%)
/tmp/filelEtoT2.15.S 17603: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 719,220,736 at 0x42135000.
Major copying GC.
fromSpace = 0x8b5b2000 of size 696,991,744
toSpace = 0x42135000 of size 719,220,736
Major copying GC done.
Releasing heap at 0x8b5b2000 of size 696,991,744.
Finished gc.
time: 1,590 ms
old gen size: 76,435,464 bytes (10.6%)
/tmp/file6P2rIB.5.S 14629: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 719,220,736 at 0x6cf1c000.
Major copying GC.
fromSpace = 0x42135000 of size 719,220,736
toSpace = 0x6cf1c000 of size 719,220,736
Major copying GC done.
Releasing heap at 0x42135000 of size 719,220,736.
Finished gc.
time: 1,600 ms
old gen size: 75,660,956 bytes (10.5%)
/tmp/filefcpa1I.14.S 21745: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 719,220,736 at 0x42135000.
Major copying GC.
fromSpace = 0x6cf1c000 of size 719,220,736
toSpace = 0x42135000 of size 719,220,736
Major copying GC done.
Shrinking heap at 0x42135000 of size 719,220,736 to 315,277,312 bytes.
Shrinking heap at 0x6cf1c000 of size 719,220,736 to 315,277,312 bytes.
Finished gc.
time: 760 ms
old gen size: 39,408,796 bytes (12.5%)
/tmp/filefcpa1I.14.S 19250: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 571,412.
Finished gc.
time: 0 ms
old gen size: 175,952,956 bytes (55.8%)
/tmp/filelEtoT2.15.S 16153: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 315,277,312
toSpace = 0x6cf1c000 of size 315,277,312
Major copying GC done.
Releasing heap at 0x42135000 of size 315,277,312.
Finished gc.
time: 1,220 ms
old gen size: 63,096,844 bytes (12.5%)
/tmp/filelEtoT2.15.S 9973: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 504,782,848 at 0x42135000.
Major copying GC.
fromSpace = 0x6cf1c000 of size 504,782,848
toSpace = 0x42135000 of size 504,782,848
Major copying GC done.
Releasing heap at 0x6cf1c000 of size 504,782,848.
Finished gc.
time: 1,040 ms
old gen size: 54,553,480 bytes (10.8%)
/tmp/filefcpa1I.14.S 19250: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 285,716.
Finished gc.
time: 0 ms
old gen size: 392,435,696 bytes (77.7%)
/tmp/filee5o1g3.20.S 10833: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 504,782,848 at 0x6029b000.
Major copying GC.
fromSpace = 0x42135000 of size 504,782,848
toSpace = 0x6029b000 of size 504,782,848
Major copying GC done.
Releasing heap at 0x42135000 of size 504,782,848.
Finished gc.
time: 1,710 ms
old gen size: 79,405,420 bytes (12.5%)
/tmp/filesNo7GD.3.S 3060: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 635,248,640 at 0x8606d000.
Major copying GC.
fromSpace = 0x6029b000 of size 635,248,640
toSpace = 0x8606d000 of size 635,248,640
Major copying GC done.
Releasing heap at 0x6029b000 of size 635,248,640.
Finished gc.
time: 1,050 ms
old gen size: 53,358,944 bytes (8.4%)
/tmp/fileIH4dUX.17.S 555: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 142,868.
Finished gc.
time: 0 ms
old gen size: 83,196,228 bytes (13.1%)
Starting gc. Request 18,756 nursery bytes and 0 old gen bytes.
Created heap of size 635,240,448 at 0x42135000.
Major copying GC.
fromSpace = 0x8606d000 of size 635,248,640
toSpace = 0x42135000 of size 635,240,448
Major copying GC done.
Releasing heap at 0x8606d000 of size 635,248,640.
Finished gc.
time: 1,260 ms
old gen size: 86,374,040 bytes (13.6%)
/tmp/filewhQTyD.19.S 15911: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 690,999,296 at 0x67f05000.
Major copying GC.
fromSpace = 0x42135000 of size 635,240,448
toSpace = 0x67f05000 of size 690,999,296
Major copying GC done.
Releasing heap at 0x42135000 of size 635,240,448.
Finished gc.
time: 940 ms
old gen size: 56,916,972 bytes (8.2%)
/tmp/file8tG5oH.21.S 10646: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 153,770,372 bytes (22.3%)
/tmp/file8tG5oH.21.S 10646: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 142,868.
Finished gc.
time: 0 ms
old gen size: 154,463,276 bytes (22.4%)
/tmp/file6P2rIB.5.S 27660: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 285,716.
Finished gc.
time: 0 ms
old gen size: 163,658,244 bytes (23.7%)
/tmp/fileBCRAF2.66.S 9500: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 690,999,296 at 0x91202000.
Major copying GC.
fromSpace = 0x67f05000 of size 690,999,296
toSpace = 0x91202000 of size 690,999,296
Major copying GC done.
Releasing heap at 0x67f05000 of size 690,999,296.
Finished gc.
time: 1,480 ms
old gen size: 69,099,924 bytes (10.0%)
/tmp/fileyhONa7.45.S 7668: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 690,999,296 at 0x42135000.
Major copying GC.
fromSpace = 0x91202000 of size 690,999,296
toSpace = 0x42135000 of size 690,999,296
Major copying GC done.
Releasing heap at 0x91202000 of size 690,999,296.
Finished gc.
time: 2,330 ms
old gen size: 96,388,712 bytes (13.9%)
pre codegen finished in 98.38 + 27.36 (22% GC)
x86 code gen starting
/tmp/filenwvonY.48.S 6183: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 736,428,032 at 0x6b432000.
Major copying GC.
fromSpace = 0x42135000 of size 690,999,296
toSpace = 0x6b432000 of size 736,428,032
Major copying GC done.
Shrinking heap at 0x6b432000 of size 736,428,032 to 731,947,008 bytes.
Releasing heap at 0x42135000 of size 690,999,296.
Finished gc.
time: 1,830 ms
old gen size: 100,462,020 bytes (13.7%)
/tmp/filenwvonY.48.S 6183: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 731,947,008 at 0x10000000.
Major copying GC.
fromSpace = 0x6b432000 of size 731,947,008
toSpace = 0x10000000 of size 731,947,008
Major copying GC done.
Releasing heap at 0x6b432000 of size 731,947,008.
Finished gc.
time: 1,210 ms
old gen size: 100,357,420 bytes (13.7%)
/tmp/filenwvonY.48.S 6207: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 732,065,792 at 0x42135000.
Major copying GC.
fromSpace = 0x10000000 of size 731,947,008
toSpace = 0x42135000 of size 732,065,792
Major copying GC done.
Releasing heap at 0x10000000 of size 731,947,008.
Finished gc.
time: 1,200 ms
old gen size: 100,298,932 bytes (13.7%)
/tmp/file2n6FYn.7.S 8689: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 483,017,440 bytes (66.0%)
/tmp/filenwvonY.48.S 6014: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 608,767,628 bytes (83.2%)
/tmp/fileWpgXYd.46.S 2517: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 732,127,232 at 0x6db5c000.
Major copying GC.
fromSpace = 0x42135000 of size 732,065,792
toSpace = 0x6db5c000 of size 732,127,232
Major copying GC done.
Releasing heap at 0x42135000 of size 732,065,792.
Finished gc.
time: 1,150 ms
old gen size: 96,997,068 bytes (13.2%)
/tmp/filenwvonY.48.S 6606: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 522,751,580 bytes (71.4%)
/tmp/fileWpgXYd.46.S 1748: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 735,760,384 at 0x10000000.
Major copying GC.
fromSpace = 0x6db5c000 of size 732,127,232
toSpace = 0x10000000 of size 735,760,384
Major copying GC done.
Releasing heap at 0x6db5c000 of size 732,127,232.
Finished gc.
time: 1,150 ms
old gen size: 92,964,264 bytes (12.6%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 321,671,016 bytes (43.7%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 325,942,668 bytes (44.3%)
/tmp/filenwvonY.48.S 18458: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x42135000.
Major copying GC.
fromSpace = 0x10000000 of size 735,760,384
toSpace = 0x42135000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x10000000 of size 735,760,384.
Finished gc.
time: 1,130 ms
old gen size: 89,291,976 bytes (12.1%)
/tmp/fileWpgXYd.46.S 9075: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x6e31d000.
Major copying GC.
fromSpace = 0x42135000 of size 740,196,352
toSpace = 0x6e31d000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x42135000 of size 740,196,352.
Finished gc.
time: 1,010 ms
old gen size: 82,805,328 bytes (11.2%)
/tmp/fileWpgXYd.46.S 2007: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x42135000.
Major copying GC.
fromSpace = 0x6e31d000 of size 740,196,352
toSpace = 0x42135000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x6e31d000 of size 740,196,352.
Finished gc.
time: 970 ms
old gen size: 77,600,488 bytes (10.5%)
Starting gc. Request 0 nursery bytes and 1,048,588 old gen bytes.
Finished gc.
time: 0 ms
old gen size: 103,908,492 bytes (14.0%)
/tmp/file2n6FYn.7.S 8689: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 105,603,592 bytes (14.3%)
/tmp/filenwvonY.48.S 22490: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x6e31d000.
Major copying GC.
fromSpace = 0x42135000 of size 740,196,352
toSpace = 0x6e31d000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x42135000 of size 740,196,352.
Finished gc.
time: 960 ms
old gen size: 74,242,832 bytes (10.0%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 114,463,400 bytes (15.5%)
/tmp/filenwvonY.48.S 7194: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 116,749,456 bytes (15.8%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 121,312,232 bytes (16.4%)
/tmp/file6hI1Ih.55.S 7468: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x42135000.
Major copying GC.
fromSpace = 0x6e31d000 of size 740,196,352
toSpace = 0x42135000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x6e31d000 of size 740,196,352.
Finished gc.
time: 890 ms
old gen size: 68,993,948 bytes (9.3%)
/tmp/file8t85S1.58.S 16398: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x6e31d000.
Major copying GC.
fromSpace = 0x42135000 of size 740,196,352
toSpace = 0x6e31d000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x42135000 of size 740,196,352.
Finished gc.
time: 850 ms
old gen size: 64,250,016 bytes (8.7%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 109,334,532 bytes (14.8%)
/tmp/fileWpgXYd.46.S 7607: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x42135000.
Major copying GC.
fromSpace = 0x6e31d000 of size 740,196,352
toSpace = 0x42135000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x6e31d000 of size 740,196,352.
Finished gc.
time: 800 ms
old gen size: 59,985,436 bytes (8.1%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 94,196,320 bytes (12.7%)
/tmp/file8t85S1.58.S 8758: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x6e31d000.
Major copying GC.
fromSpace = 0x42135000 of size 740,196,352
toSpace = 0x6e31d000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x42135000 of size 740,196,352.
Finished gc.
time: 760 ms
old gen size: 55,550,068 bytes (7.5%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 573,886,876 bytes (77.5%)
/tmp/filenwvonY.48.S 6673: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 578,784,232 bytes (78.2%)
/tmp/fileWpgXYd.46.S 9007: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x42135000.
Major copying GC.
fromSpace = 0x6e31d000 of size 740,196,352
toSpace = 0x42135000 of size 740,196,352
Major copying GC done.
Releasing heap at 0x6e31d000 of size 740,196,352.
Finished gc.
time: 670 ms
old gen size: 49,507,744 bytes (6.7%)
/tmp/filenwvonY.48.S 6673: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 218,961,608 bytes (29.6%)
/tmp/fileWpgXYd.46.S 17196: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 740,196,352 at 0x6e31d000.
Major copying GC.
fromSpace = 0x42135000 of size 740,196,352
toSpace = 0x6e31d000 of size 740,196,352
Major copying GC done.
Shrinking heap at 0x6e31d000 of size 740,196,352 to 349,147,136 bytes.
Shrinking heap at 0x42135000 of size 740,196,352 to 349,147,136 bytes.
Finished gc.
time: 550 ms
old gen size: 43,642,468 bytes (12.5%)
/tmp/file8t85S1.58.S 665: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x6e31d000 of size 349,147,136
toSpace = 0x42135000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 400 ms
old gen size: 41,487,016 bytes (11.9%)
/tmp/fileWpgXYd.46.S 3302: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 349,147,136
toSpace = 0x6e31d000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 360 ms
old gen size: 38,494,632 bytes (11.0%)
Starting gc. Request 0 nursery bytes and 2,097,164 old gen bytes.
Finished gc.
time: 0 ms
old gen size: 63,672,824 bytes (18.2%)
/tmp/fileWpgXYd.46.S 3355: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 139,886,236 bytes (40.1%)
/tmp/filenwvonY.48.S 6673: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 142,353,544 bytes (40.8%)
/tmp/fileWpgXYd.46.S 8587: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 147,294,416 bytes (42.2%)
/tmp/file8t85S1.58.S 13340: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x6e31d000 of size 349,147,136
toSpace = 0x42135000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 370 ms
old gen size: 37,893,368 bytes (10.9%)
/tmp/file8t85S1.58.S 16722: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 349,147,136
toSpace = 0x6e31d000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 330 ms
old gen size: 35,266,408 bytes (10.1%)
/tmp/filenwvonY.48.S 12037: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x6e31d000 of size 349,147,136
toSpace = 0x42135000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 310 ms
old gen size: 32,746,848 bytes (9.4%)
/tmp/file2n6FYn.7.S 8689: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 42,827,328 bytes (12.3%)
/tmp/filehQ32vg.51.S 3659: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 349,147,136
toSpace = 0x6e31d000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 450 ms
old gen size: 36,845,428 bytes (10.6%)
/tmp/filenwvonY.48.S 10978: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 86,803,616 bytes (24.9%)
/tmp/filenwvonY.48.S 6673: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 113,607,916 bytes (32.5%)
/tmp/filenwvonY.48.S 6673: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 118,515,628 bytes (33.9%)
/tmp/filenwvonY.48.S 6673: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 142,868.
Finished gc.
time: 0 ms
old gen size: 128,817,560 bytes (36.9%)
/tmp/file6hI1Ih.55.S 2089: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x6e31d000 of size 349,147,136
toSpace = 0x42135000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 530 ms
old gen size: 42,705,144 bytes (12.2%)
/tmp/filemxMX6n.56.S 12670: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 349,147,136
toSpace = 0x6e31d000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 280 ms
old gen size: 28,270,520 bytes (8.1%)
/tmp/file8t85S1.58.S 665: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x6e31d000 of size 349,147,136
toSpace = 0x42135000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 250 ms
old gen size: 25,127,380 bytes (7.2%)
/tmp/file6P2rIB.5.S 14140: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 81,558,860 bytes (23.4%)
/tmp/filenwvonY.48.S 6673: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 285,302,156 bytes (81.7%)
/tmp/file8t85S1.58.S 498: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 349,147,136
toSpace = 0x6e31d000 of size 349,147,136
Major copying GC done.
Finished gc.
time: 260 ms
old gen size: 24,248,716 bytes (6.9%)
/tmp/fileWpgXYd.46.S 7607: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x6e31d000 of size 349,147,136
toSpace = 0x42135000 of size 349,147,136
Major copying GC done.
Shrinking heap at 0x42135000 of size 349,147,136 to 149,540,864 bytes.
Shrinking heap at 0x6e31d000 of size 349,147,136 to 149,540,864 bytes.
Finished gc.
time: 290 ms
old gen size: 18,691,616 bytes (12.5%)
/tmp/filenwvonY.48.S 6554: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 149,540,864
toSpace = 0x6e31d000 of size 149,540,864
Major copying GC done.
Releasing heap at 0x42135000 of size 149,540,864.
Finished gc.
time: 590 ms
old gen size: 30,033,784 bytes (12.5%)
/tmp/filenwvonY.48.S 10978: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 17,876.
Finished gc.
time: 0 ms
old gen size: 78,388,636 bytes (32.6%)
/tmp/filehQ32vg.51.S 2336: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 35,732.
Finished gc.
time: 0 ms
old gen size: 89,131,048 bytes (37.1%)
/tmp/filehQ32vg.51.S 2336: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 89,216,460 bytes (37.1%)
/tmp/fileV45Czk.52.S 19604: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Created heap of size 240,275,456 at 0x42135000.
Major copying GC.
fromSpace = 0x6e31d000 of size 240,275,456
toSpace = 0x42135000 of size 240,275,456
Major copying GC done.
Finished gc.
time: 300 ms
old gen size: 21,865,952 bytes (9.1%)
/tmp/filenwvonY.48.S 15351: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Growing stack to size 71,444.
Finished gc.
time: 0 ms
old gen size: 22,978,424 bytes (9.6%)
/tmp/fileWpgXYd.46.S 3206: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x42135000 of size 240,275,456
toSpace = 0x6e31d000 of size 240,275,456
Major copying GC done.
Shrinking heap at 0x6e31d000 of size 240,275,456 to 112,091,136 bytes.
Shrinking heap at 0x42135000 of size 240,275,456 to 112,091,136 bytes.
Finished gc.
time: 190 ms
old gen size: 14,010,376 bytes (12.5%)
x86 code gen finished in 100.49 + 20.04 (17% GC)
Compile SML finished in 198.88 + 47.40 (19% GC)
Packing heap of size 112,091,136.
Starting gc. Request 0 nursery bytes and 0 old gen bytes.
Major copying GC.
fromSpace = 0x6e31d000 of size 112,091,136
toSpace = 0x42135000 of size 112,091,136
Major copying GC done.
Finished gc.
time: 0 ms
old gen size: 209,712 bytes (0.2%)
Shrinking heap at 0x42135000 of size 112,091,136 to 233,472 bytes.
Releasing heap at 0x6e31d000 of size 112,091,136.
Packed heap to size 233,472.
Compile C starting
gcc -S -I/tmp/make-23975/src/build/bin/../lib/self/include -O1 -o \
/tmp/fileKro9ml.s /tmp/fileqtstor.c
Compile C finished in 3.42 + 0.0 (0.0% GC)
Assemble starting
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 180 bytes copied.
Finished gc.
time: 0 ms
old gen size: 209,892 bytes (89.9%)
gcc -c -o /tmp/filemNoHAP.o /tmp/fileKro9ml.s
gcc -c -o /tmp/filemhgLkh.o /tmp/fileP0N8Ty.71.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 132 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,024 bytes (90.0%)
gcc -c -o /tmp/fileE9o1Cf.o /tmp/fileQVGh43.70.S
gcc -c -o /tmp/fileKfG7wn.o /tmp/fileZqpC9E.69.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 144 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,168 bytes (90.0%)
gcc -c -o /tmp/file8RqFcL.o /tmp/file7s52DQ.68.S
gcc -c -o /tmp/file0ZuXwz.o /tmp/filec1y3C3.67.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 144 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,312 bytes (90.1%)
gcc -c -o /tmp/file0t4dQd.o /tmp/fileBCRAF2.66.S
gcc -c -o /tmp/fileg34Jyh.o /tmp/filezm9ozs.65.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 144 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,456 bytes (90.1%)
gcc -c -o /tmp/fileslQZWh.o /tmp/file1UngTg.64.S
gcc -c -o /tmp/fileOju52Z.o /tmp/filesJg3I3.63.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 144 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,600 bytes (90.2%)
gcc -c -o /tmp/fileYTMpmT.o /tmp/fileTotmtW.62.S
gcc -c -o /tmp/filecv0pYr.o /tmp/file1EHU3s.61.S
/tmp/fileZqpC9E.69.S 6455: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 332 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,932 bytes (90.3%)
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 144 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,744 bytes (90.3%)
gcc -c -o /tmp/fileYxeDWV.o /tmp/file6Z0Lkd.60.S
gcc -c -o /tmp/fileMRcVgR.o /tmp/fileIfSJMd.59.S
/tmp/fileZqpC9E.69.S 6455: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 308 bytes copied.
Finished gc.
time: 0 ms
old gen size: 211,052 bytes (90.4%)
/tmp/fileZqpC9E.69.S 4638: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 168 bytes copied.
Finished gc.
time: 0 ms
old gen size: 210,912 bytes (90.3%)
gcc -c -o /tmp/filesNC3EN.o /tmp/file8t85S1.58.S
gcc -c -o /tmp/fileSZy3cX.o /tmp/fileefo5cd.57.S
/tmp/fileZqpC9E.69.S 5982: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 264 bytes copied.
Finished gc.
time: 10 ms
old gen size: 211,176 bytes (90.5%)
/tmp/fileZqpC9E.69.S 4541: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 136 bytes copied.
Finished gc.
time: 0 ms
old gen size: 211,048 bytes (90.4%)
gcc -c -o /tmp/file8R8hm5.o /tmp/filemxMX6n.56.S
/tmp/fileiDy1qx.2.S 1731: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 296 bytes copied.
Finished gc.
time: 0 ms
old gen size: 211,344 bytes (90.5%)
gcc -c -o /tmp/fileMjazeF.o /tmp/file6hI1Ih.55.S
gcc -c -o /tmp/fileY5QhoV.o /tmp/fileZO5Gtk.54.S
/tmp/fileZqpC9E.69.S 6858: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 304 bytes copied.
Finished gc.
time: 0 ms
old gen size: 211,648 bytes (90.7%)
gcc -c -o /tmp/fileAfwRMx.o /tmp/filezu7y10.53.S
gcc -c -o /tmp/fileabaLQ7.o /tmp/fileV45Czk.52.S
/tmp/fileiDy1qx.2.S 3530: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 232 bytes copied.
Finished gc.
time: 0 ms
old gen size: 211,880 bytes (90.8%)
gcc -c -o /tmp/filekx2zMV.o /tmp/filehQ32vg.51.S
gcc -c -o /tmp/fileq1SVCj.o /tmp/filepSrW5a.50.S
/tmp/file32fCRA.1.S 12155: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 4,300 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,180 bytes (92.6%)
gcc -c -o /tmp/fileIN07cF.o /tmp/fileGTEpwv.49.S
gcc -c -o /tmp/fileALSD6b.o /tmp/filenwvonY.48.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 144 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,324 bytes (92.7%)
gcc -c -o /tmp/fileAnwRKb.o /tmp/filew1cBOr.47.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,412 bytes (92.7%)
gcc -c -o /tmp/fileCjqDs5.o /tmp/fileWpgXYd.46.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,500 bytes (92.7%)
gcc -c -o /tmp/fileo7g3AL.o /tmp/fileyhONa7.45.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,588 bytes (92.8%)
gcc -c -o /tmp/filecZwhaR.o /tmp/fileibSL0D.44.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,676 bytes (92.8%)
gcc -c -o /tmp/fileefu52V.o /tmp/filerWbYL4.43.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 10 ms
old gen size: 216,764 bytes (92.8%)
gcc -c -o /tmp/filemhslkp.o /tmp/filexs94tU.42.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,852 bytes (92.9%)
gcc -c -o /tmp/fileKXWfCR.o /tmp/fileHmFAnu.41.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 216,940 bytes (92.9%)
gcc -c -o /tmp/fileYnedUH.o /tmp/fileVIvkRO.40.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,028 bytes (93.0%)
gcc -c -o /tmp/fileyhU1Yf.o /tmp/fileC1AN4b.39.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,116 bytes (93.0%)
gcc -c -o /tmp/file4nMja1.o /tmp/file1st6lm.38.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,204 bytes (93.0%)
gcc -c -o /tmp/fileqbIB2D.o /tmp/fileClWRu7.37.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 10 ms
old gen size: 217,292 bytes (93.1%)
gcc -c -o /tmp/fileo1qtUT.o /tmp/fileZyfQz8.36.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,380 bytes (93.1%)
gcc -c -o /tmp/fileAxMXkr.o /tmp/fileKXefuH.35.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,468 bytes (93.1%)
gcc -c -o /tmp/filecTKrgz.o /tmp/file7iXg9I.34.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,556 bytes (93.2%)
gcc -c -o /tmp/filemDuZi9.o /tmp/filexgdm9i.33.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,644 bytes (93.2%)
gcc -c -o /tmp/file8jWxkF.o /tmp/file4VsLI5.32.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,732 bytes (93.3%)
gcc -c -o /tmp/fileEbIXwx.o /tmp/fileGHgFIL.31.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,820 bytes (93.3%)
gcc -c -o /tmp/file4PMty1.o /tmp/fileTeZY90.30.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,908 bytes (93.3%)
gcc -c -o /tmp/filec38L2D.o /tmp/filecNSX6j.29.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 217,996 bytes (93.4%)
gcc -c -o /tmp/filekdoxkv.o /tmp/filetyNQlo.28.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,084 bytes (93.4%)
gcc -c -o /tmp/fileoh0xUf.o /tmp/fileF0dulO.27.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 10 ms
old gen size: 218,172 bytes (93.4%)
gcc -c -o /tmp/fileGtKHm5.o /tmp/filegfEXQD.26.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,260 bytes (93.5%)
gcc -c -o /tmp/fileAdMdSd.o /tmp/fileQVqfQF.25.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,348 bytes (93.5%)
gcc -c -o /tmp/fileSBI74H.o /tmp/fileS14ps3.24.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,436 bytes (93.6%)
gcc -c -o /tmp/filewFOJiz.o /tmp/fileyrgLuJ.23.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,524 bytes (93.6%)
gcc -c -o /tmp/fileqr49ur.o /tmp/filejqtWdy.22.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,612 bytes (93.6%)
gcc -c -o /tmp/filecLo3Id.o /tmp/file8tG5oH.21.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,700 bytes (93.7%)
gcc -c -o /tmp/fileOlk78x.o /tmp/filee5o1g3.20.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,788 bytes (93.7%)
gcc -c -o /tmp/fileOVKNiL.o /tmp/filewhQTyD.19.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,876 bytes (93.7%)
gcc -c -o /tmp/fileQTAHwp.o /tmp/fileBW1Uj0.18.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 218,964 bytes (93.8%)
gcc -c -o /tmp/fileytaHqL.o /tmp/fileIH4dUX.17.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,052 bytes (93.8%)
gcc -c -o /tmp/file4tY3KH.o /tmp/fileXIVanu.16.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 10 ms
old gen size: 219,140 bytes (93.9%)
gcc -c -o /tmp/fileGDQzeP.o /tmp/filelEtoT2.15.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,228 bytes (93.9%)
gcc -c -o /tmp/file69AlQ7.o /tmp/filefcpa1I.14.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,316 bytes (93.9%)
gcc -c -o /tmp/fileGb2vsv.o /tmp/filev8rsDA.13.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 10 ms
old gen size: 219,404 bytes (94.0%)
gcc -c -o /tmp/files3srAb.o /tmp/filew7cn67.12.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,492 bytes (94.0%)
gcc -c -o /tmp/fileoBAjeR.o /tmp/filenK1YpO.11.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,580 bytes (94.0%)
gcc -c -o /tmp/fileevSXmJ.o /tmp/filesv0P0r.10.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,668 bytes (94.1%)
gcc -c -o /tmp/fileWrydur.o /tmp/filesP23Ah.9.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,756 bytes (94.1%)
gcc -c -o /tmp/fileAD6PeR.o /tmp/fileuh834x.8.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,844 bytes (94.2%)
gcc -c -o /tmp/fileKdMNKR.o /tmp/file2n6FYn.7.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 219,932 bytes (94.2%)
gcc -c -o /tmp/filei9iZ4H.o /tmp/filenGV6n6.6.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 10 ms
old gen size: 220,020 bytes (94.2%)
gcc -c -o /tmp/fileqjO9K1.o /tmp/file6P2rIB.5.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 220,108 bytes (94.3%)
gcc -c -o /tmp/fileefQNKb.o /tmp/fileZM92Nk.4.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 220,196 bytes (94.3%)
gcc -c -o /tmp/file8B6lyX.o /tmp/filesNo7GD.3.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 220,284 bytes (94.4%)
gcc -c -o /tmp/fileuZC1iJ.o /tmp/fileiDy1qx.2.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 220,372 bytes (94.4%)
gcc -c -o /tmp/fileuzADUL.o /tmp/file32fCRA.1.S
Starting gc. Request 4,168 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 88 bytes copied.
Finished gc.
time: 0 ms
old gen size: 220,460 bytes (94.4%)
gcc -c -o /tmp/fileIribGr.o /tmp/fileiJupG3.0.S
/tmp/file32fCRA.1.S 8389: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 116 bytes copied.
Finished gc.
time: 0 ms
old gen size: 220,576 bytes (94.5%)
Assemble finished in 13.55 + 0.06 (0% GC)
Link starting
/tmp/fileZqpC9E.69.S 5191: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 2,380 bytes copied.
Finished gc.
time: 0 ms
old gen size: 222,956 bytes (95.5%)
/tmp/fileZqpC9E.69.S 6208: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 1,540 bytes copied.
Finished gc.
time: 0 ms
old gen size: 224,496 bytes (96.2%)
/tmp/fileiDy1qx.2.S 764: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 1,504 bytes copied.
Finished gc.
time: 0 ms
old gen size: 226,000 bytes (96.8%)
gcc -o mlton-compile /tmp/filemNoHAP.o /tmp/fileIribGr.o \
/tmp/fileuzADUL.o /tmp/fileuZC1iJ.o /tmp/file8B6lyX.o \
/tmp/fileefQNKb.o /tmp/fileqjO9K1.o /tmp/filei9iZ4H.o \
/tmp/fileKdMNKR.o /tmp/fileAD6PeR.o /tmp/fileWrydur.o \
/tmp/fileevSXmJ.o /tmp/fileoBAjeR.o /tmp/files3srAb.o \
/tmp/fileGb2vsv.o /tmp/file69AlQ7.o /tmp/fileGDQzeP.o \
/tmp/file4tY3KH.o /tmp/fileytaHqL.o /tmp/fileQTAHwp.o \
/tmp/fileOVKNiL.o /tmp/fileOlk78x.o /tmp/filecLo3Id.o \
/tmp/fileqr49ur.o /tmp/filewFOJiz.o /tmp/fileSBI74H.o \
/tmp/fileAdMdSd.o /tmp/fileGtKHm5.o /tmp/fileoh0xUf.o \
/tmp/filekdoxkv.o /tmp/filec38L2D.o /tmp/file4PMty1.o \
/tmp/fileEbIXwx.o /tmp/file8jWxkF.o /tmp/filemDuZi9.o \
/tmp/filecTKrgz.o /tmp/fileAxMXkr.o /tmp/fileo1qtUT.o \
/tmp/fileqbIB2D.o /tmp/file4nMja1.o /tmp/fileyhU1Yf.o \
/tmp/fileYnedUH.o /tmp/fileKXWfCR.o /tmp/filemhslkp.o \
/tmp/fileefu52V.o /tmp/filecZwhaR.o /tmp/fileo7g3AL.o \
/tmp/fileCjqDs5.o /tmp/fileAnwRKb.o /tmp/fileALSD6b.o \
/tmp/fileiDy1qx.2.S 1731: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 36 bytes copied.
Finished gc.
time: 0 ms
old gen size: 226,036 bytes (96.8%)
/tmp/fileIN07cF.o /tmp/fileq1SVCj.o /tmp/filekx2zMV.o \
/tmp/fileabaLQ7.o /tmp/fileAfwRMx.o /tmp/fileY5QhoV.o \
/tmp/fileMjazeF.o /tmp/file8R8hm5.o /tmp/fileSZy3cX.o \
/tmp/filesNC3EN.o /tmp/fileMRcVgR.o /tmp/fileYxeDWV.o \
/tmp/filecv0pYr.o /tmp/fileYTMpmT.o /tmp/fileOju52Z.o \
/tmp/fileslQZWh.o /tmp/fileg34Jyh.o /tmp/file0t4dQd.o \
/tmp/file0ZuXwz.o /tmp/file8RqFcL.o /tmp/fileKfG7wn.o \
/tmp/fileE9o1Cf.o /tmp/filemhgLkh.o \
-L/tmp/make-23975/src/build/bin/../lib/self -lmlton -lm -lgmp
/tmp/fileZqpC9E.69.S 6455: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 1,352 bytes copied.
Finished gc.
time: 0 ms
old gen size: 227,388 bytes (97.4%)
Link finished in 2.41 + 0.0 (0.0% GC)
/tmp/fileQVGh43.70.S 20348: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 32 bytes copied.
Finished gc.
time: 0 ms
old gen size: 226,068 bytes (96.8%)
/tmp/fileQVGh43.70.S 20348: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 32 bytes copied.
Finished gc.
time: 0 ms
old gen size: 226,100 bytes (96.8%)
/tmp/fileQVGh43.70.S 20348: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 36 bytes copied.
Finished gc.
time: 0 ms
old gen size: 226,136 bytes (96.9%)
/tmp/fileQVGh43.70.S 20348: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 36 bytes copied.
Finished gc.
time: 0 ms
old gen size: 226,172 bytes (96.9%)
/tmp/file32fCRA.1.S 8598: GC_gc
Starting gc. Request 512 nursery bytes and 0 old gen bytes.
Minor GC.
Minor GC done. 68 bytes copied.
Finished gc.
time: 0 ms
old gen size: 226,240 bytes (96.9%)
MLton finished in 218.44 + 47.46 (18% GC)
Minor GC.
Minor GC done. 0 bytes copied.
GC type time ms number bytes bytes/sec
------------- ------- ------- --------------- ---------------
copying 42,880 52 2,894,100,024 67,493,002
mark-compact 0 0 0 0
minor 0 72 16,528 0
total GC time: 47,460 ms (19.2%)
max pause: 3,870 ms
total allocated: 23,006,588,520 bytes
max live: 132,242,488 bytes
max semispace: 740,196,352 bytes
max stack size: 4,571,136 bytes
marked cards: 196
minor scanned: 1,343,616 bytes
minor skipped: 26,784 bytes
Releasing heap at 0x42135000 of size 233,472.
-------------------------------------------------------
This sf.net email is sponsored by: Jabber - The world's fastest growing
real-time communications platform! Don't just IM. Build it in!
http://www.jabber.com/osdn/xim
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel