Registering Logic ConstraintAnalyzers...done
Registering ConstraintAnalyzers...done
Registering SolutionTransformers...done
Output dir: ./satellites3-40-fs/default/1322248745_oyqR
>config
	probName = satellites3-40-fs
	runName = default
	presolve = 1
IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
>originalProblem
	nvars = 81681
	binaries = 79961
	integers = 0
	nrows = 35553
>presolvedProblem
	hasPresolve = 1
	emptyProblem = 0
	offset = 0
>presolvedProblem
	nvars = 74920
	binaries = 74858
	integers = 0
	nrows = 28881
>config
	firstOptMethod = simplex
	reOptMethod = primal
	timeLimit = 7200
	iterLimit = 2000
	s1IterLimit = 10000
	s1MaxMissedDecrease = 70
	maxMissedDecrease = 600
	maxRestarts = 100
	avgFlips = 20
	seed = 1322248745
	sigmaThr = 0.02
	perturbeFromTransformerOutput = 1
	optIterLimit = -1
	reOptIterLimit = -1
	alpha = 0
	alphaFactor = 0.9
	alphaDist = 0.005
	doStage3 = 1
	logPerturbation = 0
	logDetails = 0
	logFracX = 0
	logIteration = 0
	logTime = 0
	logIntX = 0
	logIncumbent = 0
	logLP = 0
>config
	randomizedRounding = 1
	logDetails = 0
>config
	ranker = FRAC
	logDetails = 0
>config
	reverse = 0
	rankNoise = 0.1
	noiseAfter = 10
>fpInit

Propagators:
equiv 0
implies 0
cardinality 91
knapsack 29
linear 28761

	isPureInteger = 0
	fixedCnt = 0
	isBinary = 1
relaxationTime = 68.0883
relaxationObjValue = -38
>Stage1
Command terminated by signal 9
3581.43user 6.02system 59:26.07elapsed 100%CPU (0avgtext+0avgdata 1207488maxresident)k
0inputs+3160outputs (0major+114141minor)pagefaults 0swaps