Walltime	CPUtime	Size	SolSpaceSize	LengthMaxMPSCLength	LengthMaxMPSC
1.50204e-05	0	3	1	10	[0,4],[5,7],[8,9]
9.05991e-06	0	3	2	13	[0,2],[3,7],[5,9]
