Registering Logic ConstraintAnalyzers...done Registering ConstraintAnalyzers...done Registering SolutionTransformers...done Output dir: ./rmine25/default/1322245977_Ye8s >config probName = rmine25 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 = 326599 binaries = 326599 integers = 0 nrows = 2953849 >presolvedProblem hasPresolve = 1 emptyProblem = 0 offset = 0 >presolvedProblem nvars = 323954 binaries = 323954 integers = 0 nrows = 2929434 >config firstOptMethod = simplex reOptMethod = primal timeLimit = 7200 iterLimit = 2000 s1IterLimit = 10000 s1MaxMissedDecrease = 70 maxMissedDecrease = 600 maxRestarts = 100 avgFlips = 20 seed = 1322245977 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 2929384 cardinality 0 knapsack 2 linear 48 isPureInteger = 1 fixedCnt = 0 isBinary = 1 Command terminated by signal 9 3596.20user 6.40system 44:51.23elapsed 133%CPU (0avgtext+0avgdata 50840960maxresident)k 40inputs+80904outputs (0major+5505778minor)pagefaults 0swaps