Registering Logic ConstraintAnalyzers...done Registering ConstraintAnalyzers...done Registering SolutionTransformers...done Output dir: ./rocII-9-11/default/1322248668_ngt7 >config probName = rocII-9-11 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 = 20679 binaries = 20361 integers = 0 nrows = 47533 >presolvedProblem hasPresolve = 1 emptyProblem = 0 offset = -1.0107740049393541 >presolvedProblem nvars = 7787 binaries = 7533 integers = 0 nrows = 18826 >config firstOptMethod = simplex reOptMethod = primal timeLimit = 7200 iterLimit = 2000 s1IterLimit = 10000 s1MaxMissedDecrease = 70 maxMissedDecrease = 600 maxRestarts = 100 avgFlips = 20 seed = 1322248668 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 94 knapsack 1127 linear 17605 isPureInteger = 0 fixedCnt = 0 isBinary = 1 relaxationTime = 0.624039 relaxationObjValue = -10.9302 >Stage1 #iteration = 20 #iteration = 40 #iteration = 60 #iteration = 80 #iteration = 100 #iteration = 120 s1Iterations = 130 >Stage2 maxFlipsInRestart = 0 #iteration = 140 #iteration = 160 #iteration = 180 #iteration = 200 #iteration = 220 #iteration = 240 #iteration = 260 #iteration = 280 #iteration = 300 #iteration = 320 #iteration = 340 #iteration = 360 #iteration = 380 #iteration = 400 #iteration = 420 #iteration = 440 #iteration = 460 #iteration = 480 #iteration = 500 #iteration = 520 #iteration = 540 #iteration = 560 #iteration = 580 #iteration = 600 #iteration = 620 #iteration = 640 #iteration = 660 #iteration = 680 #iteration = 700 #iteration = 720 >Stage3 >stats found = 0 stage = 3 totalLpTime = 19.5932 totalRoundingTime = 17.7411 iterations = 732 time = 146.289 perturbationCnt = 222 restartCnt = 9 >results No solution found! 147.37user 0.48system 1:17.11elapsed 191%CPU (0avgtext+0avgdata 1671200maxresident)k 240inputs+1968outputs (0major+220512minor)pagefaults 0swaps