5. Analysis
5.1. MDS Consumption
I twice conducted the experiment of making a large package with successively larger process limits, to see how much MDS was consumed for a given number of processes. The MDS consumption was derived by differencing the MDS availability reported by the Watch Tool. In both experiments, other, relatively innoucuous, activities were carried on in parallel. These were: Tioga viewer creation, editing, and saving; creation and deletion of command tools; issuing Summoner control commands; and using Snoopy. In second experiment, the concurrent activity was heavier in the early phases, and lighter in the later. In the first experiment, there were 5 compute servers available during the later phases; in the second, there were 8. First come the summaries, then the typescripts.
Incremental MDS usage & Cumulative MDS usage & elapsed seconds
Process limit Expt. 1 Expt. 2
-p 1 4 & 4
-p 2 1 & 5 13 & 13 & 402
-p 2 1 & 14 & 393
-p 3 6 & 11 & 323 8 & 22 & 259
-p 4 5 & 16 & 264 3 & 25 & 220
-p 5 9 & 34 & 189
-p 5 1 & 35 & 189
-p 6 11 & 27 & 244 6 & 41 & 199
-p 7 6 & 33 & 229 9 & 50 & 176
-p 8 1 & 51 & 183
% test 1
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 150398104, diskFree: 14805, mdsFree: 125B (85), gfiFree: 505B (325), vmFree: 144405B (51461), vmRun: 135400B (47872), cpuLoad: 0.4425428]
> MakeDo -p $1 -rgom NewSets.DF
>>
>>
>> Install MakeDo
>> Install ListerUtils MidStop SummonerMonitor
>> Run ListerUtilsImpl
Ran: [Cedar]<CedarChest7.0>Lister>ListerUtilsImpl.bcd!4
>> Run MidStopImpl
Ran: [Cedar]<CedarChest7.0>MidStop>MidStopImpl.BCD!2
>> Run MultiBarsImpl ChildStackersImpl SummonerMonitorImpl
Ran: [Cedar]<CedarChest7.0>SummonerMonitor>MultiBarsImpl.BCD!2
Ran: [Cedar]<CedarChest7.0>SummonerMonitor>ChildStackersImpl.BCD!2
Ran: [Cedar]<CedarChest7.0>SummonerMonitor>SummonerMonitorImpl.BCD!11
Michehl's Theorem:
Less is more.
Forgetfulness: A gift of God bestowed upon debtors in compensation for
their destitution of conscience.
>> Run MakeDoPackage
Ran: [Cedar]<CedarChest7.0>MakeDo>MakeDoPackage.BCD!22
>> Run -a MakeDoCommands
Ran: [Cedar]<CedarChest7.0>MakeDoCommands>MakeDoCommands.BCD!2
>>
1 goal OK; 0 not.
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 155491730, diskFree: 14799, mdsFree: 110B (72), gfiFree: 453B (299), vmFree: 141765B (50165), vmRun: 135400B (47872), cpuLoad: 0.6454767]
>
% test 1
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 157322306, diskFree: 14803, mdsFree: 110B (72), gfiFree: 453B (299), vmFree: 142056B (50222), vmRun: 135400B (47872), cpuLoad: 0.1564792]
> MakeDo -p $1 -rgom NewSets.DF
1 goal OK; 0 not.
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 157348091, diskFree: 14803, mdsFree: 110B (72), gfiFree: 453B (299), vmFree: 142061B (50225), vmRun: 135400B (47872), cpuLoad: 0.7286063]
>
% test 1
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 182081113, diskFree: 14743, mdsFree: 110B (72), gfiFree: 453B (299), vmFree: 142012B (50186), vmRun: 135400B (47872), cpuLoad: 0.413203]
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Done with RCompile BiRels
Forking RCompile SetsSimpleImpl
Done with RCompile SetsSimpleImpl
Forking RCompile NewSetsPrinting
Done with RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Done with RCompile SetsByBiRels
Forking RCompile ValueHashTables
Done with RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Done with RCompile SetsAsBiRels
Forking RCompile BiRelsHashed
Done with RCompile BiRelsHashed
Forking RCompile ValueHashTablesImpl
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsAsSets
Done with RCompile BiRelsAsSets
Forking RCompile BiRelCombining
Done with RCompile BiRelCombining
Forking RCompile BiRelShifting
Done with RCompile BiRelShifting
Forking RCompile BiRelComposition
Done with RCompile BiRelComposition
Forking RCompile BiRelsInverting
Done with RCompile BiRelsInverting
Forking RCompile BiRelVectors
Done with RCompile BiRelVectors
Forking RCompile BiRelBasics
Done with RCompile BiRelBasics
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelDefaults2
Forking RCompile BiRelScanning
Done with RCompile BiRelScanning
Forking RCompile BiRelDefaults
Done with RCompile BiRelDefaults
Forking RCompile BiRelsImpl
Done with RCompile BiRelsImpl
Forking RCompile SetInsulationImpl
Done with RCompile SetInsulationImpl
Forking RCompile BiRelsBase
Done with RCompile BiRelsBase
Forking RCompile SetCombining
Done with RCompile SetCombining
Forking RCompile SetsImpl
Done with RCompile SetsImpl
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 378313921, diskFree: 12544, mdsFree: 104B (68), gfiFree: 413B (267), vmFree: 140731B (49625), vmRun: 135055B (47661), cpuLoad: 0.5819071]
>
% test 2
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 385481476, diskFree: 12488, mdsFree: 104B (68), gfiFree: 413B (267), vmFree: 141052B (49706), vmRun: 135055B (47661), cpuLoad: 0.3765281]
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Done with RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Done with RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Done with RCompile SetsImpl
Forking RCompile ValueHashTables
Done with RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Done with RCompile SetsByBiRels
Forking RCompile BiRelsHashed
Done with RCompile SetsAsBiRels
Forking RCompile ValueHashTablesImpl
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsAsSets
Done with RCompile BiRelsHashed
Forking RCompile BiRelCombining
Done with RCompile BiRelsAsSets
Forking RCompile BiRelShifting
Done with RCompile BiRelCombining
Forking RCompile BiRelComposition
Done with RCompile BiRelShifting
Forking RCompile BiRelsInverting
Done with RCompile BiRelComposition
Forking RCompile BiRelVectors
Done with RCompile BiRelsInverting
Forking RCompile BiRelBasics
Done with RCompile BiRelBasics
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelVectors
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelScanning
Done with RCompile BiRelDefaults2
Forking RCompile BiRelDefaults
Done with RCompile BiRelScanning
Forking RCompile BiRelsImpl
Done with RCompile BiRelDefaults
Forking RCompile SetInsulationImpl
Done with RCompile BiRelsImpl
Forking RCompile BiRelsBase
Done with RCompile SetInsulationImpl
Forking RCompile SetCombining
Done with RCompile BiRelsBase
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 486161329, diskFree: 12484, mdsFree: 103B (67), gfiFree: 413B (267), vmFree: 140533B (49499), vmRun: 135055B (47661), cpuLoad: 0.6943765]
>
% test 3
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 503938665, diskFree: 12488, mdsFree: 103B (67), gfiFree: 413B (267), vmFree: 140634B (49564), vmRun: 134167B (47223), cpuLoad: 0.1589242]
> ← BasicTime.Now[]
December 7, 1987 17:38:45
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Done with RCompile SetsSimpleImpl
Forking RCompile SetsByBiRels
Done with RCompile SetsImpl
Forking RCompile ValueHashTables
Done with RCompile NewSetsPrinting
Forking RCompile SetsAsBiRels
Done with RCompile ValueHashTables
Forking RCompile BiRelsAsSets
Done with RCompile SetsByBiRels
Forking RCompile BiRelsHashed
Done with RCompile BiRelsAsSets
Forking RCompile ValueHashTablesImpl
Done with RCompile SetsAsBiRels
Forking RCompile BiRelCombining
Done with RCompile BiRelsHashed
Forking RCompile BiRelShifting
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelComposition
Done with RCompile BiRelShifting
Forking RCompile BiRelsInverting
Done with RCompile BiRelCombining
Forking RCompile BiRelVectors
Done with RCompile BiRelComposition
Forking RCompile BiRelBasics
Done with RCompile BiRelsInverting
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelBasics
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelScanning
Done with RCompile BiRelDefaults2
Forking RCompile BiRelDefaults
Done with RCompile BiRelVectors
Forking RCompile BiRelsImpl
Done with RCompile BiRelScanning
Forking RCompile SetInsulationImpl
Done with RCompile SetInsulationImpl
Forking RCompile BiRelsBase
Done with RCompile BiRelDefaults
Forking RCompile SetCombining
Done with RCompile BiRelsBase
Done with RCompile BiRelsImpl
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 7, 1987 17:44:08
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 564868162, diskFree: 12484, mdsFree: 75B (61), gfiFree: 413B (267), vmFree: 140055B (49197), vmRun: 132737B (46559), cpuLoad: 0.5476772]
>
% test 4
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 569246723, diskFree: 12488, mdsFree: 75B (61), gfiFree: 413B (267), vmFree: 140156B (49262), vmRun: 132737B (46559), cpuLoad: 9.046453e-2]
> ← BasicTime.Now[]
December 7, 1987 17:44:24
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Done with RCompile SetsSimpleImpl
Forking RCompile ValueHashTables
Done with RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Done with RCompile NewSetsPrinting
Forking RCompile BiRelsHashed
Done with RCompile SetsImpl
Forking RCompile ValueHashTablesImpl
Done with RCompile SetsByBiRels
Forking RCompile BiRelsAsSets
Done with RCompile SetsAsBiRels
Forking RCompile BiRelCombining
Done with RCompile BiRelsHashed
Forking RCompile BiRelShifting
Done with RCompile BiRelsAsSets
Forking RCompile BiRelComposition
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsInverting
Done with RCompile BiRelShifting
Forking RCompile BiRelVectors
Done with RCompile BiRelComposition
Forking RCompile BiRelBasics
Done with RCompile BiRelCombining
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelsInverting
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelBasics
Forking RCompile BiRelScanning
Done with RCompile BiRelVectors
Forking RCompile BiRelDefaults
Done with RCompile BiRelDefaults2
Forking RCompile BiRelsImpl
Done with RCompile BiRelScanning
Forking RCompile SetInsulationImpl
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelsBase
Done with RCompile BiRelDefaults
Forking RCompile SetCombining
Done with RCompile SetInsulationImpl
Done with RCompile BiRelsBase
Done with RCompile BiRelsImpl
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 7, 1987 17:48:48
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 608029576, diskFree: 12488, mdsFree: 70B (56), gfiFree: 413B (267), vmFree: 137644B (49060), vmRun: 132046B (46118), cpuLoad: 0.8899756]
>
% test 6
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 614826445, diskFree: 12488, mdsFree: 70B (56), gfiFree: 413B (267), vmFree: 137746B (49126), vmRun: 132046B (46118), cpuLoad: 0.2322738]
> ← BasicTime.Now[]
December 7, 1987 17:49:13
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile SetsSimpleImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Forking RCompile BiRelsAsSets
Done with RCompile ValueHashTables
Forking RCompile BiRelCombining
Done with RCompile SetsImpl
Done with RCompile NewSetsPrinting
Done with RCompile BiRelsAsSets
Forking RCompile BiRelsHashed
Done with RCompile SetsAsBiRels
Done with RCompile SetsByBiRels
Forking RCompile ValueHashTablesImpl
Forking RCompile BiRelShifting
Forking RCompile BiRelComposition
Forking RCompile BiRelsInverting
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelVectors
Done with RCompile BiRelShifting
Forking RCompile BiRelBasics
Done with RCompile BiRelComposition
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelsInverting
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsHashed
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsPrivate
Forking RCompile SetInsulationImpl
Done with RCompile BiRelCombining
Done with RCompile BiRelBasics
Forking RCompile BiRelScanning
Forking RCompile BiRelDefaults
Done with RCompile BiRelVectors
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelsImpl
Forking RCompile BiRelsBase
Done with RCompile SetInsulationImpl
Forking RCompile SetCombining
Done with RCompile BiRelDefaults2
Done with RCompile BiRelScanning
Done with RCompile BiRelsBase
Done with RCompile BiRelDefaults
Done with RCompile BiRelsImpl
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 7, 1987 17:53:17
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 647155965, diskFree: 12488, mdsFree: 55B (45), gfiFree: 413B (267), vmFree: 137124B (48724), vmRun: 133141B (46689), cpuLoad: 0.7555012]
>
% test 7
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 655604531, diskFree: 12488, mdsFree: 55B (45), gfiFree: 413B (267), vmFree: 137200B (48768), vmRun: 133141B (46689), cpuLoad: 0.5525672]
> ← BasicTime.Now[]
December 7, 1987 17:53:45
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile SetsSimpleImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Forking RCompile BiRelsAsSets
Forking RCompile BiRelCombining
Done with RCompile SetsImpl
Forking RCompile BiRelShifting
Done with RCompile ValueHashTables
Done with RCompile NewSetsPrinting
Forking RCompile BiRelComposition
Forking RCompile BiRelsHashed
Done with RCompile SetsByBiRels
Forking RCompile ValueHashTablesImpl
Done with RCompile SetsAsBiRels
Forking RCompile BiRelsInverting
Done with RCompile BiRelShifting
Done with RCompile BiRelsAsSets
Forking RCompile BiRelVectors
Forking RCompile BiRelBasics
Done with RCompile BiRelComposition
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsSimpleImpl
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsInverting
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsHashed
Forking RCompile SetInsulationImpl
Done with RCompile BiRelsPrivate
Forking RCompile BiRelsBase
Done with RCompile BiRelBasics
Forking RCompile BiRelScanning
Done with RCompile BiRelCombining
Forking RCompile BiRelDefaults
Done with RCompile SetInsulationImpl
Forking RCompile BiRelsImpl
Done with RCompile BiRelsSimpleImpl
Done with RCompile BiRelVectors
Forking RCompile SetCombining
Done with RCompile BiRelDefaults2
Done with RCompile BiRelScanning
Done with RCompile BiRelsBase
Done with RCompile BiRelDefaults
Done with RCompile BiRelsImpl
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 7, 1987 17:57:34
> ← SafeStorage.ReclaimCollectibleObjects[]
> ← WatchStats.GetWatchStats[]
[idleCount: 679365833, diskFree: 12484, mdsFree: 47B (39), gfiFree: 413B (267), vmFree: 136551B (48489), vmRun: 130524B (45396), cpuLoad: 0.6821516]
>
%
% test 2
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 111134621, diskFree: 9915, mdsFree: 124B (84), gfiFree: 502B (322), vmFree: 144131B (51289), vmRun: 135400B (47872), cpuLoad: 0.6356968]
> ← BasicTime.Now[]
December 8, 1987 8:52:55
> MakeDo -p $1 -rgom NewSets.DF
>>
>>
>> Install MakeDo
>> Install ListerUtils MidStop SummonerMonitor
>> Run ListerUtilsImpl
Ran: [Cedar]<CedarChest7.0>Lister>ListerUtilsImpl.bcd!4
>> Run MidStopImpl
Ran: [Cedar]<CedarChest7.0>MidStop>MidStopImpl.BCD!2
>> Run MultiBarsImpl ChildStackersImpl SummonerMonitorImpl
Ran: [Cedar]<CedarChest7.0>SummonerMonitor>MultiBarsImpl.BCD!2
Ran: [Cedar]<CedarChest7.0>SummonerMonitor>ChildStackersImpl.BCD!2
Ran: [Cedar]<CedarChest7.0>SummonerMonitor>SummonerMonitorImpl.BCD!11
>> Run MakeDoPackage
Ran: [Cedar]<CedarChest7.0>MakeDo>MakeDoPackage.BCD!22
(Sam) Brown's Law:
Never offend people with style when you can offend them with substance.
>> Run -a MakeDoCommands
Ran: [Cedar]<CedarChest7.0>MakeDoCommands>MakeDoCommands.BCD!2
>>
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 8:53:40
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 116871213, diskFree: 9915, mdsFree: 120B (80), gfiFree: 450B (296), vmFree: 141574B (50044), vmRun: 135400B (47872), cpuLoad: 0.799511]
>
% test 2
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 122445022, diskFree: 9915, mdsFree: 120B (80), gfiFree: 450B (296), vmFree: 141614B (50060), vmRun: 135400B (47872), cpuLoad: 0.586797]
> ← BasicTime.Now[]
December 8, 1987 8:54:01
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Done with RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Done with RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Done with RCompile SetsImpl
Forking RCompile ValueHashTables
Done with RCompile SetsByBiRels
Forking RCompile SetsAsBiRels
Done with RCompile ValueHashTables
Forking RCompile BiRelsAsSets
Done with RCompile SetsAsBiRels
Forking RCompile BiRelsHashed
Done with RCompile BiRelsAsSets
Forking RCompile ValueHashTablesImpl
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelCombining
Done with RCompile BiRelsHashed
Forking RCompile BiRelShifting
Done with RCompile BiRelShifting
Forking RCompile BiRelComposition
Done with RCompile BiRelCombining
Forking RCompile BiRelsInverting
Done with RCompile BiRelsInverting
Forking RCompile BiRelVectors
Done with RCompile BiRelComposition
Forking RCompile BiRelBasics
Done with RCompile BiRelBasics
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelVectors
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelScanning
Done with RCompile BiRelDefaults2
Forking RCompile BiRelDefaults
Done with RCompile BiRelScanning
Forking RCompile BiRelsImpl
Done with RCompile BiRelDefaults
Forking RCompile SetInsulationImpl
Done with RCompile BiRelsImpl
Forking RCompile BiRelsBase
Done with RCompile SetInsulationImpl
Forking RCompile SetCombining
Done with RCompile BiRelsBase
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:00:42
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 205877483, diskFree: 9914, mdsFree: 103B (67), gfiFree: 410B (264), vmFree: 140573B (49531), vmRun: 133670B (47032), cpuLoad: 0.8141809]
>
% test 2
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 212655893, diskFree: 9854, mdsFree: 103B (67), gfiFree: 410B (264), vmFree: 140633B (49563), vmRun: 133670B (47032), cpuLoad: 0.4352078]
> ← BasicTime.Now[]
December 8, 1987 9:01:05
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Done with RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Done with RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Done with RCompile SetsImpl
Forking RCompile ValueHashTables
Done with RCompile SetsByBiRels
Forking RCompile SetsAsBiRels
Done with RCompile ValueHashTables
Forking RCompile BiRelsAsSets
Done with RCompile BiRelsAsSets
Forking RCompile BiRelsHashed
Done with RCompile SetsAsBiRels
Forking RCompile ValueHashTablesImpl
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelCombining
Done with RCompile BiRelsHashed
Forking RCompile BiRelShifting
Done with RCompile BiRelCombining
Forking RCompile BiRelComposition
Done with RCompile BiRelShifting
Forking RCompile BiRelsInverting
Done with RCompile BiRelComposition
Forking RCompile BiRelVectors
Done with RCompile BiRelsInverting
Forking RCompile BiRelBasics
Done with RCompile BiRelBasics
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelVectors
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelScanning
Done with RCompile BiRelDefaults2
Forking RCompile BiRelDefaults
Done with RCompile BiRelScanning
Forking RCompile BiRelsImpl
Done with RCompile BiRelDefaults
Forking RCompile SetInsulationImpl
Done with RCompile SetInsulationImpl
Forking RCompile BiRelsBase
Done with RCompile BiRelsImpl
Forking RCompile SetCombining
Done with RCompile BiRelsBase
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:07:38
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 293232655, diskFree: 9854, mdsFree: 102B (66), gfiFree: 410B (264), vmFree: 140262B (49330), vmRun: 132611B (46473), cpuLoad: 0.613692]
>
% SetFree 20000
% SetFree 10000
% test 3
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 366926693, diskFree: 21077, mdsFree: 102B (66), gfiFree: 410B (264), vmFree: 135264B (47796), vmRun: 132611B (46473), cpuLoad: 0.4087591]
> ← BasicTime.Now[]
December 8, 1987 9:11:49
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Done with RCompile SetsSimpleImpl
Forking RCompile SetsByBiRels
Done with RCompile NewSetsPrinting
Forking RCompile ValueHashTables
Done with RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Done with RCompile SetsImpl
Forking RCompile BiRelsHashed
Done with RCompile SetsByBiRels
Forking RCompile ValueHashTablesImpl
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsAsSets
Done with RCompile SetsAsBiRels
Forking RCompile BiRelCombining
Done with RCompile BiRelsHashed
Forking RCompile BiRelShifting
Done with RCompile BiRelsAsSets
Forking RCompile BiRelComposition
Done with RCompile BiRelShifting
Forking RCompile BiRelsInverting
Done with RCompile BiRelCombining
Forking RCompile BiRelVectors
Done with RCompile BiRelComposition
Forking RCompile BiRelBasics
Done with RCompile BiRelsInverting
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelBasics
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelVectors
Forking RCompile BiRelScanning
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelDefaults
Done with RCompile BiRelDefaults2
Forking RCompile BiRelsImpl
Done with RCompile BiRelScanning
Forking RCompile SetInsulationImpl
Done with RCompile BiRelDefaults
Forking RCompile BiRelsBase
Done with RCompile SetInsulationImpl
Forking RCompile SetCombining
Done with RCompile BiRelsBase
Done with RCompile BiRelsImpl
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:16:08
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
You will be Told about it Tomorrow. Go Home and Prepare Thyself.
> ← WatchStats.GetWatchStats[]
[idleCount: 414352168, diskFree: 21077, mdsFree: 72B (58), gfiFree: 410B (264), vmFree: 134604B (47492), vmRun: 127761B (45041), cpuLoad: 0.9635037]
>
% test 4
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 423118315, diskFree: 21077, mdsFree: 72B (58), gfiFree: 410B (264), vmFree: 134702B (47554), vmRun: 132275B (46269), cpuLoad: 0.1751825]
> ← BasicTime.Now[]
December 8, 1987 9:16:38
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile SetsSimpleImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Done with RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Done with RCompile NewSetsPrinting
Forking RCompile BiRelsHashed
Done with RCompile SetsImpl
Forking RCompile ValueHashTablesImpl
Done with RCompile SetsByBiRels
Forking RCompile BiRelsAsSets
Done with RCompile SetsAsBiRels
Forking RCompile BiRelCombining
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelShifting
Done with RCompile BiRelsHashed
Forking RCompile BiRelComposition
Done with RCompile BiRelsAsSets
Forking RCompile BiRelsInverting
Done with RCompile BiRelShifting
Forking RCompile BiRelVectors
Done with RCompile BiRelCombining
Forking RCompile BiRelBasics
Done with RCompile BiRelsInverting
Done with RCompile BiRelComposition
Forking RCompile BiRelsSimpleImpl
Forking RCompile BiRelsPrivate
Done with RCompile BiRelsPrivate
Forking RCompile BiRelDefaults2
Done with RCompile BiRelBasics
Forking RCompile BiRelScanning
Done with RCompile BiRelVectors
Forking RCompile BiRelDefaults
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelsImpl
Done with RCompile BiRelDefaults2
Forking RCompile SetInsulationImpl
Done with RCompile BiRelScanning
Forking RCompile BiRelsBase
Done with RCompile SetInsulationImpl
Forking RCompile SetCombining
Done with RCompile BiRelsBase
Done with RCompile BiRelDefaults
Done with RCompile SetCombining
Done with RCompile BiRelsImpl
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:20:18
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 460192531, diskFree: 21077, mdsFree: 67B (55), gfiFree: 410B (264), vmFree: 134347B (47335), vmRun: 131402B (45826), cpuLoad: 0.7931874]
>
% test 5
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
"Why are you letting the tail wag the dog?" --Henry Thompson "Because it's bigger." --Mike Schroeder
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 464163016, diskFree: 21077, mdsFree: 67B (55), gfiFree: 410B (264), vmFree: 134356B (47342), vmRun: 131402B (45826), cpuLoad: 0.7250608]
> ← BasicTime.Now[]
December 8, 1987 9:20:34
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile SetsSimpleImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Done with RCompile ValueHashTables
Forking RCompile BiRelsAsSets
Done with RCompile SetsImpl
Forking RCompile BiRelsHashed
Done with RCompile NewSetsPrinting
Forking RCompile ValueHashTablesImpl
Done with RCompile SetsByBiRels
Forking RCompile BiRelCombining
Done with RCompile SetsAsBiRels
Forking RCompile BiRelShifting
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelComposition
Done with RCompile BiRelsAsSets
Forking RCompile BiRelsInverting
Done with RCompile BiRelsHashed
Forking RCompile BiRelVectors
Done with RCompile BiRelShifting
Forking RCompile BiRelBasics
Done with RCompile BiRelsInverting
Done with RCompile BiRelComposition
Forking RCompile BiRelsSimpleImpl
Forking RCompile BiRelsPrivate
Done with RCompile BiRelCombining
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsPrivate
Forking RCompile SetInsulationImpl
Done with RCompile BiRelBasics
Forking RCompile BiRelScanning
Done with RCompile SetInsulationImpl
Forking RCompile BiRelDefaults
Done with RCompile BiRelDefaults2
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelsImpl
Forking RCompile BiRelsBase
Done with RCompile BiRelVectors
Forking RCompile SetCombining
Done with RCompile BiRelScanning
Done with RCompile BiRelsBase
Done with RCompile BiRelDefaults
Done with RCompile SetCombining
Done with RCompile BiRelsImpl
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:23:43
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 492086492, diskFree: 21077, mdsFree: 56B (46), gfiFree: 410B (264), vmFree: 133615B (46989), vmRun: 126140B (44128), cpuLoad: 0.647202]
>
% test 5
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 500160124, diskFree: 21077, mdsFree: 56B (46), gfiFree: 410B (264), vmFree: 133645B (47013), vmRun: 126140B (44128), cpuLoad: 0.4476886]
> ← BasicTime.Now[]
December 8, 1987 9:24:09
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Done with RCompile SetsSimpleImpl
Forking RCompile SetsAsBiRels
Done with RCompile ValueHashTables
Forking RCompile BiRelsAsSets
Done with RCompile NewSetsPrinting
Forking RCompile BiRelsHashed
Done with RCompile SetsImpl
Forking RCompile ValueHashTablesImpl
Done with RCompile SetsByBiRels
Forking RCompile BiRelCombining
Done with RCompile SetsAsBiRels
Forking RCompile BiRelShifting
Done with RCompile BiRelsAsSets
Forking RCompile BiRelComposition
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsInverting
Done with RCompile BiRelsHashed
Forking RCompile BiRelVectors
Done with RCompile BiRelsInverting
Forking RCompile BiRelBasics
Done with RCompile BiRelShifting
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelComposition
Forking RCompile BiRelsPrivate
Done with RCompile BiRelCombining
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsPrivate
Forking RCompile SetInsulationImpl
Done with RCompile BiRelBasics
Forking RCompile BiRelScanning
Done with RCompile SetInsulationImpl
Forking RCompile BiRelDefaults
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelsImpl
Done with RCompile BiRelVectors
Forking RCompile BiRelsBase
Done with RCompile BiRelDefaults2
Forking RCompile SetCombining
Done with RCompile BiRelScanning
Done with RCompile BiRelsBase
Done with RCompile BiRelDefaults
Done with RCompile SetCombining
Done with RCompile BiRelsImpl
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:27:18
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 534889974, diskFree: 21077, mdsFree: 55B (45), gfiFree: 410B (264), vmFree: 133371B (46841), vmRun: 125424B (43796), cpuLoad: 0.812652]
>
% test 6
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 538025605, diskFree: 21077, mdsFree: 55B (45), gfiFree: 410B (264), vmFree: 133420B (46864), vmRun: 125435B (43805), cpuLoad: 0.6180049]
> ← BasicTime.Now[]
December 8, 1987 9:27:33
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Done with RCompile SetsSimpleImpl
Forking RCompile BiRelsAsSets
Done with RCompile ValueHashTables
Forking RCompile BiRelCombining
Done with RCompile SetsImpl
Forking RCompile BiRelsHashed
Done with RCompile NewSetsPrinting
Forking RCompile ValueHashTablesImpl
Done with RCompile SetsByBiRels
Forking RCompile BiRelShifting
Done with RCompile BiRelsAsSets
Forking RCompile BiRelComposition
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsInverting
Done with RCompile BiRelsHashed
Forking RCompile BiRelVectors
Done with RCompile BiRelComposition
Done with RCompile BiRelShifting
Forking RCompile BiRelBasics
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelsInverting
Forking RCompile BiRelsPrivate
Done with RCompile BiRelCombining
Forking RCompile BiRelDefaults2
Done with RCompile SetsAsBiRels
Done with RCompile BiRelsPrivate
Forking RCompile SetInsulationImpl
Forking RCompile BiRelScanning
Done with RCompile BiRelBasics
Forking RCompile BiRelDefaults
Done with RCompile SetInsulationImpl
Forking RCompile BiRelsImpl
Done with RCompile BiRelsSimpleImpl
Forking RCompile BiRelsBase
Done with RCompile BiRelDefaults2
Done with RCompile BiRelVectors
Forking RCompile SetCombining
Done with RCompile BiRelScanning
Done with RCompile BiRelsBase
Done with RCompile BiRelDefaults
Done with RCompile BiRelsImpl
Done with RCompile SetCombining
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:30:52
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 563498602, diskFree: 21077, mdsFree: 47B (39), gfiFree: 410B (264), vmFree: 133114B (46668), vmRun: 126145B (44133), cpuLoad: 0.7396594]
>
% ls sets.mesa
[]<>Users>Spreitzer.pa>Temp>
Sets.Mesa!7 30137 07-Dec-87 17:53:41 PST
Sets.Mesa!14 30137 08-Dec-87 09:27:26 PST
Sets.Mesa!15 30137 08-Dec-87 09:31:07 PST
-- 3 files, 90411 total bytes
% test 7
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 574062337, diskFree: 21077, mdsFree: 47B (39), gfiFree: 410B (264), vmFree: 133144B (46692), vmRun: 123730B (42968), cpuLoad: 0.6009732]
> ← BasicTime.Now[]
December 8, 1987 9:31:26
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Forking RCompile BiRelsAsSets
Done with RCompile SetsSimpleImpl
Forking RCompile BiRelCombining
Done with RCompile ValueHashTables
Forking RCompile BiRelShifting
Done with RCompile NewSetsPrinting
Forking RCompile BiRelsHashed
Done with RCompile SetsImpl
Forking RCompile ValueHashTablesImpl
Done with RCompile BiRelsAsSets
Forking RCompile BiRelComposition
Done with RCompile SetsAsBiRels
Forking RCompile BiRelsInverting
Done with RCompile SetsByBiRels
Forking RCompile BiRelVectors
Done with RCompile BiRelShifting
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelBasics
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelCombining
Forking RCompile BiRelsPrivate
Done with RCompile BiRelComposition
Done with RCompile BiRelsHashed
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsInverting
Forking RCompile SetInsulationImpl
Forking RCompile BiRelsBase
Done with RCompile BiRelsPrivate
Forking RCompile SetCombining
Done with RCompile BiRelBasics
Done with RCompile SetInsulationImpl
Forking RCompile BiRelScanning
Done with RCompile BiRelsBase
Forking RCompile BiRelDefaults
Forking RCompile BiRelsImpl
Done with RCompile BiRelsSimpleImpl
Done with RCompile BiRelVectors
Done with RCompile BiRelDefaults2
Done with RCompile SetCombining
Done with RCompile BiRelScanning
Done with RCompile BiRelDefaults
Done with RCompile BiRelsImpl
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:34:22
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 596120327, diskFree: 21077, mdsFree: 36B (30), gfiFree: 410B (264), vmFree: 132402B (46338), vmRun: 123730B (42968), cpuLoad: 0.9221411]
>
% test 8
>
>
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 602207272, diskFree: 21077, mdsFree: 36B (30), gfiFree: 410B (264), vmFree: 132460B (46384), vmRun: 123730B (42968), cpuLoad: 0.5231143]
> ← BasicTime.Now[]
December 8, 1987 9:34:44
> MakeDo -p $1 -rgom NewSets.DF
Forking RCompile Sets
Done with RCompile Sets
Forking RCompile BiRels
Forking RCompile SetsSimpleImpl
Forking RCompile SetsImpl
Done with RCompile SetsSimpleImpl
Done with RCompile BiRels
Forking RCompile NewSetsPrinting
Forking RCompile SetsByBiRels
Forking RCompile ValueHashTables
Forking RCompile SetsAsBiRels
Forking RCompile BiRelsAsSets
Forking RCompile BiRelCombining
Forking RCompile BiRelShifting
Done with RCompile ValueHashTables
Forking RCompile BiRelComposition
Done with RCompile SetsImpl
Forking RCompile BiRelsHashed
Done with RCompile NewSetsPrinting
Forking RCompile ValueHashTablesImpl
Done with RCompile BiRelShifting
Forking RCompile BiRelsInverting
Done with RCompile SetsByBiRels
Done with RCompile SetsAsBiRels
Forking RCompile BiRelVectors
Forking RCompile BiRelBasics
Done with RCompile ValueHashTablesImpl
Forking RCompile BiRelsSimpleImpl
Done with RCompile BiRelCombining
Forking RCompile BiRelsPrivate
Done with RCompile BiRelComposition
Forking RCompile BiRelDefaults2
Done with RCompile BiRelsAsSets
Forking RCompile SetInsulationImpl
Done with RCompile BiRelsHashed
Forking RCompile BiRelsBase
Done with RCompile BiRelsPrivate
Forking RCompile SetCombining
Done with RCompile BiRelsInverting
Forking RCompile BiRelScanning
Done with RCompile BiRelBasics
Forking RCompile BiRelDefaults
Done with RCompile BiRelsSimpleImpl
Done with RCompile BiRelsBase
Forking RCompile BiRelsImpl
Done with RCompile SetInsulationImpl
Done with RCompile BiRelVectors
Done with RCompile BiRelDefaults2
Done with RCompile SetCombining
Done with RCompile BiRelScanning
Done with RCompile BiRelDefaults
Done with RCompile BiRelsImpl
Forking Bind SetsPackage
Done with Bind SetsPackage
1 goal OK; 0 not.
> ← BasicTime.Now[]
December 8, 1987 9:37:47
> ← SafeStorage.ReclaimCollectibleObjects[]
> Sleep 1
> ← WatchStats.GetWatchStats[]
[idleCount: 628679148, diskFree: 21073, mdsFree: 35B (29), gfiFree: 410B (264), vmFree: 132050B (46120), vmRun: 122554B (42348), cpuLoad: 0.6788321]
>
Mathematicians do it with odd functions.
%